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-4248658-1502119063/watcher-4248658-1502119063 -o /tmp/evaluation-result-4248658-1502119063/solver-4248658-1502119063 -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 1380120852 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248658-1502119063.xml
pid=24562
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.30 1.34 1.35 3/200 24565
/proc/meminfo: memFree=29536736/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24565/stat : 24565 (runsolver) D 24562 24565 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 59721577 24240128 106 18446744073709551615 4194304 4338465 140727212615392 140727212613032 140379093144279 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29626368 140727212621925 140727212622409 140727212622409 140727212625866 0
/proc/24565/statm: 5918 106 53 36 0 2156 0
[startup+0.106222 s]
/proc/loadavg: 1.30 1.34 1.35 3/200 24565
/proc/meminfo: memFree=29536736/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12512256 CPUtime=0.02 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 4013 0 0 0 2 0 0 0 20 0 9 0 59721577 12812550144 4656 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3128064 4656 2109 1 0 3117561 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12512256
[startup+0.200289 s]
/proc/loadavg: 1.30 1.34 1.35 3/200 24565
/proc/meminfo: memFree=29536736/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12914512 CPUtime=0.09 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 6772 0 0 0 8 1 0 0 20 0 15 0 59721577 13224460288 6944 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3228628 6944 3354 1 0 3217407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12914512
[startup+0.300407 s]
/proc/loadavg: 1.30 1.34 1.35 3/200 24565
/proc/meminfo: memFree=29536736/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12915536 CPUtime=0.25 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 10485 0 0 0 22 3 0 0 20 0 15 0 59721577 13225508864 9436 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3228628 9436 3534 1 0 3217407 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 12915536
[startup+0.700262 s]
/proc/loadavg: 1.30 1.34 1.35 3/200 24565
/proc/meminfo: memFree=29536736/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12916580 CPUtime=1.03 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 14071 0 0 0 98 5 0 0 20 0 15 0 59721577 13226577920 16789 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3229145 16789 3728 1 0 3217919 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 12916580
[startup+1.50062 s]
/proc/loadavg: 1.30 1.34 1.35 3/215 24580
/proc/meminfo: memFree=29396040/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12916580 CPUtime=2.27 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 17991 0 0 0 208 19 0 0 20 0 15 0 59721577 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3229145 65241 3774 1 0 3217919 0
[pid=24565/tid=24567] ppid=24562 vsize=12916580 CPUtime=1.29 cores=1,3,5,7
/proc/24565/task/24567/stat : 24567 (java) R 24562 24565 25100 0 -1 4202560 11362 0 0 0 124 5 0 0 20 0 15 0 59721584 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292872955232 140292509255584 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24568] ppid=24562 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24565/task/24568/stat : 24568 (java) S 24562 24565 25100 0 -1 1077944384 312 0 0 0 4 3 0 0 20 0 15 0 59721585 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292472109584 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24569] ppid=24562 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24565/task/24569/stat : 24569 (java) S 24562 24565 25100 0 -1 1077944384 122 0 0 0 4 3 0 0 20 0 15 0 59721585 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292471057040 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24570] ppid=24562 vsize=12916580 CPUtime=0.06 cores=1,3,5,7
/proc/24565/task/24570/stat : 24570 (java) S 24562 24565 25100 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 15 0 59721585 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292470003984 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24571] ppid=24562 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/24565/task/24571/stat : 24571 (java) S 24562 24565 25100 0 -1 1077944384 123 0 0 0 4 3 0 0 20 0 15 0 59721585 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292468951440 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24572] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24572/stat : 24572 (java) S 24562 24565 25100 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 59721586 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292092816112 140292868729474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24573] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24573/stat : 24573 (java) S 24562 24565 25100 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 59721587 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292091762400 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24574] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24574/stat : 24574 (java) S 24562 24565 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 59721587 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292090709248 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24575] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24575/stat : 24575 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721589 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292089657808 140292868736923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24576] ppid=24562 vsize=12916580 CPUtime=0.18 cores=1,3,5,7
/proc/24565/task/24576/stat : 24576 (java) S 24562 24565 25100 0 -1 1077944384 919 0 0 0 18 0 0 0 20 0 15 0 59721589 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292088604912 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24577] ppid=24562 vsize=12916580 CPUtime=0.18 cores=1,3,5,7
/proc/24565/task/24577/stat : 24577 (java) S 24562 24565 25100 0 -1 1077944384 1372 0 0 0 18 0 0 0 20 0 15 0 59721589 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292019710320 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24578] ppid=24562 vsize=12916580 CPUtime=0.29 cores=1,3,5,7
/proc/24565/task/24578/stat : 24578 (java) S 24562 24565 25100 0 -1 1077944384 1997 0 0 0 29 0 0 0 20 0 15 0 59721589 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292018657264 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24579] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24579/stat : 24579 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721590 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292017604960 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24580] ppid=24562 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24580/stat : 24580 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721595 13226577920 65241 18446744073709551615 4194304 4196468 140726184897552 140292016553008 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 12916580
[startup+3.10126 s]
/proc/loadavg: 1.30 1.34 1.35 4/215 24580
/proc/meminfo: memFree=29022256/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12918628 CPUtime=5.51 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 23829 0 0 0 482 69 0 0 20 0 15 0 59721577 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3229657 233545 3780 1 0 3218431 0
[pid=24565/tid=24567] ppid=24562 vsize=12918628 CPUtime=2.48 cores=1,3,5,7
/proc/24565/task/24567/stat : 24567 (java) S 24562 24565 25100 0 -1 1077944384 13133 0 0 0 237 11 0 0 20 0 15 0 59721584 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292872953632 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24568] ppid=24562 vsize=12918628 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24568/stat : 24568 (java) R 24562 24565 25100 0 -1 4202560 1043 0 0 0 33 13 0 0 20 0 15 0 59721585 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292472109584 140292853670864 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24569] ppid=24562 vsize=12918628 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24569/stat : 24569 (java) R 24562 24565 25100 0 -1 4202560 347 0 0 0 32 14 0 0 20 0 15 0 59721585 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292471057240 140292853415885 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24570] ppid=24562 vsize=12918628 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24570/stat : 24570 (java) R 24562 24565 25100 0 -1 4202560 471 0 0 0 33 13 0 0 20 0 15 0 59721585 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292470003984 140292853416079 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24571] ppid=24562 vsize=12918628 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24571/stat : 24571 (java) R 24562 24565 25100 0 -1 4202560 362 0 0 0 33 13 0 0 20 0 15 0 59721585 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292468951640 140292853669413 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24572] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24572/stat : 24572 (java) S 24562 24565 25100 0 -1 1077944384 802 0 0 0 0 0 0 0 20 0 15 0 59721586 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292092814432 140292868728533 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24573] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24573/stat : 24573 (java) S 24562 24565 25100 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 59721587 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292091762400 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24574] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24574/stat : 24574 (java) S 24562 24565 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 59721587 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292090709248 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24575] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24575/stat : 24575 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721589 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292089657808 140292868736923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24576] ppid=24562 vsize=12918628 CPUtime=0.34 cores=1,3,5,7
/proc/24565/task/24576/stat : 24576 (java) S 24562 24565 25100 0 -1 1077944384 1556 0 0 0 34 0 0 0 20 0 15 0 59721589 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292088604912 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24577] ppid=24562 vsize=12918628 CPUtime=0.36 cores=1,3,5,7
/proc/24565/task/24577/stat : 24577 (java) S 24562 24565 25100 0 -1 1077944384 2124 0 0 0 36 0 0 0 20 0 15 0 59721589 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292019710320 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24578] ppid=24562 vsize=12918628 CPUtime=0.38 cores=1,3,5,7
/proc/24565/task/24578/stat : 24578 (java) S 24562 24565 25100 0 -1 1077944384 2568 0 0 0 38 0 0 0 20 0 15 0 59721589 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292018657264 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24579] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24579/stat : 24579 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721590 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292017604960 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24580] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24580/stat : 24580 (java) S 24562 24565 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 59721595 13228675072 233545 18446744073709551615 4194304 4196468 140726184897552 140292016553008 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 12918628
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24565 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20126 s]
/proc/loadavg: 1.30 1.34 1.35 4/215 24580
/proc/meminfo: memFree=29022256/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12918628 CPUtime=5.88 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 25040 0 0 0 519 69 0 0 20 0 15 0 59721577 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3229657 237723 3789 1 0 3218431 0
[pid=24565/tid=24567] ppid=24562 vsize=12918628 CPUtime=2.48 cores=1,3,5,7
/proc/24565/task/24567/stat : 24567 (java) S 24562 24565 25100 0 -1 1077944384 13133 0 0 0 237 11 0 0 20 0 15 0 59721584 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292872953632 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24568] ppid=24562 vsize=12918628 CPUtime=0.55 cores=1,3,5,7
/proc/24565/task/24568/stat : 24568 (java) R 24562 24565 25100 0 -1 4202560 1055 0 0 0 42 13 0 0 20 0 15 0 59721585 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292472109584 140292853418192 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24569] ppid=24562 vsize=12918628 CPUtime=0.55 cores=1,3,5,7
/proc/24565/task/24569/stat : 24569 (java) R 24562 24565 25100 0 -1 4202560 417 0 0 0 41 14 0 0 20 0 15 0 59721585 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292471057160 140292853419023 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24570] ppid=24562 vsize=12918628 CPUtime=0.55 cores=1,3,5,7
/proc/24565/task/24570/stat : 24570 (java) R 24562 24565 25100 0 -1 4202560 514 0 0 0 42 13 0 0 20 0 15 0 59721585 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292470003984 140292853419061 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24571] ppid=24562 vsize=12918628 CPUtime=0.55 cores=1,3,5,7
/proc/24565/task/24571/stat : 24571 (java) R 24562 24565 25100 0 -1 4202560 389 0 0 0 42 13 0 0 20 0 15 0 59721585 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292468951560 140292853175947 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24572] ppid=24562 vsize=12918628 CPUtime=0.01 cores=1,3,5,7
/proc/24565/task/24572/stat : 24572 (java) S 24562 24565 25100 0 -1 1077944384 1861 0 0 0 1 0 0 0 20 0 15 0 59721586 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292092814656 140292868728533 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24573] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24573/stat : 24573 (java) S 24562 24565 25100 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 59721587 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292091762400 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24574] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24574/stat : 24574 (java) S 24562 24565 25100 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 59721587 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292090709248 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24575] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24575/stat : 24575 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721589 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292089657808 140292868736923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24576] ppid=24562 vsize=12918628 CPUtime=0.34 cores=1,3,5,7
/proc/24565/task/24576/stat : 24576 (java) S 24562 24565 25100 0 -1 1077944384 1556 0 0 0 34 0 0 0 20 0 15 0 59721589 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292088604912 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24577] ppid=24562 vsize=12918628 CPUtime=0.36 cores=1,3,5,7
/proc/24565/task/24577/stat : 24577 (java) S 24562 24565 25100 0 -1 1077944384 2124 0 0 0 36 0 0 0 20 0 15 0 59721589 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292019710320 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24578] ppid=24562 vsize=12918628 CPUtime=0.38 cores=1,3,5,7
/proc/24565/task/24578/stat : 24578 (java) S 24562 24565 25100 0 -1 1077944384 2568 0 0 0 38 0 0 0 20 0 15 0 59721589 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292018657264 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24579] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24579/stat : 24579 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59721590 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292017604960 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24580] ppid=24562 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24580/stat : 24580 (java) S 24562 24565 25100 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 59721595 13228675072 237723 18446744073709551615 4194304 4196468 140726184897552 140292016553008 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 12918628
[startup+4.00066 s]
/proc/loadavg: 1.30 1.34 1.35 6/215 24580
/proc/meminfo: memFree=28598856/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12985192 CPUtime=7.32 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 27807 0 0 0 661 71 0 0 20 0 13 0 59721577 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3246298 239556 3809 1 0 3235072 0
[pid=24565/tid=24567] ppid=24562 vsize=12985192 CPUtime=2.86 cores=1,3,5,7
/proc/24565/task/24567/stat : 24567 (java) D 24562 24565 25100 0 -1 4202560 15024 0 0 0 274 12 0 0 20 0 13 0 59721584 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292872961336 140292861403959 0 0 1 16800974 18446744072101043333 0 0 -1 3 0 0 4 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24568] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24568/stat : 24568 (java) S 24562 24565 25100 0 -1 1077944384 1064 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292472109584 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24569] ppid=24562 vsize=12985192 CPUtime=0.66 cores=1,3,5,7
/proc/24565/task/24569/stat : 24569 (java) S 24562 24565 25100 0 -1 1077944384 428 0 0 0 52 14 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292471057040 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24570] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24570/stat : 24570 (java) S 24562 24565 25100 0 -1 1077944384 522 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292470003984 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24571] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24571/stat : 24571 (java) S 24562 24565 25100 0 -1 1077944384 398 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292468951440 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24573] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24573/stat : 24573 (java) S 24562 24565 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 13 0 59721587 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292091762400 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24574] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24574/stat : 24574 (java) S 24562 24565 25100 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 13 0 59721587 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292090709248 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24575] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24575/stat : 24575 (java) S 24562 24565 25100 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292089657456 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24576] ppid=24562 vsize=12985192 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24576/stat : 24576 (java) S 24562 24565 25100 0 -1 1077944384 1735 0 0 0 46 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292088589424 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24577] ppid=24562 vsize=12985192 CPUtime=0.48 cores=1,3,5,7
/proc/24565/task/24577/stat : 24577 (java) S 24562 24565 25100 0 -1 1077944384 2285 0 0 0 48 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292019690720 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24578] ppid=24562 vsize=12985192 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24578/stat : 24578 (java) S 24562 24565 25100 0 -1 1077944384 2714 0 0 0 46 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292018657264 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24579] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24579/stat : 24579 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 59721590 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292017604960 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 12985192
[startup+4.20053 s]
/proc/loadavg: 1.30 1.34 1.35 6/215 24580
/proc/meminfo: memFree=28598856/32770624 swapFree=0/350484
[pid=24565] ppid=24562 vsize=12985192 CPUtime=7.32 cores=1,3,5,7
/proc/24565/stat : 24565 (java) S 24562 24565 25100 0 -1 1077944320 27807 0 0 0 661 71 0 0 20 0 13 0 59721577 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140726184880096 140292868718327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
/proc/24565/statm: 3246298 239556 3809 1 0 3235072 0
[pid=24565/tid=24567] ppid=24562 vsize=12985192 CPUtime=2.86 cores=1,3,5,7
/proc/24565/task/24567/stat : 24567 (java) D 24562 24565 25100 0 -1 4202560 15024 0 0 0 274 12 0 0 20 0 13 0 59721584 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292872961336 140292861403959 0 0 1 16800974 18446744072101043333 0 0 -1 3 0 0 4 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24568] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24568/stat : 24568 (java) S 24562 24565 25100 0 -1 1077944384 1064 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292472109584 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24569] ppid=24562 vsize=12985192 CPUtime=0.66 cores=1,3,5,7
/proc/24565/task/24569/stat : 24569 (java) S 24562 24565 25100 0 -1 1077944384 428 0 0 0 52 14 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292471057040 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24570] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24570/stat : 24570 (java) S 24562 24565 25100 0 -1 1077944384 522 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292470003984 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24571] ppid=24562 vsize=12985192 CPUtime=0.67 cores=1,3,5,7
/proc/24565/task/24571/stat : 24571 (java) S 24562 24565 25100 0 -1 1077944384 398 0 0 0 54 13 0 0 20 0 13 0 59721585 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292468951440 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24573] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24573/stat : 24573 (java) S 24562 24565 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 13 0 59721587 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292091762400 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24574] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24574/stat : 24574 (java) S 24562 24565 25100 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 13 0 59721587 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292090709248 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24575] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24575/stat : 24575 (java) S 24562 24565 25100 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292089657456 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24576] ppid=24562 vsize=12985192 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24576/stat : 24576 (java) S 24562 24565 25100 0 -1 1077944384 1735 0 0 0 46 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292088589424 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24577] ppid=24562 vsize=12985192 CPUtime=0.48 cores=1,3,5,7
/proc/24565/task/24577/stat : 24577 (java) S 24562 24565 25100 0 -1 1077944384 2285 0 0 0 48 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292019690720 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24578] ppid=24562 vsize=12985192 CPUtime=0.46 cores=1,3,5,7
/proc/24565/task/24578/stat : 24578 (java) S 24562 24565 25100 0 -1 1077944384 2714 0 0 0 46 0 0 0 20 0 13 0 59721589 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292018657264 140292868729474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
[pid=24565/tid=24579] ppid=24562 vsize=12985192 CPUtime=0 cores=1,3,5,7
/proc/24565/task/24579/stat : 24579 (java) S 24562 24565 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 59721590 13296836608 239556 18446744073709551615 4194304 4196468 140726184897552 140292017604960 140292868728533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7200768 140726184898963 140726184899150 140726184899150 140726184902607 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 12985192
Child status: 0
Real time (s): 4.26335
CPU time (s): 7.33302
CPU user time (s): 6.61138
CPU system time (s): 0.721644
CPU usage (%): 172.001
Max. virtual memory (cumulated for all children) (KiB): 12985192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.61138
system time used= 0.721644
maximum resident set size= 959116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2676
involuntary context switches= 40
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018161 second user time and 0.028539 second system time
The end