runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459292-1307136072/watcher-3459292-1307136072 -o /tmp/evaluation-result-3459292-1307136072/solver-3459292-1307136072 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459292-1307136072.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.60 2.26 2.21 2/535 11458
/proc/meminfo: memFree=21010708/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 1691 0 1 0 0 0 0 0 18 0 2 0 825204125 13833195520 1393 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3377245 1405 906 9 0 3368401 0
[pid=11458/tid=11459] ppid=11456 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 5539 0 1 0 0 0 0 0 19 0 2 0 825204125 13850947584 6355 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0400699 s]
/proc/loadavg: 2.60 2.26 2.21 2/535 11458
/proc/meminfo: memFree=21010708/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13546264 CPUtime=0.02 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 13392 0 1 0 1 1 0 0 18 0 10 0 825204125 13871374336 13091 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3386566 13093 1560 9 0 3377314 0
[pid=11458/tid=11459] ppid=11456 vsize=13546264 CPUtime=0.02 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 12272 0 1 0 1 1 0 0 22 0 10 0 825204125 13871374336 13093 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 47825288507760 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13546264
[startup+0.102566 s]
/proc/loadavg: 2.60 2.26 2.21 2/535 11458
/proc/meminfo: memFree=21010708/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13622128 CPUtime=0.1 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 15413 0 1 0 8 2 0 0 18 0 18 0 825204125 13949059072 15109 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3405532 15110 2093 9 0 3396266 0
[pid=11458/tid=11459] ppid=11456 vsize=13622128 CPUtime=0.08 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 13493 0 1 0 7 1 0 0 25 0 18 0 825204125 13949059072 15111 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 47825293859667 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622128
[startup+0.301009 s]
/proc/loadavg: 2.60 2.26 2.21 2/535 11458
/proc/meminfo: memFree=21010708/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13623440 CPUtime=0.45 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 18030 0 1 0 43 2 0 0 18 0 18 0 825204125 13950402560 17510 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3405860 17511 2198 9 0 3396594 0
[pid=11458/tid=11459] ppid=11456 vsize=13623440 CPUtime=0.28 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 15321 0 1 0 26 2 0 0 18 0 18 0 825204125 13950402560 17511 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505593547 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13623440
[startup+0.700909 s]
/proc/loadavg: 2.60 2.26 2.21 2/535 11458
/proc/meminfo: memFree=21010708/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13692648 CPUtime=1.18 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 55762 0 1 0 110 8 0 0 18 0 18 0 825204125 14021271552 53611 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3423162 53616 2214 9 0 3413896 0
[pid=11458/tid=11459] ppid=11456 vsize=13692648 CPUtime=0.68 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 49539 0 1 0 61 7 0 0 18 0 18 0 825204125 14021271552 53618 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505629377 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13692648
[startup+1.50075 s]
/proc/loadavg: 2.56 2.26 2.21 3/553 11477
/proc/meminfo: memFree=20668148/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13692648 CPUtime=1.98 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 145088 0 1 0 179 19 0 0 18 0 18 0 825204125 14021271552 142937 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3423162 142942 2214 9 0 3413896 0
[pid=11458/tid=11459] ppid=11456 vsize=13692648 CPUtime=1.47 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 138866 0 1 0 129 18 0 0 19 0 18 0 825204125 14021271552 142945 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505647502 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 825204127 14021271552 142948 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142950 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142953 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142956 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142959 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142962 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 142965 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 825204127 14021271552 142968 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825204129 14021271552 142970 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 825204129 14021271552 142973 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825204129 14021271552 142976 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14021271552 142979 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13692648 CPUtime=0.21 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 2606 0 0 0 21 0 0 0 16 0 18 0 825204131 14021271552 142982 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13692648 CPUtime=0.27 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2474 0 0 0 27 0 0 0 17 0 18 0 825204132 14021271552 142984 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14021271552 142987 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825204132 14021271552 142990 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13692648
[startup+3.10143 s]
/proc/loadavg: 2.56 2.26 2.21 3/553 11477
/proc/meminfo: memFree=20175996/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13692648 CPUtime=3.58 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 323471 0 1 0 317 41 0 0 18 0 18 0 825204125 14021271552 321320 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3423162 321325 2214 9 0 3413896 0
[pid=11458/tid=11459] ppid=11456 vsize=13692648 CPUtime=3.08 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 317248 0 1 0 268 40 0 0 23 0 18 0 825204125 14021271552 321328 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505545758 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 825204127 14021271552 321331 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321334 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321336 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321339 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321342 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321345 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14021271552 321348 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 825204127 14021271552 321350 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825204129 14021271552 321353 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 825204129 14021271552 321356 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825204129 14021271552 321359 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14021271552 321361 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13692648 CPUtime=0.21 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 2606 0 0 0 21 0 0 0 16 0 18 0 825204131 14021271552 321364 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13692648 CPUtime=0.27 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2474 0 0 0 27 0 0 0 15 0 18 0 825204132 14021271552 321367 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14021271552 321367 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13692648 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825204132 14021271552 321369 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13692648
[startup+6.30079 s]
/proc/loadavg: 2.56 2.26 2.21 3/553 11477
/proc/meminfo: memFree=18629972/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13691696 CPUtime=6.79 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 715129 0 1 0 587 92 0 0 18 0 18 0 825204125 14020296704 712505 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3422924 712511 2218 9 0 3413658 0
[pid=11458/tid=11459] ppid=11456 vsize=13691696 CPUtime=6.28 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 708895 0 1 0 537 91 0 0 19 0 18 0 825204125 14020296704 712514 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505647307 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 825204127 14020296704 712517 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712520 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712524 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712527 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712530 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712534 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 825204127 14020296704 712537 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 825204127 14020296704 712540 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 825204129 14020296704 712543 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 825204129 14020296704 712546 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825204129 14020296704 712546 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14020296704 712549 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13691696 CPUtime=0.22 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 2615 0 0 0 22 0 0 0 15 0 18 0 825204131 14020296704 712553 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13691696 CPUtime=0.27 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2476 0 0 0 27 0 0 0 16 0 18 0 825204132 14020296704 712556 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14020296704 712560 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825204132 14020296704 712563 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
################
# More data... #
################
Current children cumulated vsize (KiB) 13691696
Solver just ended. Dumping a history of the last processes samples
[startup+9.50115 s]
/proc/loadavg: 2.51 2.26 2.21 3/553 11477
/proc/meminfo: memFree=17498256/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13691696 CPUtime=10.35 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 880723 0 1 0 923 112 0 0 18 0 18 0 825204125 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3422924 878081 2232 9 0 3413658 0
[pid=11458/tid=11459] ppid=11456 vsize=13691696 CPUtime=9.3 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 845461 0 1 0 824 106 0 0 18 0 18 0 825204125 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505507396 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13691696 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 9244 0 0 0 15 1 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13691696 CPUtime=0.1 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 6352 0 0 0 9 1 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13691696 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 9737 0 0 0 15 1 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13691696 CPUtime=0.06 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 3614 0 0 0 6 0 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 825204129 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825204129 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825204129 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13691696 CPUtime=0.23 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 2620 0 0 0 23 0 0 0 15 0 18 0 825204131 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13691696 CPUtime=0.27 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2476 0 0 0 27 0 0 0 16 0 18 0 825204132 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13691696 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825204132 14020296704 878081 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 13691696
[startup+11.1008 s]
/proc/loadavg: 2.51 2.26 2.21 3/553 11477
/proc/meminfo: memFree=17499752/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13690928 CPUtime=11.97 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 880853 0 1 0 1084 113 0 0 18 0 18 0 825204125 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3422732 877295 2232 9 0 3413466 0
[pid=11458/tid=11459] ppid=11456 vsize=13690928 CPUtime=10.91 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 845461 0 1 0 984 107 0 0 21 0 18 0 825204125 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505519864 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13690928 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 9244 0 0 0 15 1 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13690928 CPUtime=0.1 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 6352 0 0 0 9 1 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13690928 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 9737 0 0 0 15 1 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13690928 CPUtime=0.06 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 3614 0 0 0 6 0 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 825204129 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825204129 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825204129 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13690928 CPUtime=0.24 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 2748 0 0 0 24 0 0 0 15 0 18 0 825204131 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13690928 CPUtime=0.28 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2478 0 0 0 28 0 0 0 15 0 18 0 825204132 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825204132 14019510272 877295 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 13690928
[startup+11.5008 s]
/proc/loadavg: 2.51 2.26 2.21 3/553 11477
/proc/meminfo: memFree=17499752/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13690928 CPUtime=12.48 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 882113 0 1 0 1135 113 0 0 18 0 18 0 825204125 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3422732 877902 2240 9 0 3413466 0
[pid=11458/tid=11459] ppid=11456 vsize=13690928 CPUtime=11.3 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 845507 0 1 0 1023 107 0 0 22 0 18 0 825204125 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 46912505365668 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13690928 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) S 11456 11458 7151 0 -1 4202560 9244 0 0 0 15 1 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11464] ppid=11456 vsize=13690928 CPUtime=0.1 cores=0,2,4,6
/proc/11458/task/11464/stat : 11464 (java) S 11456 11458 7151 0 -1 4202560 6352 0 0 0 9 1 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13690928 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) S 11456 11458 7151 0 -1 4202560 9737 0 0 0 15 1 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11466] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11466/stat : 11466 (java) S 11456 11458 7151 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13690928 CPUtime=0.06 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) S 11456 11458 7151 0 -1 4202560 3614 0 0 0 6 0 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 825204127 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11469] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11469/stat : 11469 (java) S 11456 11458 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 825204129 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11470] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11470/stat : 11470 (java) S 11456 11458 7151 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 825204129 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11471] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11471/stat : 11471 (java) S 11456 11458 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 825204129 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11472] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11472/stat : 11472 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204131 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13690928 CPUtime=0.3 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) S 11456 11458 7151 0 -1 4202560 3954 0 0 0 29 1 0 0 15 0 18 0 825204131 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11474] ppid=11456 vsize=13690928 CPUtime=0.34 cores=0,2,4,6
/proc/11458/task/11474/stat : 11474 (java) S 11456 11458 7151 0 -1 4202560 2486 0 0 0 34 0 0 0 16 0 18 0 825204132 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) S 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825204132 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=11458/tid=11476] ppid=11456 vsize=13690928 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11476/stat : 11476 (java) S 11456 11458 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825204132 14019510272 877902 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 13690928
[startup+11.9007 s]
/proc/loadavg: 2.51 2.26 2.21 3/553 11477
/proc/meminfo: memFree=17499752/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=13692984 CPUtime=13.19 cores=0,2,4,6
/proc/11458/stat : 11458 (java) S 11456 11458 7151 0 -1 4202496 882344 0 1 0 1205 114 0 0 18 0 17 0 825204125 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 3423246 878076 2252 9 0 3413980 0
[pid=11458/tid=11459] ppid=11456 vsize=13692984 CPUtime=11.67 cores=0,2,4,6
/proc/11458/task/11459/stat : 11459 (java) R 11456 11458 7151 0 -1 4202560 845552 0 1 0 1060 107 0 0 19 0 17 0 825204125 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11458/tid=11461] ppid=11456 vsize=13692984 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11461/stat : 11461 (java) R 11456 11458 7151 0 -1 4202560 9244 0 0 0 15 1 0 0 18 0 13 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11458/tid=11462] ppid=11456 vsize=13692984 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11462/stat : 11462 (java) R 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 9 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11463] ppid=11456 vsize=13692984 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11463/stat : 11463 (java) R 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 8 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11465] ppid=11456 vsize=13692984 CPUtime=0.16 cores=0,2,4,6
/proc/11458/task/11465/stat : 11465 (java) R 11456 11458 7151 0 -1 4202560 9737 0 0 0 15 1 0 0 18 0 8 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=13692984 CPUtime=0.06 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) R 11456 11458 7151 0 -1 4202560 3614 0 0 0 6 0 0 0 18 0 8 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11468] ppid=11456 vsize=13692984 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11468/stat : 11468 (java) R 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 8 0 825204127 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11473] ppid=11456 vsize=13692984 CPUtime=0.45 cores=0,2,4,6
/proc/11458/task/11473/stat : 11473 (java) R 11456 11458 7151 0 -1 4202560 4077 0 0 0 44 1 0 0 15 0 8 0 825204131 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11458/tid=11475] ppid=11456 vsize=13692984 CPUtime=0 cores=0,2,4,6
/proc/11458/task/11475/stat : 11475 (java) R 11456 11458 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 8 0 825204132 14021615616 878076 33554432000 1073741824 1073778376 140736505235520 18446744073709551615 254512507801 256 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 13692984
[startup+12.0007 s]
/proc/loadavg: 2.47 2.25 2.20 3/537 11479
/proc/meminfo: memFree=20281748/32950928 swapFree=34259960/67111528
[pid=11458] ppid=11456 vsize=0 CPUtime=13.29 cores=0,2,4,6
/proc/11458/stat : 11458 (java) Z 11456 11458 7151 0 -1 4203548 882344 0 1 0 1205 124 0 0 18 0 2 0 825204125 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11458/statm: 0 0 0 0 0 0 0
[pid=11458/tid=11467] ppid=11456 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/11458/task/11467/stat : 11467 (java) R 11456 11458 7151 0 -1 4203588 3614 0 0 0 6 11 0 0 18 0 2 0 825204127 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 12.0331
CPU time (s): 13.327
CPU user time (s): 12.0562
CPU system time (s): 1.27081
CPU usage (%): 110.753
Max. virtual memory (cumulated for all children) (KiB): 13692984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0562
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 882344
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= 581
involuntary context switches= 81
runsolver used 0.083987 second user time and 0.146977 second system time
The end