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-4257610-1501996245/watcher-4257610-1501996245 -o /tmp/evaluation-result-4257610-1501996245/solver-4257610-1501996245 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501991020-11005 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257610-1501996245.xml
pid=15933
running on 4 cores: 0,2,4,6
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: 2.00 2.04 2.22 3/195 15936
/proc/meminfo: memFree=31508068/32770624 swapFree=0/300812
[pid=15936] ppid=15933 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15936/stat : 15936 (runsolver) D 15933 15936 2453 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1820374 24240128 107 18446744073709551615 4194304 4338465 140733599171408 140733599169048 139655732900567 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32583680 140733599178920 140733599179343 140733599179343 140733599182794 0
/proc/15936/statm: 5918 107 54 36 0 2156 0
[startup+0.106595 s]
/proc/loadavg: 2.00 2.04 2.22 3/195 15936
/proc/meminfo: memFree=31508068/32770624 swapFree=0/300812
[pid=15936] ppid=15933 vsize=9951980 CPUtime=0.01 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 3537 0 0 0 1 0 0 0 20 0 6 0 1820374 10190827520 4763 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2487995 4763 1975 1 0 2477492 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9951980
[startup+0.20032 s]
/proc/loadavg: 2.00 2.04 2.22 3/195 15936
/proc/meminfo: memFree=31508068/32770624 swapFree=0/300812
[pid=15936] ppid=15933 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 4579 0 0 0 4 1 0 0 20 0 14 0 1820374 10736119808 5636 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2621123 5636 2578 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300347 s]
/proc/loadavg: 2.00 2.04 2.22 3/195 15936
/proc/meminfo: memFree=31508068/32770624 swapFree=0/300812
[pid=15936] ppid=15933 vsize=10551180 CPUtime=0.21 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 8570 0 0 0 19 2 0 0 20 0 15 0 1820374 10804408320 8908 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2637795 8908 2870 1 0 2627261 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10551180
[startup+0.706442 s]
/proc/loadavg: 2.00 2.04 2.22 3/195 15936
/proc/meminfo: memFree=31508068/32770624 swapFree=0/300812
[pid=15936] ppid=15933 vsize=10621952 CPUtime=1.2 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 13388 0 0 0 115 5 0 0 20 0 16 0 1820374 10876878848 20737 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2655488 20737 3076 1 0 2644414 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 2.00 2.04 2.22 5/211 15952
/proc/meminfo: memFree=31400268/32770624 swapFree=0/300688
[pid=15936] ppid=15933 vsize=10624000 CPUtime=3.69 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 21985 0 0 0 361 8 0 0 20 0 16 0 1820374 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2656000 31418 3111 1 0 2644926 0
[pid=15936/tid=15938] ppid=15933 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15936/task/15938/stat : 15938 (java) S 15933 15936 2453 0 -1 1077944384 6183 0 0 0 19 2 0 0 20 0 16 0 1820382 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139839243902128 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15939] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15939/stat : 15939 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838850329744 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15940] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15940/stat : 15940 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838849276944 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15941] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15941/stat : 15941 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838848224144 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15942] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15942/stat : 15942 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838847171344 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15943] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15943/stat : 15943 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838347114864 139839239670402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15944] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15944/stat : 15944 (java) S 15933 15936 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838346060832 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15945] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15945/stat : 15945 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838345007984 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15946] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15946/stat : 15946 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820387 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838343956304 139839239677851 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15947] ppid=15933 vsize=10624000 CPUtime=0.87 cores=0,2,4,6
/proc/15936/task/15947/stat : 15947 (java) S 15933 15936 2453 0 -1 1077944384 2741 0 0 0 87 0 0 0 20 0 16 0 1820387 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838342904688 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15948] ppid=15933 vsize=10624000 CPUtime=0.91 cores=0,2,4,6
/proc/15936/task/15948/stat : 15948 (java) S 15933 15936 2453 0 -1 1077944384 2998 0 0 0 91 0 0 0 20 0 16 0 1820387 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838341851888 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15949] ppid=15933 vsize=10624000 CPUtime=0.54 cores=0,2,4,6
/proc/15936/task/15949/stat : 15949 (java) S 15933 15936 2453 0 -1 1077944384 3131 0 0 0 54 0 0 0 20 0 16 0 1820388 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838340799088 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15950] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15950/stat : 15950 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820388 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838339746528 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15951] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15951/stat : 15951 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820395 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838338693808 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15952] ppid=15933 vsize=10624000 CPUtime=1.11 cores=0,2,4,6
/proc/15936/task/15952/stat : 15952 (java) R 15933 15936 2453 0 -1 4202560 5546 0 0 0 108 3 0 0 20 0 16 0 1820412 10878976000 31418 18446744073709551615 4194304 4196468 140734998401712 139838335500608 139838855620154 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15936 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60082 s]
/proc/loadavg: 2.00 2.04 2.22 5/211 15952
/proc/meminfo: memFree=31400268/32770624 swapFree=0/300688
[pid=15936] ppid=15933 vsize=10624000 CPUtime=3.82 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 22029 0 0 0 374 8 0 0 20 0 16 0 1820374 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2656000 31427 3111 1 0 2644926 0
[pid=15936/tid=15938] ppid=15933 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15936/task/15938/stat : 15938 (java) S 15933 15936 2453 0 -1 1077944384 6183 0 0 0 19 2 0 0 20 0 16 0 1820382 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139839243902128 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15939] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15939/stat : 15939 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838850329744 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15940] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15940/stat : 15940 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838849276944 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15941] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15941/stat : 15941 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838848224144 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15942] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15942/stat : 15942 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838847171344 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15943] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15943/stat : 15943 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838347114864 139839239670402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15944] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15944/stat : 15944 (java) S 15933 15936 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838346060832 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15945] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15945/stat : 15945 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838345007984 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15946] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15946/stat : 15946 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820387 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838343956304 139839239677851 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15947] ppid=15933 vsize=10624000 CPUtime=0.88 cores=0,2,4,6
/proc/15936/task/15947/stat : 15947 (java) S 15933 15936 2453 0 -1 1077944384 2753 0 0 0 88 0 0 0 20 0 16 0 1820387 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838342904688 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15948] ppid=15933 vsize=10624000 CPUtime=0.92 cores=0,2,4,6
/proc/15936/task/15948/stat : 15948 (java) S 15933 15936 2453 0 -1 1077944384 3014 0 0 0 92 0 0 0 20 0 16 0 1820387 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838341851888 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15949] ppid=15933 vsize=10624000 CPUtime=0.54 cores=0,2,4,6
/proc/15936/task/15949/stat : 15949 (java) S 15933 15936 2453 0 -1 1077944384 3147 0 0 0 54 0 0 0 20 0 16 0 1820388 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838340799088 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15950] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15950/stat : 15950 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820388 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838339746528 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15951] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15951/stat : 15951 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820395 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838338693808 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15952] ppid=15933 vsize=10624000 CPUtime=1.21 cores=0,2,4,6
/proc/15936/task/15952/stat : 15952 (java) R 15933 15936 2453 0 -1 4202560 5546 0 0 0 118 3 0 0 20 0 16 0 1820412 10878976000 31427 18446744073709551615 4194304 4196468 140734998401712 139838335500608 139838856207321 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10624000
[startup+2.00063 s]
/proc/loadavg: 2.00 2.04 2.22 5/211 15952
/proc/meminfo: memFree=31400268/32770624 swapFree=0/300688
[pid=15936] ppid=15933 vsize=10624000 CPUtime=4.28 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 22111 0 0 0 420 8 0 0 20 0 16 0 1820374 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2656000 31969 3111 1 0 2644926 0
[pid=15936/tid=15938] ppid=15933 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15936/task/15938/stat : 15938 (java) S 15933 15936 2453 0 -1 1077944384 6183 0 0 0 19 2 0 0 20 0 16 0 1820382 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139839243902128 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15939] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15939/stat : 15939 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838850329744 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15940] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15940/stat : 15940 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838849276944 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15941] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15941/stat : 15941 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838848224144 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15942] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15942/stat : 15942 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838847171344 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15943] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15943/stat : 15943 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838347114864 139839239670402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15944] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15944/stat : 15944 (java) S 15933 15936 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838346060832 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15945] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15945/stat : 15945 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838345007984 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15946] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15946/stat : 15946 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838343956304 139839239677851 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15947] ppid=15933 vsize=10624000 CPUtime=0.9 cores=0,2,4,6
/proc/15936/task/15947/stat : 15947 (java) R 15933 15936 2453 0 -1 4202560 2763 0 0 0 90 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838342904688 139839221183506 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15948] ppid=15933 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/15936/task/15948/stat : 15948 (java) S 15933 15936 2453 0 -1 1077944384 3021 0 0 0 94 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838341851888 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15949] ppid=15933 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/15936/task/15949/stat : 15949 (java) S 15933 15936 2453 0 -1 1077944384 3209 0 0 0 56 1 0 0 20 0 16 0 1820388 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838340799088 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15950] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15950/stat : 15950 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820388 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838339746528 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15951] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15951/stat : 15951 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820395 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838338693808 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15952] ppid=15933 vsize=10624000 CPUtime=1.61 cores=0,2,4,6
/proc/15936/task/15952/stat : 15952 (java) R 15933 15936 2453 0 -1 4202560 5549 0 0 0 158 3 0 0 20 0 16 0 1820412 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838335501704 139838856444419 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10624000
[startup+2.1006 s]
/proc/loadavg: 2.00 2.04 2.22 5/211 15952
/proc/meminfo: memFree=31400268/32770624 swapFree=0/300688
[pid=15936] ppid=15933 vsize=10624000 CPUtime=4.38 cores=0,2,4,6
/proc/15936/stat : 15936 (java) S 15933 15936 2453 0 -1 1077944320 22115 0 0 0 430 8 0 0 20 0 16 0 1820374 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 140734998384256 139839239659255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
/proc/15936/statm: 2656000 31969 3111 1 0 2644926 0
[pid=15936/tid=15938] ppid=15933 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15936/task/15938/stat : 15938 (java) S 15933 15936 2453 0 -1 1077944384 6183 0 0 0 19 2 0 0 20 0 16 0 1820382 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139839243902128 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15939] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15939/stat : 15939 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838850329744 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15940] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15940/stat : 15940 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838849276944 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15941] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15941/stat : 15941 (java) S 15933 15936 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838848224144 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15942] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15942/stat : 15942 (java) S 15933 15936 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1820383 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838847171344 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15943] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15943/stat : 15943 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838347114864 139839239670402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15944] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15944/stat : 15944 (java) S 15933 15936 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838346060832 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15945] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15945/stat : 15945 (java) S 15933 15936 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1820385 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838345007984 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15946] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15946/stat : 15946 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838343956304 139839239677851 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15947] ppid=15933 vsize=10624000 CPUtime=0.9 cores=0,2,4,6
/proc/15936/task/15947/stat : 15947 (java) S 15933 15936 2453 0 -1 1077944384 2763 0 0 0 90 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838342904688 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15948] ppid=15933 vsize=10624000 CPUtime=0.94 cores=0,2,4,6
/proc/15936/task/15948/stat : 15948 (java) S 15933 15936 2453 0 -1 1077944384 3021 0 0 0 94 0 0 0 20 0 16 0 1820387 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838341851888 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15949] ppid=15933 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/15936/task/15949/stat : 15949 (java) S 15933 15936 2453 0 -1 1077944384 3212 0 0 0 56 1 0 0 20 0 16 0 1820388 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838340799088 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15950] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15950/stat : 15950 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820388 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838339746528 139839239669461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15951] ppid=15933 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15936/task/15951/stat : 15951 (java) S 15933 15936 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1820395 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838338693808 139839239670402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
[pid=15936/tid=15952] ppid=15933 vsize=10624000 CPUtime=1.71 cores=0,2,4,6
/proc/15936/task/15952/stat : 15952 (java) R 15933 15936 2453 0 -1 4202560 5550 0 0 0 168 3 0 0 20 0 16 0 1820412 10878976000 31969 18446744073709551615 4194304 4196468 140734998401712 139838335500920 139838856442380 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22093824 140734998405587 140734998405716 140734998405716 140734998409167 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.1393
CPU time (s): 4.43971
CPU user time (s): 4.34533
CPU system time (s): 0.094375
CPU usage (%): 207.531
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34533
system time used= 0.094375
maximum resident set size= 130268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22353
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= 2178
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012012 second user time and 0.017704 second system time
The end