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-4248623-1502119110/watcher-4248623-1502119110 -o /tmp/evaluation-result-4248623-1502119110/solver-4248623-1502119110 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 19713900 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248623-1502119110.xml
pid=24792
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.84 1.48 1.40 3/200 24795
/proc/meminfo: memFree=29534408/32770624 swapFree=0/350528
[pid=24795] ppid=24792 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24795/stat : 24795 (runsolver) D 24792 24795 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 59726309 24240128 106 18446744073709551615 4194304 4338465 140735832762368 140735832760008 139801568285399 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36847616 140735832768615 140735832769097 140735832769097 140735832772554 0
/proc/24795/statm: 5918 106 53 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.84 1.48 1.40 3/200 24795
/proc/meminfo: memFree=29534408/32770624 swapFree=0/350528
[pid=24795] ppid=24792 vsize=12297144 CPUtime=0 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 3352 0 0 0 0 0 0 0 20 0 6 0 59726309 12592275456 3532 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3074286 3532 1899 1 0 3063783 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12297144
[startup+0.200279 s]
/proc/loadavg: 1.84 1.48 1.40 3/200 24795
/proc/meminfo: memFree=29534408/32770624 swapFree=0/350528
[pid=24795] ppid=24792 vsize=12914512 CPUtime=0.07 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 6448 0 0 0 5 2 0 0 20 0 15 0 59726309 13224460288 6665 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3228628 6665 3327 1 0 3217407 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12914512
[startup+0.300787 s]
/proc/loadavg: 1.84 1.48 1.40 3/200 24795
/proc/meminfo: memFree=29534408/32770624 swapFree=0/350528
[pid=24795] ppid=24792 vsize=12914512 CPUtime=0.23 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 10094 0 0 0 20 3 0 0 20 0 15 0 59726309 13224460288 9393 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3228628 9393 3557 1 0 3217407 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 12914512
[startup+0.702295 s]
/proc/loadavg: 1.84 1.48 1.40 3/200 24795
/proc/meminfo: memFree=29534408/32770624 swapFree=0/350528
[pid=24795] ppid=24792 vsize=12916580 CPUtime=1.04 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 13936 0 0 0 99 5 0 0 20 0 15 0 59726309 13226577920 16213 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 16213 3728 1 0 3217919 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 12916580
[startup+1.50059 s]
/proc/loadavg: 1.84 1.48 1.40 4/215 24810
/proc/meminfo: memFree=29399972/32770624 swapFree=0/350560
[pid=24795] ppid=24792 vsize=12916580 CPUtime=2.31 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 19387 0 0 0 216 15 0 0 20 0 15 0 59726309 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 64930 3781 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=1.28 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) R 24792 24795 25100 0 -1 4202560 11023 0 0 0 123 5 0 0 20 0 15 0 59726318 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498560963848 140498198122816 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) S 24792 24795 25100 0 -1 1077944384 474 0 0 0 5 2 0 0 20 0 15 0 59726319 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498160778000 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) S 24792 24795 25100 0 -1 1077944384 168 0 0 0 5 2 0 0 20 0 15 0 59726319 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498159725456 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) S 24792 24795 25100 0 -1 1077944384 332 0 0 0 5 2 0 0 20 0 15 0 59726319 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498158672912 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) S 24792 24795 25100 0 -1 1077944384 283 0 0 0 5 2 0 0 20 0 15 0 59726319 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498157620368 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498040764400 140498556738178 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498037606608 140498556745627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.18 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 889 0 0 0 18 0 0 0 20 0 15 0 59726323 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498036554224 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.26 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 2200 0 0 0 26 0 0 0 20 0 15 0 59726323 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498035501680 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.26 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 2129 0 0 0 26 0 0 0 20 0 15 0 59726323 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 59726328 13226577920 64930 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 12916580
[startup+3.10067 s]
/proc/loadavg: 1.93 1.50 1.41 3/215 24810
/proc/meminfo: memFree=29285716/32770624 swapFree=0/350560
[pid=24795] ppid=24792 vsize=12916580 CPUtime=3.81 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 20017 0 0 0 352 29 0 0 20 0 15 0 59726309 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 105432 3781 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=2.33 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) R 24792 24795 25100 0 -1 4202560 11280 0 0 0 227 6 0 0 20 0 15 0 59726318 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498560962464 140498198387371 0 4 1 16800974 0 0 0 -1 3 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=0.17 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) S 24792 24795 25100 0 -1 1077944384 543 0 0 0 12 5 0 0 20 0 15 0 59726319 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498160778000 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=0.17 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) S 24792 24795 25100 0 -1 1077944384 244 0 0 0 12 5 0 0 20 0 15 0 59726319 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498159725456 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=0.17 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) S 24792 24795 25100 0 -1 1077944384 432 0 0 0 12 5 0 0 20 0 15 0 59726319 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498158672912 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=0.17 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) S 24792 24795 25100 0 -1 1077944384 356 0 0 0 12 5 0 0 20 0 15 0 59726319 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498157620368 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498040764400 140498556738178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498037606608 140498556745627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.18 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 889 0 0 0 18 0 0 0 20 0 15 0 59726323 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498036554224 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.26 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 2200 0 0 0 26 0 0 0 20 0 15 0 59726323 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498035501680 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.27 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 2181 0 0 0 27 0 0 0 20 0 15 0 59726323 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 59726328 13226577920 105432 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 12916580
[startup+6.3008 s]
/proc/loadavg: 1.93 1.50 1.41 3/215 24810
/proc/meminfo: memFree=28822580/32770624 swapFree=0/350568
[pid=24795] ppid=24792 vsize=12916580 CPUtime=9.68 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 25661 0 0 0 886 82 0 0 20 0 15 0 59726309 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 236310 3797 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=3.54 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 11323 0 0 0 347 7 0 0 20 0 15 0 59726318 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498560964384 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=1.05 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 1396 0 0 0 88 17 0 0 20 0 15 0 59726319 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498160778000 140498536753376 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=1.06 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 1222 0 0 0 88 18 0 0 20 0 15 0 59726319 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498159725656 140498541712289 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=1.06 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 1735 0 0 0 88 18 0 0 20 0 15 0 59726319 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498158672912 140498549355239 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=1.06 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 1317 0 0 0 88 18 0 0 20 0 15 0 59726319 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498157620568 140498541424823 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=1.1 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 1865 0 0 0 110 0 0 0 20 0 15 0 59726320 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498037606608 140498556745627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.18 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 889 0 0 0 18 0 0 0 20 0 15 0 59726323 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498036554224 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.26 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 2200 0 0 0 26 0 0 0 20 0 15 0 59726323 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498035501680 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.28 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 2212 0 0 0 28 0 0 0 20 0 15 0 59726323 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 59726328 13226577920 236310 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 12916580
[startup+12.7007 s]
/proc/loadavg: 2.02 1.54 1.42 6/215 24810
/proc/meminfo: memFree=27631344/32770624 swapFree=0/350560
[pid=24795] ppid=24792 vsize=12916580 CPUtime=21.62 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 30152 0 0 0 1952 210 0 0 20 0 15 0 59726309 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 520752 3797 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=7.46 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 11422 0 0 0 738 8 0 0 20 0 15 0 59726318 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498560964384 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=2.9 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 2353 0 0 0 242 48 0 0 20 0 15 0 59726319 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498160777888 140498541677636 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=2.88 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 2085 0 0 0 239 49 0 0 20 0 15 0 59726319 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498159725352 140498549355239 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=2.88 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 2433 0 0 0 238 50 0 0 20 0 15 0 59726319 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498158672496 140498549355239 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=2.9 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 2059 0 0 0 241 49 0 0 20 0 15 0 59726319 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498157620264 140498549355239 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=1.71 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 2711 0 0 0 171 0 0 0 20 0 15 0 59726320 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 520752 18446744073709551615 4194304 4196468 140726691056256 140498037606608 140498556745627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+669.001 s]
/proc/loadavg: 4.72 4.21 2.92 6/219 24938
/proc/meminfo: memFree=19505404/32770624 swapFree=0/350752
[pid=24795] ppid=24792 vsize=12916580 CPUtime=2400.13 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 584210 0 0 0 238947 1066 0 0 20 0 15 0 59726309 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 2489432 3804 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=38.33 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 16287 0 0 0 3824 9 0 0 20 0 15 0 59726318 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498560964288 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=578.78 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 87874 0 0 0 57622 256 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498160778000 140498541424806 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=577.09 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 118748 0 0 0 57447 262 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498159725456 140498541677667 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=576.9 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 131473 0 0 0 57433 257 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498158673112 140498541677636 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=577.31 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 100271 0 0 0 57462 269 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498157620568 140498541424806 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=49.82 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 114066 0 0 0 4976 6 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498037606608 140498556745627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.31 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 2813 0 0 0 31 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498036554224 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.46 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 5231 0 0 0 46 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498035501680 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.41 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 5461 0 0 0 40 1 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0.62 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 527 0 0 0 34 28 0 0 20 0 15 0 59726328 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 2400.13
Current children cumulated vsize (KiB) 12916580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24795
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24795 sig 9
??? kill -24795 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+670.401 s]
/proc/loadavg: 4.72 4.21 2.92 7/219 24938
/proc/meminfo: memFree=19505404/32770624 swapFree=0/350752
[pid=24795] ppid=24792 vsize=12916580 CPUtime=2405.71 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 584215 0 0 0 239505 1066 0 0 20 0 15 0 59726309 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 2489432 3804 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=38.33 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 16287 0 0 0 3824 9 0 0 20 0 15 0 59726318 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498560964288 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=580.18 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 87874 0 0 0 57762 256 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498160777888 140498541424806 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=578.49 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 118748 0 0 0 57587 262 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498159725656 140498541677636 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=578.28 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 131473 0 0 0 57571 257 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498158673112 140498541712272 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=578.71 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 100271 0 0 0 57602 269 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498157620568 140498541712327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=49.82 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 114066 0 0 0 4976 6 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498037606256 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.31 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 2813 0 0 0 31 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498036553984 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.46 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 5231 0 0 0 46 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498035501728 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.41 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 5461 0 0 0 40 1 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0.63 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 527 0 0 0 35 28 0 0 20 0 15 0 59726328 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 2405.71
Current children cumulated vsize (KiB) 12916580
[startup+670.801 s]
/proc/loadavg: 4.72 4.21 2.92 7/219 24938
/proc/meminfo: memFree=19505404/32770624 swapFree=0/350752
[pid=24795] ppid=24792 vsize=12916580 CPUtime=2407.31 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 584215 0 0 0 239665 1066 0 0 20 0 15 0 59726309 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 2489432 3804 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=38.33 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 16287 0 0 0 3824 9 0 0 20 0 15 0 59726318 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498560964288 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=580.58 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 87874 0 0 0 57802 256 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498160777888 140498541678492 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=578.89 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 118748 0 0 0 57627 262 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498159725656 140498541424641 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=578.68 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 131473 0 0 0 57611 257 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498158673112 140498541424783 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=579.11 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 100271 0 0 0 57642 269 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498157620568 140498541678218 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=49.82 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 114066 0 0 0 4976 6 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498037606256 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.31 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 2813 0 0 0 31 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498036553984 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.46 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 5231 0 0 0 46 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498035501728 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.41 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 5461 0 0 0 40 1 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0.63 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 527 0 0 0 35 28 0 0 20 0 15 0 59726328 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 2407.31
Current children cumulated vsize (KiB) 12916580
[startup+671.001 s]
/proc/loadavg: 4.72 4.21 2.92 6/219 24938
/proc/meminfo: memFree=19505404/32770624 swapFree=0/350752
[pid=24795] ppid=24792 vsize=12916580 CPUtime=2408.13 cores=1,3,5,7
/proc/24795/stat : 24795 (java) S 24792 24795 25100 0 -1 1077944320 584221 0 0 0 239747 1066 0 0 20 0 15 0 59726309 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140726691038800 140498556727031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
/proc/24795/statm: 3229145 2489432 3804 1 0 3217919 0
[pid=24795/tid=24797] ppid=24792 vsize=12916580 CPUtime=38.33 cores=1,3,5,7
/proc/24795/task/24797/stat : 24797 (java) S 24792 24795 25100 0 -1 1077944384 16287 0 0 0 3824 9 0 0 20 0 15 0 59726318 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498560964288 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24798] ppid=24792 vsize=12916580 CPUtime=580.79 cores=1,3,5,7
/proc/24795/task/24798/stat : 24798 (java) R 24792 24795 25100 0 -1 4202560 87874 0 0 0 57823 256 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498160777888 140498541680583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24799] ppid=24792 vsize=12916580 CPUtime=579.09 cores=1,3,5,7
/proc/24795/task/24799/stat : 24799 (java) R 24792 24795 25100 0 -1 4202560 118748 0 0 0 57647 262 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498159725656 140498541424783 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24800] ppid=24792 vsize=12916580 CPUtime=578.88 cores=1,3,5,7
/proc/24795/task/24800/stat : 24800 (java) R 24792 24795 25100 0 -1 4202560 131473 0 0 0 57631 257 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498158673112 140498541424806 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24801] ppid=24792 vsize=12916580 CPUtime=579.32 cores=1,3,5,7
/proc/24795/task/24801/stat : 24801 (java) R 24792 24795 25100 0 -1 4202560 100277 0 0 0 57663 269 0 0 20 0 15 0 59726319 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498157620568 140498541677636 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24802] ppid=24792 vsize=12916580 CPUtime=49.82 cores=1,3,5,7
/proc/24795/task/24802/stat : 24802 (java) S 24792 24795 25100 0 -1 1077944384 114066 0 0 0 4976 6 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498040762720 140498556737237 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24803] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24803/stat : 24803 (java) S 24792 24795 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 59726320 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498039710688 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24804] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24804/stat : 24804 (java) S 24792 24795 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 59726321 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498038658048 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24805] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24805/stat : 24805 (java) S 24792 24795 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498037606256 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24806] ppid=24792 vsize=12916580 CPUtime=0.31 cores=1,3,5,7
/proc/24795/task/24806/stat : 24806 (java) S 24792 24795 25100 0 -1 1077944384 2813 0 0 0 31 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498036553984 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24807] ppid=24792 vsize=12916580 CPUtime=0.46 cores=1,3,5,7
/proc/24795/task/24807/stat : 24807 (java) S 24792 24795 25100 0 -1 1077944384 5231 0 0 0 46 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498035501728 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24808] ppid=24792 vsize=12916580 CPUtime=0.41 cores=1,3,5,7
/proc/24795/task/24808/stat : 24808 (java) S 24792 24795 25100 0 -1 1077944384 5461 0 0 0 40 1 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498034449136 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24809] ppid=24792 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24795/task/24809/stat : 24809 (java) S 24792 24795 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59726323 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498033396832 140498556737237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
[pid=24795/tid=24810] ppid=24792 vsize=12916580 CPUtime=0.63 cores=1,3,5,7
/proc/24795/task/24810/stat : 24810 (java) S 24792 24795 25100 0 -1 1077944384 527 0 0 0 35 28 0 0 20 0 15 0 59726328 13226577920 2489432 18446744073709551615 4194304 4196468 140726691056256 140498032343344 140498556738178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 19992576 140726691062165 140726691062350 140726691062350 140726691065807 0
Current children cumulated CPU time (s) 2408.13
Current children cumulated vsize (KiB) 12916580
Child ended because it received signal 9 (SIGKILL)
Real time (s): 671.06
CPU time (s): 2408.22
CPU user time (s): 2397.51
CPU system time (s): 10.7065
CPU usage (%): 358.868
Max. virtual memory (cumulated for all children) (KiB): 12916580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.51
system time used= 10.7065
maximum resident set size= 9957936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23673
involuntary context switches= 21604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95705 second user time and 4.63542 second system time
The end