runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4264602-1502277525/watcher-4264602-1502277525 -o /tmp/evaluation-result-4264602-1502277525/solver-4264602-1502277525 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502259017-17570 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264602-1502277525.xml
pid=21310
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.36 1.99 1.91 3/202 21313
/proc/meminfo: memFree=31153720/32770624 swapFree=0/402496
[pid=21313] ppid=21310 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21313/stat : 21313 (runsolver) D 21310 21313 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 69663600 24240128 106 18446744073709551615 4194304 4338465 140730335582640 140730335580280 139899291480791 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11141120 140730335584415 140730335584841 140730335584841 140730335588298 0
/proc/21313/statm: 5918 106 53 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 2.36 1.99 1.91 3/202 21313
/proc/meminfo: memFree=31153720/32770624 swapFree=0/402496
[pid=21313] ppid=21310 vsize=10018544 CPUtime=0.01 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 3720 0 0 0 1 0 0 0 20 0 7 0 69663600 10258989056 3909 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2504636 3909 1977 1 0 2494133 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10018544
[startup+0.200416 s]
/proc/loadavg: 2.36 1.99 1.91 3/202 21313
/proc/meminfo: memFree=31153720/32770624 swapFree=0/402496
[pid=21313] ppid=21310 vsize=10551180 CPUtime=0.09 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 5147 0 0 0 8 1 0 0 20 0 15 0 69663600 10804408320 6623 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2637795 6623 2674 1 0 2627261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180
[startup+0.301567 s]
/proc/loadavg: 2.36 1.99 1.91 3/202 21313
/proc/meminfo: memFree=31153720/32770624 swapFree=0/402496
[pid=21313] ppid=21310 vsize=10553264 CPUtime=0.27 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 9010 0 0 0 25 2 0 0 20 0 15 0 69663600 10806542336 9842 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2638316 9842 2928 1 0 2627261 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10553264
[startup+0.704272 s]
/proc/loadavg: 2.36 1.99 1.91 3/202 21313
/proc/meminfo: memFree=31153720/32770624 swapFree=0/402496
[pid=21313] ppid=21310 vsize=10621952 CPUtime=1.28 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 13403 0 0 0 124 4 0 0 20 0 16 0 69663600 10876878848 21577 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2655488 21577 3065 1 0 2644414 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10621952
[startup+1.50063 s]
/proc/loadavg: 2.36 1.99 1.91 5/218 21329
/proc/meminfo: memFree=30961256/32770624 swapFree=0/402584
[pid=21313] ppid=21310 vsize=10621952 CPUtime=3.96 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 17129 0 0 0 387 9 0 0 20 0 16 0 69663600 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2655488 53250 3112 1 0 2644414 0
[pid=21313/tid=21315] ppid=21310 vsize=10621952 CPUtime=0.22 cores=0,2,4,6
/proc/21313/task/21315/stat : 21315 (java) S 21310 21313 9153 0 -1 1077944384 6251 0 0 0 20 2 0 0 20 0 16 0 69663608 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385937685680 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21316] ppid=21310 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/21313/task/21316/stat : 21316 (java) S 21310 21313 9153 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 69663609 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385544821776 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21317] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21317/stat : 21317 (java) S 21310 21313 9153 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 69663609 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385543769232 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21318] ppid=21310 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/21313/task/21318/stat : 21318 (java) S 21310 21313 9153 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 69663609 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385542716176 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21319] ppid=21310 vsize=10621952 CPUtime=0.02 cores=0,2,4,6
/proc/21313/task/21319/stat : 21319 (java) S 21310 21313 9153 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 16 0 69663609 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385541663632 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21320] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21320/stat : 21320 (java) S 21310 21313 9153 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 69663610 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385429985520 140385933453954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21321] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21321/stat : 21321 (java) S 21310 21313 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 69663611 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385428931744 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21322] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21322/stat : 21322 (java) S 21310 21313 9153 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 69663611 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385427878656 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21323] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21323/stat : 21323 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385426827216 140385933461403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21324] ppid=21310 vsize=10621952 CPUtime=0.98 cores=0,2,4,6
/proc/21313/task/21324/stat : 21324 (java) R 21310 21313 9153 0 -1 4202560 2866 0 0 0 98 0 0 0 20 0 16 0 69663613 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385425755896 140385914965284 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21325] ppid=21310 vsize=10621952 CPUtime=0.96 cores=0,2,4,6
/proc/21313/task/21325/stat : 21325 (java) R 21310 21313 9153 0 -1 4202560 1331 0 0 0 96 0 0 0 20 0 16 0 69663613 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385424715824 140385919470919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21326] ppid=21310 vsize=10621952 CPUtime=0.55 cores=0,2,4,6
/proc/21313/task/21326/stat : 21326 (java) R 21310 21313 9153 0 -1 1077944384 2723 0 0 0 55 0 0 0 20 0 16 0 69663613 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385423669744 140385933453954 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21327] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21327/stat : 21327 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385422617440 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21328] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21328/stat : 21328 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663618 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385421564464 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21329] ppid=21310 vsize=10621952 CPUtime=1.11 cores=0,2,4,6
/proc/21313/task/21329/stat : 21329 (java) R 21310 21313 9153 0 -1 4202560 2417 0 0 0 109 2 0 0 20 0 16 0 69663635 10876878848 53250 18446744073709551615 4194304 4196468 140733639996992 140385418373472 140385933454742 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21313 sig 9
??? kill -21313 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.70067 s]
/proc/loadavg: 2.36 1.99 1.91 5/218 21329
/proc/meminfo: memFree=30961256/32770624 swapFree=0/402584
[pid=21313] ppid=21310 vsize=10621952 CPUtime=4.56 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 17408 0 0 0 447 9 0 0 20 0 16 0 69663600 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2655488 53551 3115 1 0 2644414 0
[pid=21313/tid=21315] ppid=21310 vsize=10621952 CPUtime=0.22 cores=0,2,4,6
/proc/21313/task/21315/stat : 21315 (java) S 21310 21313 9153 0 -1 1077944384 6251 0 0 0 20 2 0 0 20 0 16 0 69663608 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385937685680 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21316] ppid=21310 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/21313/task/21316/stat : 21316 (java) S 21310 21313 9153 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 69663609 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385544821776 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21317] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21317/stat : 21317 (java) S 21310 21313 9153 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 69663609 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385543769232 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21318] ppid=21310 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/21313/task/21318/stat : 21318 (java) S 21310 21313 9153 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 69663609 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385542716176 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21319] ppid=21310 vsize=10621952 CPUtime=0.02 cores=0,2,4,6
/proc/21313/task/21319/stat : 21319 (java) S 21310 21313 9153 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 16 0 69663609 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385541663632 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21320] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21320/stat : 21320 (java) S 21310 21313 9153 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 69663610 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385429985520 140385933453954 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21321] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21321/stat : 21321 (java) S 21310 21313 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 69663611 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385428931744 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21322] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21322/stat : 21322 (java) S 21310 21313 9153 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 69663611 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385427878656 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21323] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21323/stat : 21323 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385426827216 140385933461403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21324] ppid=21310 vsize=10621952 CPUtime=1.13 cores=0,2,4,6
/proc/21313/task/21324/stat : 21324 (java) S 21310 21313 9153 0 -1 1077944384 2909 0 0 0 113 0 0 0 20 0 16 0 69663613 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385425775344 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21325] ppid=21310 vsize=10621952 CPUtime=1.13 cores=0,2,4,6
/proc/21313/task/21325/stat : 21325 (java) S 21310 21313 9153 0 -1 1077944384 1377 0 0 0 113 0 0 0 20 0 16 0 69663613 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385424722800 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21326] ppid=21310 vsize=10621952 CPUtime=0.64 cores=0,2,4,6
/proc/21313/task/21326/stat : 21326 (java) S 21310 21313 9153 0 -1 1077944384 2911 0 0 0 64 0 0 0 20 0 16 0 69663613 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385423669744 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21327] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21327/stat : 21327 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385422617440 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21328] ppid=21310 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21328/stat : 21328 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663618 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385421564464 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21329] ppid=21310 vsize=10621952 CPUtime=1.3 cores=0,2,4,6
/proc/21313/task/21329/stat : 21329 (java) R 21310 21313 9153 0 -1 4202560 2419 0 0 0 128 2 0 0 20 0 16 0 69663635 10876878848 53551 18446744073709551615 4194304 4196468 140733639996992 140385418368552 140385581265831 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10621952
[startup+2.10061 s]
/proc/loadavg: 2.36 1.99 1.91 5/218 21329
/proc/meminfo: memFree=30961256/32770624 swapFree=0/402584
[pid=21313] ppid=21310 vsize=10624000 CPUtime=5.96 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 18787 0 0 0 581 15 0 0 20 0 16 0 69663600 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2656000 63514 3136 1 0 2644926 0
[pid=21313/tid=21315] ppid=21310 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/21313/task/21315/stat : 21315 (java) S 21310 21313 9153 0 -1 1077944384 6251 0 0 0 20 2 0 0 20 0 16 0 69663608 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385937685680 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21316] ppid=21310 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/21313/task/21316/stat : 21316 (java) S 21310 21313 9153 0 -1 1077944384 110 0 0 0 3 1 0 0 20 0 16 0 69663609 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385544821776 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21317] ppid=21310 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/21313/task/21317/stat : 21317 (java) S 21310 21313 9153 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 16 0 69663609 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385543769232 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21318] ppid=21310 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/21313/task/21318/stat : 21318 (java) S 21310 21313 9153 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 16 0 69663609 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385542716176 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21319] ppid=21310 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/21313/task/21319/stat : 21319 (java) S 21310 21313 9153 0 -1 1077944384 133 0 0 0 4 1 0 0 20 0 16 0 69663609 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385541663632 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21320] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21320/stat : 21320 (java) S 21310 21313 9153 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 69663610 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385429985520 140385933453954 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21321] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21321/stat : 21321 (java) S 21310 21313 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 69663611 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385428931808 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21322] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21322/stat : 21322 (java) S 21310 21313 9153 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 69663611 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385427878656 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21323] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21323/stat : 21323 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385426827216 140385933461403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21324] ppid=21310 vsize=10624000 CPUtime=1.49 cores=0,2,4,6
/proc/21313/task/21324/stat : 21324 (java) R 21310 21313 9153 0 -1 4202560 2971 0 0 0 149 0 0 0 20 0 16 0 69663613 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385425761888 140385933464154 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21325] ppid=21310 vsize=10624000 CPUtime=1.48 cores=0,2,4,6
/proc/21313/task/21325/stat : 21325 (java) R 21310 21313 9153 0 -1 4202560 1675 0 0 0 148 0 0 0 20 0 16 0 69663613 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385424703952 140385933464154 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21326] ppid=21310 vsize=10624000 CPUtime=0.84 cores=0,2,4,6
/proc/21313/task/21326/stat : 21326 (java) S 21310 21313 9153 0 -1 1077944384 3403 0 0 0 83 1 0 0 20 0 16 0 69663613 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385423669744 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21327] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21327/stat : 21327 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385422617440 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21328] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21328/stat : 21328 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663618 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385421564464 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21329] ppid=21310 vsize=10624000 CPUtime=1.66 cores=0,2,4,6
/proc/21313/task/21329/stat : 21329 (java) R 21310 21313 9153 0 -1 4202560 2597 0 0 0 164 2 0 0 20 0 16 0 69663635 10878976000 63514 18446744073709551615 4194304 4196468 140733639996992 140385418374400 140385914849096 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 10624000
[startup+2.30064 s]
/proc/loadavg: 2.36 1.99 1.91 3/218 21329
/proc/meminfo: memFree=30905396/32770624 swapFree=0/402580
[pid=21313] ppid=21310 vsize=10624000 CPUtime=6.52 cores=0,2,4,6
/proc/21313/stat : 21313 (java) S 21310 21313 9153 0 -1 1077944320 21334 0 0 0 635 17 0 0 20 0 16 0 69663600 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140733639979536 140385933442807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
/proc/21313/statm: 2656000 64568 3141 1 0 2644926 0
[pid=21313/tid=21315] ppid=21310 vsize=10624000 CPUtime=0.22 cores=0,2,4,6
/proc/21313/task/21315/stat : 21315 (java) S 21310 21313 9153 0 -1 1077944384 6251 0 0 0 20 2 0 0 20 0 16 0 69663608 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385937685680 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21316] ppid=21310 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/21313/task/21316/stat : 21316 (java) S 21310 21313 9153 0 -1 1077944384 110 0 0 0 3 1 0 0 20 0 16 0 69663609 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385544821776 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21317] ppid=21310 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/21313/task/21317/stat : 21317 (java) S 21310 21313 9153 0 -1 1077944384 91 0 0 0 2 1 0 0 20 0 16 0 69663609 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385543769232 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21318] ppid=21310 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/21313/task/21318/stat : 21318 (java) S 21310 21313 9153 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 16 0 69663609 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385542716176 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21319] ppid=21310 vsize=10624000 CPUtime=0.05 cores=0,2,4,6
/proc/21313/task/21319/stat : 21319 (java) S 21310 21313 9153 0 -1 1077944384 133 0 0 0 4 1 0 0 20 0 16 0 69663609 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385541663632 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21320] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21320/stat : 21320 (java) S 21310 21313 9153 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 69663610 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385429985520 140385933453954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21321] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21321/stat : 21321 (java) S 21310 21313 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 69663611 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385428931808 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21322] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21322/stat : 21322 (java) S 21310 21313 9153 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 69663611 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385427878656 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21323] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21323/stat : 21323 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385426827216 140385933461403 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21324] ppid=21310 vsize=10624000 CPUtime=1.64 cores=0,2,4,6
/proc/21313/task/21324/stat : 21324 (java) S 21310 21313 9153 0 -1 1077944384 3014 0 0 0 163 1 0 0 20 0 16 0 69663613 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385425775344 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21325] ppid=21310 vsize=10624000 CPUtime=1.6 cores=0,2,4,6
/proc/21313/task/21325/stat : 21325 (java) R 21310 21313 9153 0 -1 1077944384 1722 0 0 0 160 0 0 0 20 0 16 0 69663613 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385424722896 140385933453013 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21326] ppid=21310 vsize=10624000 CPUtime=0.91 cores=0,2,4,6
/proc/21313/task/21326/stat : 21326 (java) R 21310 21313 9153 0 -1 4202560 3541 0 0 0 90 1 0 0 20 0 16 0 69663613 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385423669744 140385933456671 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21327] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21327/stat : 21327 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663613 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385422617440 140385933453013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21328] ppid=21310 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/21313/task/21328/stat : 21328 (java) S 21310 21313 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69663618 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385421564464 140385933453954 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
[pid=21313/tid=21329] ppid=21310 vsize=10624000 CPUtime=1.87 cores=0,2,4,6
/proc/21313/task/21329/stat : 21329 (java) R 21310 21313 9153 0 -1 4202560 4916 0 0 0 184 3 0 0 20 0 16 0 69663635 10878976000 64568 18446744073709551615 4194304 4196468 140733639996992 140385418362064 140385584813843 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140733639999949 140733640000078 140733640000078 140733640003535 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.35728
CPU time (s): 6.64531
CPU user time (s): 6.46827
CPU system time (s): 0.177032
CPU usage (%): 281.906
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.46827
system time used= 0.177032
maximum resident set size= 259640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2460
involuntary context switches= 25
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015987 second user time and 0.014988 second system time
The end