runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687317-1337871902/watcher-3687317-1337871902 -o /tmp/evaluation-result-3687317-1337871902/solver-3687317-1337871902 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687317-1337871902.opb
running on 4 cores: 1,3,5,7
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: 0.15 0.03 0.01 2/173 21732
/proc/meminfo: memFree=29201304/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21732/stat : 21732 (java) R 21730 21732 21531 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 253315557 23793664 714 33554432000 1073741824 1073778376 140733665185616 140733665174680 273579817040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 5809 714 528 9 0 128 0
[startup+0.0246011 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 21732
/proc/meminfo: memFree=29201304/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 2730 0 1 0 0 0 0 0 20 0 10 0 253315557 9233014784 3430 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2254154 3445 1531 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100286 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 21732
/proc/meminfo: memFree=29201304/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 4279 0 1 0 8 1 0 0 20 0 18 0 253315557 9787813888 5476 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2389603 5478 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300196 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 21732
/proc/meminfo: memFree=29201304/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 5676 0 1 0 45 1 0 0 20 0 18 0 253315557 9787813888 8383 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2389603 8383 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700193 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 21732
/proc/meminfo: memFree=29201304/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 7367 0 1 0 119 2 0 0 20 0 19 0 253315557 9855975424 10611 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 10611 2273 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9624976
[startup+1.50077 s]
/proc/loadavg: 0.21 0.05 0.01 2/192 21751
/proc/meminfo: memFree=29156016/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=2.17 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 11424 0 1 0 214 3 0 0 20 0 19 0 253315557 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 14118 2273 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2465 0 1 0 142 1 0 0 20 0 19 0 253315558 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409141821848 140409007815616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253315560 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6116 0 0 0 40 0 0 0 20 0 19 0 253315563 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 1589 0 0 0 25 0 0 0 20 0 19 0 253315563 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 14118 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9624976
[startup+3.10074 s]
/proc/loadavg: 0.21 0.05 0.01 2/192 21751
/proc/meminfo: memFree=29152480/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=4.51 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 19910 0 1 0 446 5 0 0 20 0 19 0 253315557 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 18793 2275 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2466 0 1 0 297 1 0 0 20 0 19 0 253315558 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409141821688 140409007811836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 253315560 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) R 21730 21732 21531 0 -1 4202560 10044 0 0 0 93 2 0 0 20 0 19 0 253315563 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408960088360 140409145939410 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 18793 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 9624976
[startup+6.30065 s]
/proc/loadavg: 0.21 0.05 0.01 3/194 21755
/proc/meminfo: memFree=29121432/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=7.87 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 20059 0 1 0 782 5 0 0 20 0 19 0 253315557 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 17887 2275 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=6.1 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2471 0 1 0 609 1 0 0 20 0 19 0 253315558 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409141821728 140409007775817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253315559 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 253315560 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 10172 0 0 0 106 2 0 0 20 0 19 0 253315563 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 17887 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 253315560 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 10172 0 0 0 106 2 0 0 20 0 19 0 253315563 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 18924 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 9624976
[startup+10.4007 s]
/proc/loadavg: 0.44 0.10 0.03 3/214 21782
/proc/meminfo: memFree=28694348/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=12.05 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 20081 0 1 0 1200 5 0 0 20 0 19 0 253315557 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 17773 2275 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=10.11 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2475 0 1 0 1010 1 0 0 20 0 19 0 253315558 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409141822056 140409007776398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 253315560 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 10172 0 0 0 106 2 0 0 20 0 19 0 253315563 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 17773 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 9624976
[startup+10.6007 s]
/proc/loadavg: 0.44 0.10 0.03 3/214 21782
/proc/meminfo: memFree=28694348/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=12.26 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 20083 0 1 0 1221 5 0 0 20 0 19 0 253315557 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 17774 2275 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=10.29 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2476 0 1 0 1028 1 0 0 20 0 19 0 253315558 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409141821688 140409007776032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 19 0 253315560 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 10172 0 0 0 106 2 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 9624976
[startup+10.7008 s]
/proc/loadavg: 0.44 0.10 0.03 3/214 21782
/proc/meminfo: memFree=28694348/32873844 swapFree=6584/6584
[pid=21732] ppid=21730 vsize=9624976 CPUtime=12.36 cores=1,3,5,7
/proc/21732/stat : 21732 (java) S 21730 21732 21531 0 -1 4202496 20083 0 1 0 1231 5 0 0 20 0 19 0 253315557 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140733665176752 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21732/statm: 2406244 17774 2275 9 0 2396937 0
[pid=21732/tid=21734] ppid=21730 vsize=9624976 CPUtime=10.39 cores=1,3,5,7
/proc/21732/task/21734/stat : 21734 (java) R 21730 21732 21531 0 -1 4202560 2476 0 1 0 1038 1 0 0 20 0 19 0 253315558 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409141821688 140409007816091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21735] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21735/stat : 21735 (java) S 21730 21732 21531 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409130883624 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21736] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21736/stat : 21736 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409129830824 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21737] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21737/stat : 21737 (java) S 21730 21732 21531 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409128778024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21738] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21738/stat : 21738 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409127725224 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21739] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21739/stat : 21739 (java) S 21730 21732 21531 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140409126673448 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21740] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21740/stat : 21740 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408979667880 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21741] ppid=21730 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21732/task/21741/stat : 21741 (java) S 21730 21732 21531 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408978615080 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21732/tid=21742] ppid=21730 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21732/task/21742/stat : 21742 (java) S 21730 21732 21531 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 253315559 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408977562280 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21743] ppid=21730 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21732/task/21743/stat : 21743 (java) S 21730 21732 21531 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 19 0 253315560 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408965364200 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21744] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21744/stat : 21744 (java) S 21730 21732 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408964310264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21745] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21745/stat : 21745 (java) S 21730 21732 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315561 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408963257352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21746] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21746/stat : 21746 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408962205840 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21732/tid=21747] ppid=21730 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21732/task/21747/stat : 21747 (java) S 21730 21732 21531 0 -1 4202560 6137 0 0 0 43 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408961153976 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21748] ppid=21730 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/21732/task/21748/stat : 21748 (java) S 21730 21732 21531 0 -1 4202560 10172 0 0 0 106 2 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408960101176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21749] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21749/stat : 21749 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408959048568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21732/tid=21750] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21750/stat : 21750 (java) S 21730 21732 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315563 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408957995976 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21732/tid=21751] ppid=21730 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21732/task/21751/stat : 21751 (java) S 21730 21732 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315587 9855975424 17774 33554432000 1073741824 1073778376 140733665185616 140408956941480 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 9624976
Child status: 10
Real time (s): 10.7462
CPU time (s): 12.4421
CPU user time (s): 12.2901
CPU system time (s): 0.151976
CPU usage (%): 115.781
Max. virtual memory (cumulated for all children) (KiB): 9626588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2901
system time used= 0.151976
maximum resident set size= 76304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20098
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 850
involuntary context switches= 839
runsolver used 0.020996 second user time and 0.105983 second system time
The end