runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3313118-1304183769/watcher-3313118-1304183769 -o /tmp/evaluation-result-3313118-1304183769/solver-3313118-1304183769 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313118-1304183769.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.73 7.71 7.30 4/198 29097
/proc/meminfo: memFree=18705832/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 529979510 26714112 884 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 6522 884 678 9 0 381 0
[pid=29097/tid=29098] ppid=29095 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) R 29095 29097 27699 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 529979510 27824128 893 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216629591687 0 2147483391 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0516639 s]
/proc/loadavg: 6.73 7.71 7.30 4/198 29097
/proc/meminfo: memFree=18705832/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15675180 CPUtime=0.04 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 4082 0 1 0 4 0 0 0 25 0 18 0 529979510 16051384320 3520 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3918795 3520 1754 9 0 3909514 0
[pid=29097/tid=29098] ppid=29095 vsize=15675180 CPUtime=0.03 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) R 29095 29097 27699 0 -1 4202560 2663 0 1 0 3 0 0 0 25 0 18 0 529979510 16051384320 3520 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646342091 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15675180
[startup+0.100667 s]
/proc/loadavg: 6.73 7.71 7.30 4/198 29097
/proc/meminfo: memFree=18705832/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15676480 CPUtime=0.1 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 5585 0 1 0 9 1 0 0 25 0 18 0 529979510 16052715520 5014 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3919120 5016 2117 9 0 3909839 0
[pid=29097/tid=29098] ppid=29095 vsize=15676480 CPUtime=0.09 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) R 29095 29097 27699 0 -1 4202560 3459 0 1 0 8 1 0 0 18 0 18 0 529979510 16052715520 5017 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 47588065826328 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676480
[startup+0.305621 s]
/proc/loadavg: 6.73 7.71 7.30 4/198 29097
/proc/meminfo: memFree=18705832/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15682176 CPUtime=0.51 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 8898 0 1 0 49 2 0 0 25 0 22 0 529979510 16058548224 8016 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3920544 8016 2216 9 0 3911263 0
[pid=29097/tid=29098] ppid=29095 vsize=15682176 CPUtime=0.29 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) R 29095 29097 27699 0 -1 4202560 5526 0 1 0 28 1 0 0 18 0 22 0 529979510 16058548224 8016 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 47588062782359 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682176
[startup+0.700516 s]
/proc/loadavg: 6.73 7.71 7.30 4/198 29097
/proc/meminfo: memFree=18705832/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15683576 CPUtime=1.9 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 34752 0 1 0 185 5 0 0 25 0 22 0 529979510 16059981824 31086 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3920894 31086 2257 9 0 3911613 0
[pid=29097/tid=29098] ppid=29095 vsize=15683576 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16059981824 31086 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 15683576
[startup+1.50138 s]
/proc/loadavg: 6.73 7.71 7.30 13/220 29119
/proc/meminfo: memFree=18361000/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15683948 CPUtime=5.07 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 46839 0 1 0 501 6 0 0 25 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3920987 43131 2288 9 0 3911706 0
[pid=29097/tid=29098] ppid=29095 vsize=15683948 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29100] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29100/stat : 29100 (java) S 29095 29097 27699 0 -1 4202560 863 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29101] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29101/stat : 29101 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29102] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29102/stat : 29102 (java) S 29095 29097 27699 0 -1 4202560 527 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29103] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29103/stat : 29103 (java) S 29095 29097 27699 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29104] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29104/stat : 29104 (java) S 29095 29097 27699 0 -1 4202560 424 0 0 0 0 0 0 0 16 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29105] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29105/stat : 29105 (java) S 29095 29097 27699 0 -1 4202560 606 0 0 0 0 0 0 0 16 0 22 0 529979510 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29106] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29106/stat : 29106 (java) S 29095 29097 27699 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 22 0 529979511 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29107] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29107/stat : 29107 (java) S 29095 29097 27699 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 529979511 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29108] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29108/stat : 29108 (java) S 29095 29097 27699 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 529979512 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 0 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29109] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29109/stat : 29109 (java) S 29095 29097 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29110] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29110/stat : 29110 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29111] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29111/stat : 29111 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646338993 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29112] ppid=29095 vsize=15683948 CPUtime=0.36 cores=1,3,5,7
/proc/29097/task/29112/stat : 29112 (java) R 29095 29097 27699 0 -1 4202560 1639 0 0 0 36 0 0 0 24 0 22 0 529979514 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29113] ppid=29095 vsize=15683948 CPUtime=0.9 cores=1,3,5,7
/proc/29097/task/29113/stat : 29113 (java) S 29095 29097 27699 0 -1 4202560 4841 0 0 0 90 0 0 0 15 0 22 0 529979514 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29114] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29114/stat : 29114 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29115] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29115/stat : 29115 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529979514 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29116] ppid=29095 vsize=15683948 CPUtime=1.02 cores=1,3,5,7
/proc/29097/task/29116/stat : 29116 (java) R 29095 29097 27699 0 -1 4202560 10472 0 0 0 101 1 0 0 19 0 22 0 529979533 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505657154 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29097/tid=29117] ppid=29095 vsize=15683948 CPUtime=0.93 cores=1,3,5,7
/proc/29097/task/29117/stat : 29117 (java) R 29095 29097 27699 0 -1 4202560 7521 0 0 0 93 0 0 0 19 0 22 0 529979533 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 18446744073699066034 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29097/tid=29118] ppid=29095 vsize=15683948 CPUtime=0.76 cores=1,3,5,7
/proc/29097/task/29118/stat : 29118 (java) R 29095 29097 27699 0 -1 4202560 9753 0 0 0 75 1 0 0 21 0 22 0 529979533 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505669701 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29119] ppid=29095 vsize=15683948 CPUtime=0.7 cores=1,3,5,7
/proc/29097/task/29119/stat : 29119 (java) R 29095 29097 27699 0 -1 4202560 2383 0 0 0 70 0 0 0 20 0 22 0 529979533 16060362752 43131 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505693082 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 15683948
[startup+3.1011 s]
/proc/loadavg: 6.73 7.71 7.30 13/220 29119
/proc/meminfo: memFree=18084888/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15683948 CPUtime=11.44 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 78925 0 1 0 1134 10 0 0 25 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3920987 74529 2291 9 0 3911706 0
[pid=29097/tid=29098] ppid=29095 vsize=15683948 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29100] ppid=29095 vsize=15683948 CPUtime=0.01 cores=1,3,5,7
/proc/29097/task/29100/stat : 29100 (java) S 29095 29097 27699 0 -1 4202560 1227 0 0 0 1 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29101] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29101/stat : 29101 (java) S 29095 29097 27699 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29102] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29102/stat : 29102 (java) S 29095 29097 27699 0 -1 4202560 676 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29103] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29103/stat : 29103 (java) S 29095 29097 27699 0 -1 4202560 582 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29104] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29104/stat : 29104 (java) S 29095 29097 27699 0 -1 4202560 684 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29105] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29105/stat : 29105 (java) S 29095 29097 27699 0 -1 4202560 900 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29106] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29106/stat : 29106 (java) S 29095 29097 27699 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 22 0 529979511 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29107] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29107/stat : 29107 (java) S 29095 29097 27699 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 22 0 529979511 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29108] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29108/stat : 29108 (java) S 29095 29097 27699 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 529979512 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 0 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29109] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29109/stat : 29109 (java) S 29095 29097 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29110] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29110/stat : 29110 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29111] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29111/stat : 29111 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646338993 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29112] ppid=29095 vsize=15683948 CPUtime=0.39 cores=1,3,5,7
/proc/29097/task/29112/stat : 29112 (java) S 29095 29097 27699 0 -1 4202560 1642 0 0 0 39 0 0 0 16 0 22 0 529979514 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29113] ppid=29095 vsize=15683948 CPUtime=0.99 cores=1,3,5,7
/proc/29097/task/29113/stat : 29113 (java) S 29095 29097 27699 0 -1 4202560 4855 0 0 0 99 0 0 0 16 0 22 0 529979514 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29114] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29114/stat : 29114 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29115] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29115/stat : 29115 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529979514 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29116] ppid=29095 vsize=15683948 CPUtime=2.58 cores=1,3,5,7
/proc/29097/task/29116/stat : 29116 (java) R 29095 29097 27699 0 -1 4202560 18347 0 0 0 256 2 0 0 24 0 22 0 529979533 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505524151 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29117] ppid=29095 vsize=15683948 CPUtime=2.52 cores=1,3,5,7
/proc/29097/task/29117/stat : 29117 (java) R 29095 29097 27699 0 -1 4202560 15494 0 0 0 251 1 0 0 23 0 22 0 529979533 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505628701 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29097/tid=29118] ppid=29095 vsize=15683948 CPUtime=2.31 cores=1,3,5,7
/proc/29097/task/29118/stat : 29118 (java) R 29095 29097 27699 0 -1 4202560 17608 0 0 0 230 1 0 0 25 0 22 0 529979533 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505637193 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29119] ppid=29095 vsize=15683948 CPUtime=2.22 cores=1,3,5,7
/proc/29097/task/29119/stat : 29119 (java) R 29095 29097 27699 0 -1 4202560 8611 0 0 0 221 1 0 0 25 0 22 0 529979533 16060362752 74529 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505784910 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 15683948
Solver just ended. Dumping a history of the last processes samples
[startup+3.50103 s]
/proc/loadavg: 6.73 7.71 7.30 9/220 29119
/proc/meminfo: memFree=17828952/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15683948 CPUtime=13.03 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 79228 0 1 0 1293 10 0 0 25 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3920987 74632 2291 9 0 3911706 0
[pid=29097/tid=29098] ppid=29095 vsize=15683948 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29100] ppid=29095 vsize=15683948 CPUtime=0.01 cores=1,3,5,7
/proc/29097/task/29100/stat : 29100 (java) S 29095 29097 27699 0 -1 4202560 1268 0 0 0 1 0 0 0 16 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29101] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29101/stat : 29101 (java) S 29095 29097 27699 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29102] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29102/stat : 29102 (java) S 29095 29097 27699 0 -1 4202560 711 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29103] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29103/stat : 29103 (java) S 29095 29097 27699 0 -1 4202560 615 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29104] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29104/stat : 29104 (java) S 29095 29097 27699 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29105] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29105/stat : 29105 (java) S 29095 29097 27699 0 -1 4202560 978 0 0 0 0 0 0 0 15 0 22 0 529979510 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29106] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29106/stat : 29106 (java) S 29095 29097 27699 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 22 0 529979511 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29107] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29107/stat : 29107 (java) S 29095 29097 27699 0 -1 4202560 485 0 0 0 0 0 0 0 16 0 22 0 529979511 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29108] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29108/stat : 29108 (java) S 29095 29097 27699 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 529979512 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 0 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29109] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29109/stat : 29109 (java) S 29095 29097 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29110] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29110/stat : 29110 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529979512 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29111] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29111/stat : 29111 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646338993 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29112] ppid=29095 vsize=15683948 CPUtime=0.39 cores=1,3,5,7
/proc/29097/task/29112/stat : 29112 (java) S 29095 29097 27699 0 -1 4202560 1642 0 0 0 39 0 0 0 16 0 22 0 529979514 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29113] ppid=29095 vsize=15683948 CPUtime=0.99 cores=1,3,5,7
/proc/29097/task/29113/stat : 29113 (java) S 29095 29097 27699 0 -1 4202560 4855 0 0 0 99 0 0 0 16 0 22 0 529979514 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29114] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29114/stat : 29114 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29115] ppid=29095 vsize=15683948 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29115/stat : 29115 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529979514 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29116] ppid=29095 vsize=15683948 CPUtime=2.97 cores=1,3,5,7
/proc/29097/task/29116/stat : 29116 (java) R 29095 29097 27699 0 -1 4202560 18348 0 0 0 295 2 0 0 25 0 22 0 529979533 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505659772 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29117] ppid=29095 vsize=15683948 CPUtime=2.91 cores=1,3,5,7
/proc/29097/task/29117/stat : 29117 (java) R 29095 29097 27699 0 -1 4202560 15495 0 0 0 290 1 0 0 25 0 22 0 529979533 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505657130 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29097/tid=29118] ppid=29095 vsize=15683948 CPUtime=2.71 cores=1,3,5,7
/proc/29097/task/29118/stat : 29118 (java) R 29095 29097 27699 0 -1 4202560 17609 0 0 0 270 1 0 0 25 0 22 0 529979533 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912506000329 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29119] ppid=29095 vsize=15683948 CPUtime=2.62 cores=1,3,5,7
/proc/29097/task/29119/stat : 29119 (java) R 29095 29097 27699 0 -1 4202560 8612 0 0 0 261 1 0 0 25 0 22 0 529979533 16060362752 74632 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505615360 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.03
Current children cumulated vsize (KiB) 15683948
[startup+3.72299 s]
/proc/loadavg: 6.73 7.71 7.30 9/220 29119
/proc/meminfo: memFree=17828952/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15688892 CPUtime=13.91 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 80857 0 1 0 1381 10 0 0 25 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3922223 75811 2291 9 0 3912942 0
[pid=29097/tid=29098] ppid=29095 vsize=15688892 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29100] ppid=29095 vsize=15688892 CPUtime=0.01 cores=1,3,5,7
/proc/29097/task/29100/stat : 29100 (java) S 29095 29097 27699 0 -1 4202560 1289 0 0 0 1 0 0 0 16 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29101] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29101/stat : 29101 (java) S 29095 29097 27699 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29102] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29102/stat : 29102 (java) S 29095 29097 27699 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29103] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29103/stat : 29103 (java) S 29095 29097 27699 0 -1 4202560 615 0 0 0 0 0 0 0 15 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29104] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29104/stat : 29104 (java) S 29095 29097 27699 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29105] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29105/stat : 29105 (java) S 29095 29097 27699 0 -1 4202560 978 0 0 0 0 0 0 0 15 0 22 0 529979510 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29106] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29106/stat : 29106 (java) S 29095 29097 27699 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 22 0 529979511 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29107] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29107/stat : 29107 (java) S 29095 29097 27699 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 22 0 529979511 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29108] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29108/stat : 29108 (java) S 29095 29097 27699 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 529979512 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 0 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29109] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29109/stat : 29109 (java) S 29095 29097 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529979512 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29110] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29110/stat : 29110 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529979512 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29111] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29111/stat : 29111 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646338993 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29112] ppid=29095 vsize=15688892 CPUtime=0.5 cores=1,3,5,7
/proc/29097/task/29112/stat : 29112 (java) R 29095 29097 27699 0 -1 4202560 2750 0 0 0 50 0 0 0 16 0 22 0 529979514 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 47588063591079 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29113] ppid=29095 vsize=15688892 CPUtime=1.1 cores=1,3,5,7
/proc/29097/task/29113/stat : 29113 (java) R 29095 29097 27699 0 -1 4202560 5278 0 0 0 110 0 0 0 16 0 22 0 529979514 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 47588062098304 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29114] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29114/stat : 29114 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29115] ppid=29095 vsize=15688892 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29115/stat : 29115 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529979514 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29116] ppid=29095 vsize=15688892 CPUtime=3.09 cores=1,3,5,7
/proc/29097/task/29116/stat : 29116 (java) R 29095 29097 27699 0 -1 4202560 18348 0 0 0 307 2 0 0 25 0 22 0 529979533 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29117] ppid=29095 vsize=15688892 CPUtime=3.14 cores=1,3,5,7
/proc/29097/task/29117/stat : 29117 (java) R 29095 29097 27699 0 -1 4202560 15498 0 0 0 313 1 0 0 25 0 22 0 529979533 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505669743 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29097/tid=29118] ppid=29095 vsize=15688892 CPUtime=2.82 cores=1,3,5,7
/proc/29097/task/29118/stat : 29118 (java) R 29095 29097 27699 0 -1 4202560 17610 0 0 0 281 1 0 0 25 0 22 0 529979533 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646341301 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29119] ppid=29095 vsize=15688892 CPUtime=2.84 cores=1,3,5,7
/proc/29097/task/29119/stat : 29119 (java) R 29095 29097 27699 0 -1 4202560 8612 0 0 0 283 1 0 0 25 0 22 0 529979533 16065425408 75811 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505716662 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.91
Current children cumulated vsize (KiB) 15688892
[startup+3.80098 s]
/proc/loadavg: 6.73 7.71 7.30 9/220 29119
/proc/meminfo: memFree=17828952/32951124 swapFree=67111528/67111528
[pid=29097] ppid=29095 vsize=15687724 CPUtime=14.22 cores=1,3,5,7
/proc/29097/stat : 29097 (java) S 29095 29097 27699 0 -1 4202496 81014 0 1 0 1412 10 0 0 25 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29097/statm: 3921931 75725 2292 9 0 3912650 0
[pid=29097/tid=29098] ppid=29095 vsize=15687724 CPUtime=0.3 cores=1,3,5,7
/proc/29097/task/29098/stat : 29098 (java) S 29095 29097 27699 0 -1 4202560 5611 0 1 0 29 1 0 0 18 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29100] ppid=29095 vsize=15687724 CPUtime=0.01 cores=1,3,5,7
/proc/29097/task/29100/stat : 29100 (java) S 29095 29097 27699 0 -1 4202560 1316 0 0 0 1 0 0 0 15 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 3 0 0 0
[pid=29097/tid=29101] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29101/stat : 29101 (java) S 29095 29097 27699 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29102] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29102/stat : 29102 (java) S 29095 29097 27699 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29103] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29103/stat : 29103 (java) S 29095 29097 27699 0 -1 4202560 656 0 0 0 0 0 0 0 16 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29104] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29104/stat : 29104 (java) S 29095 29097 27699 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29105] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29105/stat : 29105 (java) S 29095 29097 27699 0 -1 4202560 978 0 0 0 0 0 0 0 15 0 22 0 529979510 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29106] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29106/stat : 29106 (java) S 29095 29097 27699 0 -1 4202560 596 0 0 0 0 0 0 0 15 0 22 0 529979511 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 7 0 0 0
[pid=29097/tid=29107] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29107/stat : 29107 (java) S 29095 29097 27699 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 22 0 529979511 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 1 0 0 0
[pid=29097/tid=29108] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29108/stat : 29108 (java) S 29095 29097 27699 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 22 0 529979512 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 0 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29109] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29109/stat : 29109 (java) S 29095 29097 27699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529979512 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29110] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29110/stat : 29110 (java) S 29095 29097 27699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529979512 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29111] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29111/stat : 29111 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646338993 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29112] ppid=29095 vsize=15687724 CPUtime=0.57 cores=1,3,5,7
/proc/29097/task/29112/stat : 29112 (java) R 29095 29097 27699 0 -1 4202560 2777 0 0 0 57 0 0 0 16 0 22 0 529979514 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29113] ppid=29095 vsize=15687724 CPUtime=1.17 cores=1,3,5,7
/proc/29097/task/29113/stat : 29113 (java) R 29095 29097 27699 0 -1 4202560 5291 0 0 0 117 0 0 0 16 0 22 0 529979514 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 47588062078400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29114] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29114/stat : 29114 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529979514 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331289 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29115] ppid=29095 vsize=15687724 CPUtime=0 cores=1,3,5,7
/proc/29097/task/29115/stat : 29115 (java) S 29095 29097 27699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529979514 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646331904 0 4 0 16800975 18446604454224048320 0 0 -1 5 0 0 0
[pid=29097/tid=29116] ppid=29095 vsize=15687724 CPUtime=3.09 cores=1,3,5,7
/proc/29097/task/29116/stat : 29116 (java) R 29095 29097 27699 0 -1 4202560 18348 0 0 0 307 2 0 0 25 0 22 0 529979533 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505669701 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29097/tid=29117] ppid=29095 vsize=15687724 CPUtime=3.21 cores=1,3,5,7
/proc/29097/task/29117/stat : 29117 (java) R 29095 29097 27699 0 -1 4202560 15500 0 0 0 320 1 0 0 25 0 22 0 529979533 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505692958 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29097/tid=29118] ppid=29095 vsize=15687724 CPUtime=2.82 cores=1,3,5,7
/proc/29097/task/29118/stat : 29118 (java) R 29095 29097 27699 0 -1 4202560 17610 0 0 0 281 1 0 0 25 0 22 0 529979533 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 216646341301 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29097/tid=29119] ppid=29095 vsize=15687724 CPUtime=2.92 cores=1,3,5,7
/proc/29097/task/29119/stat : 29119 (java) R 29095 29097 27699 0 -1 4202560 8612 0 0 0 291 1 0 0 25 0 22 0 529979533 16064229376 75725 33554432000 1073741824 1073778376 140737075298960 18446744073709551615 46912505745393 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.22
Current children cumulated vsize (KiB) 15687724
Child status: 10
Real time (s): 3.82906
CPU time (s): 14.3038
CPU user time (s): 14.1808
CPU system time (s): 0.122981
CPU usage (%): 373.559
Max. virtual memory (cumulated for all children) (KiB): 15688892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1808
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81043
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1175
involuntary context switches= 748
runsolver used 0.009998 second user time and 0.016997 second system time
The end