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-4264139-1502269924/watcher-4264139-1502269924 -o /tmp/evaluation-result-4264139-1502269924/solver-4264139-1502269924 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502259017-17571 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264139-1502269924.xml
pid=19016
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.07 2.06 5/200 19019
/proc/meminfo: memFree=31275408/32770624 swapFree=0/400192
[pid=19019] ppid=19016 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19019/stat : 19019 (runsolver) D 19016 19019 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 68903429 24240128 108 18446744073709551615 4194304 4338465 140729023438400 140729023436040 139779226993367 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 19202048 140729023447199 140729023447625 140729023447625 140729023451082 0
/proc/19019/statm: 5918 108 54 36 0 2156 0
[startup+0.100141 s]
/proc/loadavg: 2.23 2.07 2.06 5/200 19019
/proc/meminfo: memFree=31275408/32770624 swapFree=0/400192
[pid=19019] ppid=19016 vsize=10018544 CPUtime=0.02 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 3598 0 0 0 2 0 0 0 20 0 7 0 68903429 10258989056 4763 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2504636 4763 2006 1 0 2494133 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10018544
[startup+0.200249 s]
/proc/loadavg: 2.23 2.07 2.06 5/200 19019
/proc/meminfo: memFree=31275408/32770624 swapFree=0/400192
[pid=19019] ppid=19016 vsize=10551180 CPUtime=0.08 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 4860 0 0 0 8 0 0 0 20 0 15 0 68903429 10804408320 6860 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2637795 6860 2680 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180
[startup+0.300268 s]
/proc/loadavg: 2.23 2.07 2.06 5/200 19019
/proc/meminfo: memFree=31275408/32770624 swapFree=0/400192
[pid=19019] ppid=19016 vsize=10553264 CPUtime=0.28 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 8503 0 0 0 25 3 0 0 20 0 15 0 68903429 10806542336 9823 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2638316 9823 2914 1 0 2627261 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10553264
[startup+0.708127 s]
/proc/loadavg: 2.23 2.07 2.06 5/200 19019
/proc/meminfo: memFree=31275408/32770624 swapFree=0/400192
[pid=19019] ppid=19016 vsize=10624000 CPUtime=1.16 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 13340 0 0 0 110 6 0 0 20 0 16 0 68903429 10878976000 22188 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2656000 22188 3089 1 0 2644926 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10624000
[startup+1.50066 s]
/proc/loadavg: 2.23 2.07 2.06 5/216 19035
/proc/meminfo: memFree=31098436/32770624 swapFree=0/400260
[pid=19019] ppid=19016 vsize=10624000 CPUtime=3.63 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 27110 0 0 0 355 8 0 0 20 0 16 0 68903429 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2656000 32378 3100 1 0 2644926 0
[pid=19019/tid=19021] ppid=19016 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/19019/task/19021/stat : 19021 (java) S 19016 19019 9153 0 -1 1077944384 5693 0 0 0 19 2 0 0 20 0 16 0 68903436 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139710010313904 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19022] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19022/stat : 19022 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709936491280 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19023] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19023/stat : 19023 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709935438736 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19024] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19024/stat : 19024 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709934386192 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19025] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19025/stat : 19025 (java) S 19016 19019 9153 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709933333648 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19026] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19026/stat : 19026 (java) S 19016 19019 9153 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 68903438 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709502138352 139710006082178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19027] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19027/stat : 19027 (java) S 19016 19019 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709501084576 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19028] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19028/stat : 19028 (java) S 19016 19019 9153 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709500031984 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19029] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19029/stat : 19029 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709498980560 139710006089627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19030] ppid=19016 vsize=10624000 CPUtime=0.92 cores=1,3,5,7
/proc/19019/task/19030/stat : 19030 (java) R 19016 19019 9153 0 -1 4202560 6630 0 0 0 92 0 0 0 20 0 16 0 68903441 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709497908984 139709989567819 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19031] ppid=19016 vsize=10624000 CPUtime=0.92 cores=1,3,5,7
/proc/19019/task/19031/stat : 19031 (java) R 19016 19019 9153 0 -1 4202560 5041 0 0 0 92 0 0 0 20 0 16 0 68903441 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709496861904 139709987590416 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19032] ppid=19016 vsize=10624000 CPUtime=0.38 cores=1,3,5,7
/proc/19019/task/19032/stat : 19032 (java) S 19016 19019 9153 0 -1 1077944384 2574 0 0 0 37 1 0 0 20 0 16 0 68903441 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709495823088 139710006082178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19033] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19033/stat : 19033 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709494770784 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19034] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19034/stat : 19034 (java) S 19016 19019 9153 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 16 0 68903446 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709493717296 139710006082178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19035] ppid=19016 vsize=10624000 CPUtime=1.15 cores=1,3,5,7
/proc/19019/task/19035/stat : 19035 (java) R 19016 19019 9153 0 -1 4202560 5799 0 0 0 113 2 0 0 20 0 16 0 68903462 10878976000 32378 18446744073709551615 4194304 4196468 140727596960880 139709490514848 139709602179568 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19019 sig 9
??? kill -19019 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 2.23 2.07 2.06 5/216 19035
/proc/meminfo: memFree=31098436/32770624 swapFree=0/400260
[pid=19019] ppid=19016 vsize=10624000 CPUtime=3.93 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 27974 0 0 0 385 8 0 0 20 0 16 0 68903429 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2656000 32912 3100 1 0 2644926 0
[pid=19019/tid=19021] ppid=19016 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/19019/task/19021/stat : 19021 (java) S 19016 19019 9153 0 -1 1077944384 5693 0 0 0 19 2 0 0 20 0 16 0 68903436 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139710010313904 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19022] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19022/stat : 19022 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709936491280 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19023] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19023/stat : 19023 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709935438736 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19024] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19024/stat : 19024 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709934386192 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19025] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19025/stat : 19025 (java) S 19016 19019 9153 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709933333648 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19026] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19026/stat : 19026 (java) S 19016 19019 9153 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 68903438 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709502138352 139710006082178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19027] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19027/stat : 19027 (java) S 19016 19019 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709501084576 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19028] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19028/stat : 19028 (java) S 19016 19019 9153 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709500031984 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19029] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19029/stat : 19029 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709498980560 139710006089627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19030] ppid=19016 vsize=10624000 CPUtime=1.02 cores=1,3,5,7
/proc/19019/task/19030/stat : 19030 (java) R 19016 19019 9153 0 -1 4202560 6691 0 0 0 102 0 0 0 20 0 16 0 68903441 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709497909280 139709989567819 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19031] ppid=19016 vsize=10624000 CPUtime=1.03 cores=1,3,5,7
/proc/19019/task/19031/stat : 19031 (java) R 19016 19019 9153 0 -1 4202560 5832 0 0 0 102 1 0 0 20 0 16 0 68903441 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709496868120 139709987615616 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19032] ppid=19016 vsize=10624000 CPUtime=0.39 cores=1,3,5,7
/proc/19019/task/19032/stat : 19032 (java) S 19016 19019 9153 0 -1 1077944384 2575 0 0 0 38 1 0 0 20 0 16 0 68903441 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709495823088 139710006082178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19033] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19033/stat : 19033 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709494770784 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19034] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19034/stat : 19034 (java) S 19016 19019 9153 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 16 0 68903446 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709493717296 139710006082178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19035] ppid=19016 vsize=10624000 CPUtime=1.25 cores=1,3,5,7
/proc/19019/task/19035/stat : 19035 (java) R 19016 19019 9153 0 -1 4202560 5812 0 0 0 123 2 0 0 20 0 16 0 68903462 10878976000 32912 18446744073709551615 4194304 4196468 140727596960880 139709490525432 139709602798998 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10624000
[startup+2.00066 s]
/proc/loadavg: 2.23 2.07 2.06 5/216 19035
/proc/meminfo: memFree=31098436/32770624 swapFree=0/400260
[pid=19019] ppid=19016 vsize=10624000 CPUtime=5.02 cores=1,3,5,7
/proc/19019/stat : 19019 (java) S 19016 19019 9153 0 -1 1077944320 28743 0 0 0 494 8 0 0 20 0 16 0 68903429 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 140727596943424 139710006071031 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
/proc/19019/statm: 2656000 35019 3103 1 0 2644926 0
[pid=19019/tid=19021] ppid=19016 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/19019/task/19021/stat : 19021 (java) S 19016 19019 9153 0 -1 1077944384 5693 0 0 0 19 2 0 0 20 0 16 0 68903436 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139710010313904 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19022] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19022/stat : 19022 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709936491280 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19023] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19023/stat : 19023 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709935438736 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19024] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19024/stat : 19024 (java) S 19016 19019 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709934386192 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19025] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19025/stat : 19025 (java) S 19016 19019 9153 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 68903437 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709933333648 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19026] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19026/stat : 19026 (java) S 19016 19019 9153 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 68903438 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709502138352 139710006082178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19027] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19027/stat : 19027 (java) S 19016 19019 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709501084576 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19028] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19028/stat : 19028 (java) S 19016 19019 9153 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 68903439 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709500031984 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19029] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19029/stat : 19029 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709498980560 139710006089627 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19030] ppid=19016 vsize=10624000 CPUtime=1.42 cores=1,3,5,7
/proc/19019/task/19030/stat : 19030 (java) R 19016 19019 9153 0 -1 4202560 6829 0 0 0 142 0 0 0 20 0 16 0 68903441 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709497909744 139709989481903 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19031] ppid=19016 vsize=10624000 CPUtime=1.31 cores=1,3,5,7
/proc/19019/task/19031/stat : 19031 (java) R 19016 19019 9153 0 -1 1077944384 6267 0 0 0 130 1 0 0 20 0 16 0 68903441 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709496875632 139710006082178 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19032] ppid=19016 vsize=10624000 CPUtime=0.4 cores=1,3,5,7
/proc/19019/task/19032/stat : 19032 (java) R 19016 19019 9153 0 -1 4202560 2625 0 0 0 39 1 0 0 20 0 16 0 68903441 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709495823088 139709991754066 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19033] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19033/stat : 19033 (java) S 19016 19019 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 68903441 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709494770784 139710006081237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19034] ppid=19016 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19019/task/19034/stat : 19034 (java) S 19016 19019 9153 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 16 0 68903446 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709493717296 139710006082178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
[pid=19019/tid=19035] ppid=19016 vsize=10624000 CPUtime=1.65 cores=1,3,5,7
/proc/19019/task/19035/stat : 19035 (java) R 19016 19019 9153 0 -1 1077944384 5971 0 0 0 162 3 0 0 20 0 16 0 68903462 10878976000 35019 18446744073709551615 4194304 4196468 140727596960880 139709490523856 139710006081237 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26816512 140727596962253 140727596962382 140727596962382 140727596965839 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 10624000
[startup+2.20283 s]
/proc/loadavg: 2.23 2.07 2.06 3/200 19037
/proc/meminfo: memFree=31176048/32770624 swapFree=0/400260
[pid=19019] ppid=19016 vsize=0 CPUtime=5.42 cores=1,3,5,7
/proc/19019/stat : 19019 (java) Z 19016 19019 9153 0 -1 4227084 29900 0 0 0 534 8 0 0 20 0 1 0 68903429 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/19019/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2.20898
CPU time (s): 5.43155
CPU user time (s): 5.34157
CPU system time (s): 0.089986
CPU usage (%): 245.885
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.34157
system time used= 0.089986
maximum resident set size= 146636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1875
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011571 second user time and 0.018934 second system time
The end