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-4257700-1501997459/watcher-4257700-1501997459 -o /tmp/evaluation-result-4257700-1501997459/solver-4257700-1501997459 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501991020-11006 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257700-1501997459.xml
pid=17804
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.79 1.97 2.06 3/195 17807
/proc/meminfo: memFree=31704496/32770624 swapFree=0/302260
[pid=17807] ppid=17804 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17807/stat : 17807 (runsolver) D 17804 17807 2453 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1941726 24240128 106 18446744073709551615 4194304 4338465 140724941331088 140724941328728 140159708451543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 39567360 140724941332648 140724941333071 140724941333071 140724941336522 0
/proc/17807/statm: 5918 106 53 36 0 2156 0
[startup+0.10002 s]
/proc/loadavg: 1.79 1.97 2.06 3/195 17807
/proc/meminfo: memFree=31704496/32770624 swapFree=0/302260
[pid=17807] ppid=17804 vsize=356952 CPUtime=0 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 1740 0 0 0 0 0 0 0 20 0 2 0 1941726 365518848 1900 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 89238 1900 1053 1 0 79208 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.207534 s]
/proc/loadavg: 1.79 1.97 2.06 3/195 17807
/proc/meminfo: memFree=31704496/32770624 swapFree=0/302260
[pid=17807] ppid=17804 vsize=10551056 CPUtime=0.06 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 4755 0 0 0 5 1 0 0 20 0 15 0 1941726 10804281344 5789 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2637764 6301 2615 1 0 2627261 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551056
[startup+0.301981 s]
/proc/loadavg: 1.79 1.97 2.06 3/195 17807
/proc/meminfo: memFree=31704496/32770624 swapFree=0/302260
[pid=17807] ppid=17804 vsize=10551180 CPUtime=0.23 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 8700 0 0 0 21 2 0 0 20 0 15 0 1941726 10804408320 9041 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2637795 9041 2881 1 0 2627261 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10551180
[startup+0.701446 s]
/proc/loadavg: 1.79 1.97 2.06 3/195 17807
/proc/meminfo: memFree=31704496/32770624 swapFree=0/302260
[pid=17807] ppid=17804 vsize=10621952 CPUtime=1.1 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 14023 0 0 0 105 5 0 0 20 0 16 0 1941726 10876878848 19602 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2655488 19602 3075 1 0 2644414 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
[startup+1.50063 s]
/proc/loadavg: 1.79 1.97 2.06 5/211 17823
/proc/meminfo: memFree=31596804/32770624 swapFree=0/302288
[pid=17807] ppid=17804 vsize=10624000 CPUtime=2.99 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 19339 0 0 0 291 8 0 0 20 0 16 0 1941726 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2656000 29422 3107 1 0 2644926 0
[pid=17807/tid=17809] ppid=17804 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/17807/task/17809/stat : 17809 (java) S 17804 17807 2453 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 1941735 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972840639664 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17810] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17810/stat : 17810 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972793362704 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17811] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17811/stat : 17811 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972792310160 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17812] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17812/stat : 17812 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972791257616 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17813] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17813/stat : 17813 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972790205072 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17814] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17814/stat : 17814 (java) S 17804 17807 2453 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 1941737 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972400585200 139972836407938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17815] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17815/stat : 17815 (java) S 17804 17807 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972399531424 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17816] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17816/stat : 17816 (java) S 17804 17807 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972398478832 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17817] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17817/stat : 17817 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972397427408 139972836415387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17818] ppid=17804 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/17807/task/17818/stat : 17818 (java) S 17804 17807 2453 0 -1 1077944384 2340 0 0 0 54 1 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972396374000 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17819] ppid=17804 vsize=10624000 CPUtime=0.56 cores=1,3,5,7
/proc/17807/task/17819/stat : 17819 (java) S 17804 17807 2453 0 -1 1077944384 1335 0 0 0 56 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972395321456 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17820] ppid=17804 vsize=10624000 CPUtime=0.5 cores=1,3,5,7
/proc/17807/task/17820/stat : 17820 (java) S 17804 17807 2453 0 -1 1077944384 2307 0 0 0 50 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972394268912 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17821] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17821/stat : 17821 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972393216608 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17822] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17822/stat : 17822 (java) S 17804 17807 2453 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 1941746 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972392164144 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17823] ppid=17804 vsize=10624000 CPUtime=1.13 cores=1,3,5,7
/proc/17807/task/17823/stat : 17823 (java) R 17804 17807 2453 0 -1 4202560 5788 0 0 0 110 3 0 0 20 0 16 0 1941762 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972388972040 139972469672239 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17807 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60077 s]
/proc/loadavg: 1.79 1.97 2.06 5/211 17823
/proc/meminfo: memFree=31596804/32770624 swapFree=0/302288
[pid=17807] ppid=17804 vsize=10624000 CPUtime=3.1 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 19342 0 0 0 302 8 0 0 20 0 16 0 1941726 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2656000 29422 3107 1 0 2644926 0
[pid=17807/tid=17809] ppid=17804 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/17807/task/17809/stat : 17809 (java) S 17804 17807 2453 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 1941735 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972840639664 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17810] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17810/stat : 17810 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972793362704 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17811] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17811/stat : 17811 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972792310160 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17812] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17812/stat : 17812 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972791257616 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17813] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17813/stat : 17813 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972790205072 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17814] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17814/stat : 17814 (java) S 17804 17807 2453 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 1941737 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972400585200 139972836407938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17815] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17815/stat : 17815 (java) S 17804 17807 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972399531424 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17816] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17816/stat : 17816 (java) S 17804 17807 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972398478832 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17817] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17817/stat : 17817 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972397427408 139972836415387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17818] ppid=17804 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/17807/task/17818/stat : 17818 (java) S 17804 17807 2453 0 -1 1077944384 2340 0 0 0 54 1 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972396374000 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17819] ppid=17804 vsize=10624000 CPUtime=0.56 cores=1,3,5,7
/proc/17807/task/17819/stat : 17819 (java) S 17804 17807 2453 0 -1 1077944384 1335 0 0 0 56 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972395321456 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17820] ppid=17804 vsize=10624000 CPUtime=0.51 cores=1,3,5,7
/proc/17807/task/17820/stat : 17820 (java) S 17804 17807 2453 0 -1 1077944384 2310 0 0 0 51 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972394268912 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17821] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17821/stat : 17821 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972393216608 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17822] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17822/stat : 17822 (java) S 17804 17807 2453 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 1941746 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972392164144 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17823] ppid=17804 vsize=10624000 CPUtime=1.23 cores=1,3,5,7
/proc/17807/task/17823/stat : 17823 (java) R 17804 17807 2453 0 -1 4202560 5788 0 0 0 120 3 0 0 20 0 16 0 1941762 10878976000 29422 18446744073709551615 4194304 4196468 140727149918192 139972388972040 139972469281037 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10624000
[startup+2.00055 s]
/proc/loadavg: 1.79 1.97 2.06 5/211 17823
/proc/meminfo: memFree=31596804/32770624 swapFree=0/302288
[pid=17807] ppid=17804 vsize=10624000 CPUtime=3.51 cores=1,3,5,7
/proc/17807/stat : 17807 (java) S 17804 17807 2453 0 -1 1077944320 19500 0 0 0 343 8 0 0 20 0 16 0 1941726 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 140727149900736 139972836396791 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
/proc/17807/statm: 2656000 29423 3107 1 0 2644926 0
[pid=17807/tid=17809] ppid=17804 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/17807/task/17809/stat : 17809 (java) S 17804 17807 2453 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 1941735 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972840639664 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17810] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17810/stat : 17810 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972793362704 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17811] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17811/stat : 17811 (java) S 17804 17807 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972792310160 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17812] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17812/stat : 17812 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972791257616 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17813] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17813/stat : 17813 (java) S 17804 17807 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1941736 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972790205072 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17814] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17814/stat : 17814 (java) S 17804 17807 2453 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 1941737 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972400585200 139972836407938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17815] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17815/stat : 17815 (java) S 17804 17807 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972399531424 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17816] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17816/stat : 17816 (java) S 17804 17807 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1941738 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972398478832 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17817] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17817/stat : 17817 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972397427408 139972836415387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17818] ppid=17804 vsize=10624000 CPUtime=0.56 cores=1,3,5,7
/proc/17807/task/17818/stat : 17818 (java) S 17804 17807 2453 0 -1 1077944384 2393 0 0 0 55 1 0 0 20 0 16 0 1941740 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972396374000 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17819] ppid=17804 vsize=10624000 CPUtime=0.57 cores=1,3,5,7
/proc/17807/task/17819/stat : 17819 (java) S 17804 17807 2453 0 -1 1077944384 1423 0 0 0 57 0 0 0 20 0 16 0 1941740 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972395321456 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17820] ppid=17804 vsize=10624000 CPUtime=0.51 cores=1,3,5,7
/proc/17807/task/17820/stat : 17820 (java) S 17804 17807 2453 0 -1 1077944384 2319 0 0 0 51 0 0 0 20 0 16 0 1941740 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972394268912 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17821] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17821/stat : 17821 (java) S 17804 17807 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1941740 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972393216608 139972836406997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17822] ppid=17804 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/17807/task/17822/stat : 17822 (java) S 17804 17807 2453 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 1941746 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972392164144 139972836407938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
[pid=17807/tid=17823] ppid=17804 vsize=10624000 CPUtime=1.63 cores=1,3,5,7
/proc/17807/task/17823/stat : 17823 (java) R 17804 17807 2453 0 -1 4202560 5796 0 0 0 160 3 0 0 20 0 16 0 1941762 10878976000 29423 18446744073709551615 4194304 4196468 140727149918192 139972388972040 139972469088730 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10072064 140727149920723 140727149920852 140727149920852 140727149924303 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.01773
CPU time (s): 3.53633
CPU user time (s): 3.45199
CPU system time (s): 0.084343
CPU usage (%): 175.263
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.45199
system time used= 0.084343
maximum resident set size= 120012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2188
involuntary context switches= 6
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007968 second user time and 0.014684 second system time
The end