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-4261835-1502472038/watcher-4261835-1502472038 -o /tmp/evaluation-result-4261835-1502472038/solver-4261835-1502472038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4261835-1502472038.xml
pid=22609
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: 1.30 1.50 1.66 4/197 22612
/proc/meminfo: memFree=29903020/32770624 swapFree=0/439780
[pid=22612] ppid=22609 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22612/stat : 22612 (runsolver) D 22609 22612 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 95018974 24240128 108 18446744073709551615 4194304 4338465 140727265369856 140727265367496 140244893975255 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 31981568 140727265378513 140727265378889 140727265378889 140727265382346 0
/proc/22612/statm: 5918 108 54 36 0 2156 0
[startup+0.100093 s]
/proc/loadavg: 1.30 1.50 1.66 4/197 22612
/proc/meminfo: memFree=29903020/32770624 swapFree=0/439780
[pid=22612] ppid=22609 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/22612/stat : 22612 (bash) S 22609 22612 4821 0 -1 4202496 852 6184 0 0 0 0 0 1 20 0 1 0 95018974 9867264 366 18446744073709551615 4194304 5098028 140730338785952 140730338779688 139673609731072 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 20873216 140730338787860 140730338787945 140730338787945 140730338791402 0
/proc/22612/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.20023 s]
/proc/loadavg: 1.30 1.50 1.66 4/197 22612
/proc/meminfo: memFree=29903020/32770624 swapFree=0/439780
[pid=22612] ppid=22609 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/22612/stat : 22612 (bash) S 22609 22612 4821 0 -1 4202496 891 6492 0 0 0 0 0 1 20 0 1 0 95018974 9867264 377 18446744073709551615 4194304 5098028 140730338785952 140730338779960 139673609731072 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 20873216 140730338787860 140730338787945 140730338787945 140730338791402 0
/proc/22612/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.30025 s]
/proc/loadavg: 1.30 1.50 1.66 4/197 22612
/proc/meminfo: memFree=29903020/32770624 swapFree=0/439780
[pid=22612] ppid=22609 vsize=13973872 CPUtime=0.14 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 5794 12479 0 0 6 1 5 2 20 0 15 0 95018974 14309244928 5440 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3493468 5440 2563 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872
[startup+0.700687 s]
/proc/loadavg: 1.30 1.50 1.66 4/197 22612
/proc/meminfo: memFree=29903020/32770624 swapFree=0/439780
[pid=22612] ppid=22609 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 13926 12479 0 0 59 4 5 2 20 0 15 0 95018974 14310178816 14838 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3493696 14838 3112 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50101 s]
/proc/loadavg: 1.27 1.49 1.66 4/212 22675
/proc/meminfo: memFree=29807280/32770624 swapFree=0/439812
[pid=22612] ppid=22609 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 29618 12479 0 0 175 9 5 2 20 0 15 0 95018974 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3496352 42669 3373 1 0 3485525 0
[pid=22612/tid=22662] ppid=22609 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) R 22609 22612 4821 0 -1 4202560 22295 12479 0 0 115 6 5 2 20 0 15 0 95018995 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025912389904 140025892210021 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 49 12479 0 0 1 0 5 2 20 0 15 0 95018996 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 196 12479 0 0 1 0 5 2 20 0 15 0 95018996 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 61 12479 0 0 1 0 5 2 20 0 15 0 95018996 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 62 12479 0 0 1 0 5 2 20 0 15 0 95018996 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 1648 12479 0 0 1 0 5 2 20 0 15 0 95018997 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 54 12479 0 0 0 0 5 2 20 0 15 0 95018998 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025385666080 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 15 0 95018998 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025384613232 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019000 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) R 22609 22612 4821 0 -1 1077944384 896 12479 0 0 13 0 5 2 20 0 15 0 95019000 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 825 12479 0 0 16 0 5 2 20 0 15 0 95019000 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) R 22609 22612 4821 0 -1 4202560 1325 12479 0 0 23 0 5 2 20 0 15 0 95019000 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025380399680 140025887095623 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019001 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 5 12479 0 0 0 0 5 2 20 0 15 0 95019003 14321057792 42669 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408
[startup+3.10058 s]
/proc/loadavg: 1.27 1.49 1.66 4/212 22675
/proc/meminfo: memFree=29733452/32770624 swapFree=0/439812
[pid=22612] ppid=22609 vsize=13995836 CPUtime=5.32 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 44133 12479 0 0 508 17 5 2 20 0 15 0 95018974 14331736064 70491 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3498959 70491 3461 1 0 3487573 0
[pid=22612/tid=22662] ppid=22609 vsize=13995836 CPUtime=2.86 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) R 22609 22612 4821 0 -1 4202560 32429 12479 0 0 270 9 5 2 20 0 15 0 95018995 14331736064 70491 18446744073709551615 4194304 4196468 140732463447744 140025912385312 140025888442151 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 60 12479 0 0 1 0 5 2 20 0 15 0 95018996 14331736064 70491 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 204 12479 0 0 2 0 5 2 20 0 15 0 95018996 14331736064 70491 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 195 12479 0 0 2 0 5 2 20 0 15 0 95018996 14331736064 70491 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 82 12479 0 0 2 0 5 2 20 0 15 0 95018996 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 1698 12479 0 0 1 0 5 2 20 0 15 0 95018997 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 54 12479 0 0 0 0 5 2 20 0 15 0 95018998 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025385666144 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 15 0 95018998 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019000 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=13995836 CPUtime=0.79 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 1910 12479 0 0 71 1 5 2 20 0 15 0 95019000 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=13995836 CPUtime=0.84 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 2038 12479 0 0 76 1 5 2 20 0 15 0 95019000 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=13995836 CPUtime=0.87 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 3270 12479 0 0 79 1 5 2 20 0 15 0 95019000 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019001 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 6 12479 0 0 0 0 5 2 20 0 15 0 95019003 14331736064 70557 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 13995836
[startup+6.30067 s]
/proc/loadavg: 1.57 1.55 1.68 3/212 22675
/proc/meminfo: memFree=29272656/32770624 swapFree=0/439808
[pid=22612] ppid=22609 vsize=13999932 CPUtime=11.86 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 51409 12479 0 0 1140 39 5 2 20 0 15 0 95018974 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3499983 201356 3465 1 0 3488597 0
[pid=22612/tid=22662] ppid=22609 vsize=13999932 CPUtime=5.93 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) R 22609 22612 4821 0 -1 4202560 37270 12479 0 0 571 15 5 2 20 0 15 0 95018995 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025912398632 140025557637513 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 136 12479 0 0 9 4 5 2 20 0 15 0 95018996 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 273 12479 0 0 8 4 5 2 20 0 15 0 95018996 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 340 12479 0 0 9 4 5 2 20 0 15 0 95018996 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=13999932 CPUtime=0.17 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 139 12479 0 0 7 3 5 2 20 0 15 0 95018996 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 2042 12479 0 0 2 0 5 2 20 0 15 0 95018997 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 54 12479 0 0 0 0 5 2 20 0 15 0 95018998 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025385666144 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 15 0 95018998 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019000 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=13999932 CPUtime=2.04 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 2230 12479 0 0 196 1 5 2 20 0 15 0 95019000 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=13999932 CPUtime=2.31 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 2955 12479 0 0 223 1 5 2 20 0 15 0 95019000 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=13999932 CPUtime=1.18 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 3757 12479 0 0 109 2 5 2 20 0 15 0 95019000 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019001 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 11 12479 0 0 0 0 5 2 20 0 15 0 95019003 14335930368 201356 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.53 1.54 1.67 3/212 22675
/proc/meminfo: memFree=28354736/32770624 swapFree=0/439808
[pid=22612] ppid=22609 vsize=14069564 CPUtime=25.89 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 73752 12479 0 0 2516 66 5 2 20 0 15 0 95018974 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3517391 393058 3476 1 0 3506005 0
[pid=22612/tid=22662] ppid=22609 vsize=14069564 CPUtime=12.1 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) R 22609 22612 4821 0 -1 4202560 44188 12479 0 0 1179 24 5 2 20 0 15 0 95018995 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025912397672 140025563024448 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 280 12479 0 0 23 8 5 2 20 0 15 0 95018996 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 568 12479 0 0 23 8 5 2 20 0 15 0 95018996 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 404 12479 0 0 21 7 5 2 20 0 15 0 95018996 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 298 12479 0 0 19 7 5 2 20 0 15 0 95018996 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 3087 12479 0 0 4 1 5 2 20 0 15 0 95018997 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 54 12479 0 0 0 0 5 2 20 0 15 0 95018998 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025385666144 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 15 0 95018998 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019000 14407233536 393058 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.7 s]
/proc/loadavg: 1.58 1.58 1.56 3/213 22952
/proc/meminfo: memFree=22149212/32770624 swapFree=0/440404
[pid=22612] ppid=22609 vsize=14069564 CPUtime=2520.07 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 458907 12479 0 0 251587 413 5 2 20 0 15 0 95018974 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3517391 1139389 3480 1 0 3506005 0
[pid=22612/tid=22662] ppid=22609 vsize=14069564 CPUtime=2453.96 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) R 22609 22612 4821 0 -1 4202560 248212 12479 0 0 245285 104 5 2 20 0 15 0 95018995 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025912400432 140025562213447 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 28532 12479 0 0 1183 57 5 2 20 0 15 0 95018996 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=14069564 CPUtime=12.46 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 30140 12479 0 0 1183 56 5 2 20 0 15 0 95018996 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=14069564 CPUtime=12.44 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 28943 12479 0 0 1182 55 5 2 20 0 15 0 95018996 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=14069564 CPUtime=12.45 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 30091 12479 0 0 1181 57 5 2 20 0 15 0 95018996 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 41207 12479 0 0 70 14 5 2 20 0 15 0 95018997 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 54 12479 0 0 0 0 5 2 20 0 15 0 95018998 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025385666144 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 15 0 95018998 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019000 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 18247 12479 0 0 635 3 5 2 20 0 15 0 95019000 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=14069564 CPUtime=6.09 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 15819 12479 0 0 599 3 5 2 20 0 15 0 95019000 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=14069564 CPUtime=1.86 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 14026 12479 0 0 175 4 5 2 20 0 15 0 95019000 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 15 0 95019001 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 1434 12479 0 0 67 76 5 2 20 0 15 0 95019003 14407233536 1139389 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22612 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468 s]
/proc/loadavg: 1.58 1.58 1.56 3/213 22952
/proc/meminfo: memFree=22149212/32770624 swapFree=0/440404
[pid=22612] ppid=22609 vsize=14202692 CPUtime=2521.19 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 472020 12479 0 0 251697 415 5 2 20 0 17 0 95018974 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3550673 1139708 3480 1 0 3539287 0
[pid=22612/tid=22662] ppid=22609 vsize=14202692 CPUtime=2453.97 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) S 22609 22612 4821 0 -1 1077944384 249358 12479 0 0 245286 104 5 2 20 0 17 0 95018995 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025912404176 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=14202692 CPUtime=12.74 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) R 22609 22612 4821 0 -1 4202560 28673 12479 0 0 1210 57 5 2 20 0 17 0 95018996 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025889763402 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=14202692 CPUtime=12.73 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) R 22609 22612 4821 0 -1 4202560 30236 12479 0 0 1210 56 5 2 20 0 17 0 95018996 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025893151632 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=14202692 CPUtime=12.71 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) R 22609 22612 4821 0 -1 4202560 29117 12479 0 0 1209 55 5 2 20 0 17 0 95018996 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025892620338 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=14202692 CPUtime=12.72 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) R 22609 22612 4821 0 -1 4202560 30210 12479 0 0 1208 57 5 2 20 0 17 0 95018996 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025504651736 140025889762354 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=14202692 CPUtime=0.93 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 52023 12479 0 0 71 15 5 2 20 0 17 0 95018997 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025386718512 140025908176597 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 56 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025385665744 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 251 12479 0 0 0 0 5 2 20 0 17 0 95019000 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 18247 12479 0 0 635 3 5 2 20 0 17 0 95019000 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=14202692 CPUtime=6.09 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 15819 12479 0 0 599 3 5 2 20 0 17 0 95019000 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 14026 12479 0 0 175 4 5 2 20 0 17 0 95019000 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 17 0 95019001 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=14202692 CPUtime=1.5 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 1434 12479 0 0 67 76 5 2 20 0 17 0 95019003 14543556608 1139708 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 2521.19
Current children cumulated vsize (KiB) 14202692
[startup+2468.4 s]
/proc/loadavg: 1.58 1.58 1.56 6/215 22954
/proc/meminfo: memFree=22151032/32770624 swapFree=0/440404
[pid=22612] ppid=22609 vsize=14202692 CPUtime=2522.63 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 472046 12479 0 0 251841 415 5 2 20 0 17 0 95018974 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3550673 1138682 3480 1 0 3539287 0
[pid=22612/tid=22662] ppid=22609 vsize=14202692 CPUtime=2453.97 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) S 22609 22612 4821 0 -1 1077944384 249359 12479 0 0 245286 104 5 2 20 0 17 0 95018995 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025912404176 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=14202692 CPUtime=13.09 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) R 22609 22612 4821 0 -1 4202560 28681 12479 0 0 1245 57 5 2 20 0 17 0 95018996 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025869064736 140025892864143 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=14202692 CPUtime=13.08 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) R 22609 22612 4821 0 -1 4202560 30236 12479 0 0 1245 56 5 2 20 0 17 0 95018996 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025889762337 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=14202692 CPUtime=13.06 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) R 22609 22612 4821 0 -1 4202560 29117 12479 0 0 1244 55 5 2 20 0 17 0 95018996 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025893116996 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=14202692 CPUtime=13.06 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) R 22609 22612 4821 0 -1 4202560 30217 12479 0 0 1242 57 5 2 20 0 17 0 95018996 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025504651736 140025892864143 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=14202692 CPUtime=0.98 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 52029 12479 0 0 76 15 5 2 20 0 17 0 95018997 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025386718512 140025908176597 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 57 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025385665776 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 46 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 251 12479 0 0 0 0 5 2 20 0 17 0 95019000 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 18247 12479 0 0 635 3 5 2 20 0 17 0 95019000 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=14202692 CPUtime=6.09 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) S 22609 22612 4821 0 -1 1077944384 15819 12479 0 0 599 3 5 2 20 0 17 0 95019000 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025381456112 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 14026 12479 0 0 175 4 5 2 20 0 17 0 95019000 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 17 0 95019001 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=14202692 CPUtime=1.5 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 1434 12479 0 0 67 76 5 2 20 0 17 0 95019003 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22953] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22953/stat : 22953 (java) S 22609 22612 4821 0 -1 1077944384 339 12479 0 0 0 0 5 2 20 0 17 0 95265744 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025346573040 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22954] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22954/stat : 22954 (java) S 22609 22612 4821 0 -1 1077944384 34 12479 0 0 0 0 5 2 20 0 17 0 95265744 14543556608 1138682 18446744073709551615 4194304 4196468 140732463447744 140025345520960 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 2522.63
Current children cumulated vsize (KiB) 14202692
[startup+2468.51 s]
/proc/loadavg: 1.58 1.58 1.56 6/215 22954
/proc/meminfo: memFree=22151032/32770624 swapFree=0/440404
[pid=22612] ppid=22609 vsize=14202692 CPUtime=2522.96 cores=1,3,5,7
/proc/22612/stat : 22612 (java) S 22609 22612 4821 0 -1 1077944320 472472 12479 0 0 251874 415 5 2 20 0 17 0 95018974 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140732463430288 140025908166391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
/proc/22612/statm: 3550673 1138699 3481 1 0 3539287 0
[pid=22612/tid=22662] ppid=22609 vsize=14202692 CPUtime=2453.97 cores=1,3,5,7
/proc/22612/task/22662/stat : 22662 (java) S 22609 22612 4821 0 -1 1077944384 249502 12479 0 0 245286 104 5 2 20 0 17 0 95018995 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025912409264 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22663] ppid=22609 vsize=14202692 CPUtime=13.17 cores=1,3,5,7
/proc/22612/task/22663/stat : 22663 (java) S 22609 22612 4821 0 -1 1077944384 28681 12479 0 0 1253 57 5 2 20 0 17 0 95018996 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025869064848 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22664] ppid=22609 vsize=14202692 CPUtime=13.16 cores=1,3,5,7
/proc/22612/task/22664/stat : 22664 (java) S 22609 22612 4821 0 -1 1077944384 30236 12479 0 0 1253 56 5 2 20 0 17 0 95018996 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025868012048 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22665] ppid=22609 vsize=14202692 CPUtime=13.14 cores=1,3,5,7
/proc/22612/task/22665/stat : 22665 (java) S 22609 22612 4821 0 -1 1077944384 29117 12479 0 0 1252 55 5 2 20 0 17 0 95018996 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025505704336 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22666] ppid=22609 vsize=14202692 CPUtime=13.14 cores=1,3,5,7
/proc/22612/task/22666/stat : 22666 (java) S 22609 22612 4821 0 -1 1077944384 30217 12479 0 0 1250 57 5 2 20 0 17 0 95018996 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025504651536 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22667] ppid=22609 vsize=14202692 CPUtime=1 cores=1,3,5,7
/proc/22612/task/22667/stat : 22667 (java) S 22609 22612 4821 0 -1 1077944384 52029 12479 0 0 78 15 5 2 20 0 17 0 95018997 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025386720112 140025908177538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22668] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22668/stat : 22668 (java) S 22609 22612 4821 0 -1 1077944384 57 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025385666144 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22669] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22669/stat : 22669 (java) S 22609 22612 4821 0 -1 1077944384 48 12479 0 0 0 0 5 2 20 0 17 0 95018998 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025384613248 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22670] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22670/stat : 22670 (java) S 22609 22612 4821 0 -1 1077944384 251 12479 0 0 0 0 5 2 20 0 17 0 95019000 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025383561552 140025908184987 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22671] ppid=22609 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/22612/task/22671/stat : 22671 (java) S 22609 22612 4821 0 -1 1077944384 18247 12479 0 0 635 3 5 2 20 0 17 0 95019000 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025382508912 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22672] ppid=22609 vsize=14202692 CPUtime=6.09 cores=1,3,5,7
/proc/22612/task/22672/stat : 22672 (java) R 22609 22612 4821 0 -1 4202560 16005 12479 0 0 599 3 5 2 20 0 17 0 95019000 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025381456408 140025891551256 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22673] ppid=22609 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/22612/task/22673/stat : 22673 (java) S 22609 22612 4821 0 -1 1077944384 14114 12479 0 0 175 4 5 2 20 0 17 0 95019000 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025380403312 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22674] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22674/stat : 22674 (java) S 22609 22612 4821 0 -1 1077944384 3 12479 0 0 0 0 5 2 20 0 17 0 95019001 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025379350752 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22675] ppid=22609 vsize=14202692 CPUtime=1.5 cores=1,3,5,7
/proc/22612/task/22675/stat : 22675 (java) S 22609 22612 4821 0 -1 1077944384 1441 12479 0 0 67 76 5 2 20 0 17 0 95019003 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025378299056 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22953] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22953/stat : 22953 (java) S 22609 22612 4821 0 -1 1077944384 339 12479 0 0 0 0 5 2 20 0 17 0 95265744 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025346573040 140025908176597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
[pid=22612/tid=22954] ppid=22609 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/22612/task/22954/stat : 22954 (java) S 22609 22612 4821 0 -1 1077944384 34 12479 0 0 0 0 5 2 20 0 17 0 95265744 14543556608 1138699 18446744073709551615 4194304 4196468 140732463447744 140025345521264 140025908177538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140732463454160 140732463456945 140732463456945 140732463460303 0
Current children cumulated CPU time (s) 2522.96
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2468.54
CPU time (s): 2523.02
CPU user time (s): 2518.81
CPU system time (s): 4.20983
CPU usage (%): 102.207
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.81
system time used= 4.20983
maximum resident set size= 4562168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74782
involuntary context switches= 3729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2883 second user time and 14.5307 second system time
The end