runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3611 MiB free)
memory of node 1: 16384 MiB (10528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295202-1532535884/watcher-4295202-1532535884 -o /tmp/evaluation-result-4295202-1532535884/solver-4295202-1532535884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23735 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1677368137 HOME/instance-4295202-1532535884.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27255, runsolver pid=27252
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 1.56 1.40 1.48 3/207 27312
/proc/meminfo: memFree=14470960/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 4441 12871 0 0 1 0 5 3 20 0 6 0 71151611 10212057088 4269 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2493178 4269 1934 1 0 2481616 0
[pid=27255/tid=27308] ppid=27252 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 2250 12871 0 0 1 0 5 3 20 0 6 0 71151620 10212057088 4269 33554432000 4194304 4196468 140722661233776 139826019897936 139826029624750 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=9972712 memory=5793855881440774585 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 6 0 71151621 10212057088 4269 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=9972712 memory=140630430881408 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 6 0 71151621 10212057088 4269 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 6 0 71151621 10212057088 4269 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 6 0 71151621 10212057088 4269 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209934 s]*
/proc/loadavg: 1.56 1.40 1.48 4/216 27321
/proc/meminfo: memFree=14450456/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10821524 memory=45228 CPUtime=0.27 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 8520 12871 0 0 17 2 5 3 20 0 15 0 71151611 11081240576 11307 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2705381 11307 2949 1 0 2667804 0
[pid=27255/tid=27308] ppid=27252 vsize=10821524 memory=-8540663193526752614 CPUtime=0.2 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 5205 12871 0 0 11 1 5 3 20 0 15 0 71151620 11081240576 11439 33554432000 4194304 4196468 140722661233776 139826019885984 139826040740893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10821524 memory=4211974356635671946 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11081240576 11439 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10821524 memory=140630430881408 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11081240576 11439 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11081240576 11439 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11081240576 11505 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151622 11081240576 11505 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 14 12871 0 0 0 0 5 3 20 0 15 0 71151623 11081240576 11505 33554432000 4194304 4196468 140722661233776 139824942015904 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151623 11081240576 11505 33554432000 4194304 4196468 140722661233776 139824807798256 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11081240576 11156 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10821524 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 429 12871 0 0 1 0 5 3 20 0 15 0 71151626 11081240576 11156 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10819896 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 187 12871 0 0 1 0 5 3 20 0 15 0 71151626 11079573504 11156 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10819896 memory=140630430881408 CPUtime=0.11 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 608 12871 0 0 3 0 5 3 20 0 15 0 71151626 11079573504 10916 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079573504 10916 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10818904 memory=140630430881408 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151626 11078557696 10908 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 45228 KiB
[startup+0.310457 s]*
/proc/loadavg: 1.56 1.40 1.48 3/216 27321
/proc/meminfo: memFree=14437556/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10819352 memory=54092 CPUtime=0.39 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 10619 12871 0 0 29 2 5 3 20 0 15 0 71151611 11079016448 13523 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2704838 13523 3068 1 0 2667149 0
[pid=27255/tid=27308] ppid=27252 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 7168 12871 0 0 20 1 5 3 20 0 15 0 71151620 11079016448 13523 33554432000 4194304 4196468 140722661233776 139826019873184 139826041161092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 13523 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10819352 memory=140630430881407 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151622 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 14 12871 0 0 0 0 5 3 20 0 15 0 71151623 11079016448 13523 33554432000 4194304 4196468 140722661233776 139824942015904 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10819352 memory=140630430881408 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151623 11079016448 13523 33554432000 4194304 4196468 140722661233776 139824807798256 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 431 12871 0 0 1 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 187 12871 0 0 1 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) R 27252 27255 23703 0 -1 4202560 618 12871 0 0 5 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825504299248 139826028032360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 13523 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54092 KiB
[startup+0.700786 s]
/proc/loadavg: 1.56 1.40 1.48 3/216 27321
/proc/meminfo: memFree=14427872/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10819352 memory=86776 CPUtime=0.99 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 16744 12871 0 0 87 4 5 3 20 0 15 0 71151611 11079016448 21694 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2704838 21694 3245 1 0 2667149 0
[pid=27255/tid=27308] ppid=27252 vsize=10819352 memory=21352 CPUtime=0.66 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 12233 12871 0 0 56 2 5 3 20 0 15 0 71151620 11079016448 21694 33554432000 4194304 4196468 140722661233776 139826019882000 139826029624750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 21694 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10819352 memory=288230583132496621 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10819352 memory=15823278816102057 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 2 12871 0 0 0 0 5 3 20 0 15 0 71151621 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10819352 memory=140630315803136 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 5 12871 0 0 0 0 5 3 20 0 15 0 71151622 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10819352 memory=140634409141224 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 14 12871 0 0 0 0 5 3 20 0 15 0 71151623 11079016448 21694 33554432000 4194304 4196468 140722661233776 139824942015904 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10819352 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151623 11079016448 21694 33554432000 4194304 4196468 140722661233776 139824807798256 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10819352 memory=7305218370954486355 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10819352 memory=7733916894068367721 CPUtime=0.15 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 864 12871 0 0 7 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10819352 memory=6154282490091891024 CPUtime=0.17 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 737 12871 0 0 9 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10819352 memory=5450916479948256810 CPUtime=0.21 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 689 12871 0 0 13 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10819352 memory=-8033973737701895300 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151626 11079016448 21694 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86776 KiB
[startup+1.50065 s]
/proc/loadavg: 1.56 1.40 1.48 3/216 27321
/proc/meminfo: memFree=14382224/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10828108 memory=235572 CPUtime=3.09 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 22575 12871 0 0 291 10 5 3 20 0 15 0 71151611 11087982592 58893 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2707027 58893 3445 1 0 2668685 0
[pid=27255/tid=27308] ppid=27252 vsize=10828108 memory=146408 CPUtime=1.44 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) S 27252 27255 23703 0 -1 1077944384 14988 12871 0 0 131 5 5 3 20 0 15 0 71151620 11087982592 58893 33554432000 4194304 4196468 140722661233776 139826019895232 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10828108 memory=-3117775541953849440 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) R 27252 27255 23703 0 -1 4202560 253 12871 0 0 0 0 5 3 20 0 15 0 71151621 11087982592 58893 33554432000 4194304 4196468 140722661233776 139826052303320 139826033083296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) R 27252 27255 23703 0 -1 4202560 13 12871 0 0 1 0 5 3 20 0 15 0 71151621 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825951193488 139826033088594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) R 27252 27255 23703 0 -1 4202560 44 12871 0 0 1 0 5 3 20 0 15 0 71151621 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825950140944 139826033084878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) R 27252 27255 23703 0 -1 4202560 38 12871 0 0 1 0 5 3 20 0 15 0 71151621 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825619263824 139826033084853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10828108 memory=257938757329104 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 13 12871 0 0 0 0 5 3 20 0 15 0 71151622 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825507456032 139826048071381 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10828108 memory=297290490211296509 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 14 12871 0 0 0 0 5 3 20 0 15 0 71151623 11087982592 58893 33554432000 4194304 4196468 140722661233776 139824942015904 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10828108 memory=4638778415513030992 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151623 11087982592 58893 33554432000 4194304 4196468 140722661233776 139824807798256 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10828108 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10828108 memory=281260630999280 CPUtime=0.62 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 2200 12871 0 0 54 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825506395616 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10828108 memory=6935649255759568960 CPUtime=0.67 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) R 27252 27255 23703 0 -1 4202560 1447 12871 0 0 59 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825505337936 139826033170558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10828108 memory=-6870340768888941155 CPUtime=0.48 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 1369 12871 0 0 40 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10828108 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10828108 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1 12871 0 0 0 0 5 3 20 0 15 0 71151626 11087982592 58893 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 210165 12871 0 0 237384 59 5 3 20 0 15 0 71151620 11111071744 821256 33554432000 4194304 4196468 140722661233776 139826019895696 139825633881949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10850656 memory=3285024 CPUtime=6.49 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 24471 12871 0 0 601 40 5 3 20 0 15 0 71151621 11111071744 821256 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10850656 memory=3285024 CPUtime=6.47 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 30261 12871 0 0 600 39 5 3 20 0 15 0 71151621 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10850656 memory=3285024 CPUtime=6.5 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 27008 12871 0 0 602 40 5 3 20 0 15 0 71151621 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10850656 memory=3285024 CPUtime=6.47 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 19755 12871 0 0 600 39 5 3 20 0 15 0 71151621 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10850656 memory=3285024 CPUtime=0.92 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 34106 12871 0 0 74 10 5 3 20 0 15 0 71151622 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10850656 memory=8876 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 35 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 821256 33554432000 4194304 4196468 140722661233776 139824942015968 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10850656 memory=3285024 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 15 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 821256 33554432000 4194304 4196468 140722661233776 139824807798272 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10850656 memory=3285024 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10850656 memory=3285024 CPUtime=11.45 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 35469 12871 0 0 1131 6 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10850656 memory=3285024 CPUtime=12.04 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 40718 12871 0 0 1191 5 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10850656 memory=1600 CPUtime=3.13 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 39456 12871 0 0 299 6 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10850656 memory=5024 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10850656 memory=3285024 CPUtime=1.49 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1747 12871 0 0 64 77 5 3 20 0 15 0 71151626 11111071744 821256 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 2428.86 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3285024 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.63 1.53 3/217 27548
/proc/meminfo: memFree=13012352/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2489.19 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 473121 12871 0 0 248603 308 5 3 20 0 15 0 71151611 11111071744 820995 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2712664 820995 3537 1 0 2674317 0
[pid=27255/tid=27308] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2434.38 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 214149 12871 0 0 243371 59 5 3 20 0 15 0 71151620 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826019895360 139825651269838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10850656 memory=3283948 CPUtime=6.59 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 26040 12871 0 0 611 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.58 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 30780 12871 0 0 610 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.61 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 27860 12871 0 0 612 41 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10850656 memory=0 CPUtime=6.57 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 20156 12871 0 0 610 39 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.93 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 34458 12871 0 0 75 10 5 3 20 0 15 0 71151622 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 35 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824942015968 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 15 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824807798272 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10850656 memory=3283980 CPUtime=11.45 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 35472 12871 0 0 1131 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10850656 memory=7524 CPUtime=12.04 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 40720 12871 0 0 1191 5 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10850656 memory=840 CPUtime=3.13 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 39459 12871 0 0 299 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10850656 memory=3848 CPUtime=1.52 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1783 12871 0 0 66 78 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 2489.19 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3283980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.11 s]
/proc/loadavg: 1.71 1.63 1.54 3/217 27549
/proc/meminfo: memFree=13011732/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2520.06 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 476824 12871 0 0 251689 309 5 3 20 0 15 0 71151611 11111071744 820995 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2712664 820995 3537 1 0 2674317 0
[pid=27255/tid=27308] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2465.17 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 215891 12871 0 0 246449 60 5 3 20 0 15 0 71151620 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826019895520 139825631003603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.61 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 26120 12871 0 0 613 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10850656 memory=0 CPUtime=6.59 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 32073 12871 0 0 611 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.62 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 28067 12871 0 0 613 41 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.59 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 20296 12871 0 0 612 39 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.94 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 34689 12871 0 0 76 10 5 3 20 0 15 0 71151622 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 35 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824942015968 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 15 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824807798272 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10850656 memory=3283980 CPUtime=11.45 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 35472 12871 0 0 1131 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10850656 memory=3283980 CPUtime=12.04 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 40720 12871 0 0 1191 5 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10850656 memory=281260632273920 CPUtime=3.13 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 39459 12871 0 0 299 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10850656 memory=3283980 CPUtime=1.54 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1793 12871 0 0 66 80 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3283980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.15 s]
# the end of solver process 27255 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.96 s, system=3.15513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.11 s]
/proc/loadavg: 1.71 1.63 1.54 3/217 27549
/proc/meminfo: memFree=13011732/32770624 swapFree=67108796/67108860
[pid=27255] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2520.06 cores=1,3,5,7
/proc/27255/stat : 27255 (java) S 27252 27255 23703 0 -1 1077944320 476824 12871 0 0 251689 309 5 3 20 0 15 0 71151611 11111071744 820995 33554432000 4194304 4196468 140722661233776 140722661216320 139826048061175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
/proc/27255/statm: 2712664 820995 3537 1 0 2674317 0
[pid=27255/tid=27308] ppid=27252 vsize=10850656 memory=3283980 CPUtime=2465.17 cores=1,3,5,7
/proc/27255/task/27308/stat : 27308 (java) R 27252 27255 23703 0 -1 4202560 215891 12871 0 0 246449 60 5 3 20 0 15 0 71151620 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826019895520 139825631003603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27309] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.61 cores=1,3,5,7
/proc/27255/task/27309/stat : 27309 (java) S 27252 27255 23703 0 -1 1077944384 26120 12871 0 0 613 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139826052303120 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27310] ppid=27252 vsize=10850656 memory=0 CPUtime=6.59 cores=1,3,5,7
/proc/27255/task/27310/stat : 27310 (java) S 27252 27255 23703 0 -1 1077944384 32073 12871 0 0 611 40 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825951193488 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27311] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.62 cores=1,3,5,7
/proc/27255/task/27311/stat : 27311 (java) S 27252 27255 23703 0 -1 1077944384 28067 12871 0 0 613 41 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825950140944 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27312] ppid=27252 vsize=10850656 memory=3283980 CPUtime=6.59 cores=1,3,5,7
/proc/27255/task/27312/stat : 27312 (java) S 27252 27255 23703 0 -1 1077944384 20296 12871 0 0 612 39 5 3 20 0 15 0 71151621 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825619266192 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27313] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.94 cores=1,3,5,7
/proc/27255/task/27313/stat : 27313 (java) S 27252 27255 23703 0 -1 1077944384 34689 12871 0 0 76 10 5 3 20 0 15 0 71151622 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825507457520 139826048072322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27314] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27314/stat : 27314 (java) S 27252 27255 23703 0 -1 1077944384 35 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824942015968 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27315] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27315/stat : 27315 (java) S 27252 27255 23703 0 -1 1077944384 15 12871 0 0 0 0 5 3 20 0 15 0 71151623 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824807798272 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27316] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27316/stat : 27316 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824567507664 139826048079771 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27317] ppid=27252 vsize=10850656 memory=3283980 CPUtime=11.45 cores=1,3,5,7
/proc/27255/task/27317/stat : 27317 (java) S 27252 27255 23703 0 -1 1077944384 35472 12871 0 0 1131 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825506404336 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27318] ppid=27252 vsize=10850656 memory=3283980 CPUtime=12.04 cores=1,3,5,7
/proc/27255/task/27318/stat : 27318 (java) S 27252 27255 23703 0 -1 1077944384 40720 12871 0 0 1191 5 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825505351792 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27319] ppid=27252 vsize=10850656 memory=281260632273920 CPUtime=3.13 cores=1,3,5,7
/proc/27255/task/27319/stat : 27319 (java) S 27252 27255 23703 0 -1 1077944384 39459 12871 0 0 299 6 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825504299248 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27320] ppid=27252 vsize=10850656 memory=3283980 CPUtime=0.08 cores=1,3,5,7
/proc/27255/task/27320/stat : 27320 (java) S 27252 27255 23703 0 -1 1077944384 3 12871 0 0 0 0 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139824533949024 139826048071381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
[pid=27255/tid=27321] ppid=27252 vsize=10850656 memory=3283980 CPUtime=1.54 cores=1,3,5,7
/proc/27255/task/27321/stat : 27321 (java) S 27252 27255 23703 0 -1 1077944384 1793 12871 0 0 66 80 5 3 20 0 15 0 71151626 11111071744 820995 33554432000 4194304 4196468 140722661233776 139825503247152 139826048072322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34705408 140722661239406 140722661242204 140722661242204 140722661244879 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 3283980 KiB
Child status: 143
Real time (s): 2473.15
CPU time (s): 2520.11
CPU user time (s): 2516.96
CPU system time (s): 3.15513
CPU usage (%): 101.899
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 3285484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.96
system time used= 3.15513
maximum resident set size= 3288248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75167
involuntary context switches= 3004
# summary of solver processes directly reported to runsolver:
# pid: 27255
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.96
# total CPU system time (s): 3.15513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7138 second user time and 23.4235 second system time
The end