runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10678 MiB free)
memory of node 1: 16384 MiB (12284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392168-1568318359/watcher-4392168-1568318359 -o /tmp/evaluation-result-4392168-1568318359/solver-4392168-1568318359 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8654 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1339224086 HOME/instance-4392168-1568318359.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12024, runsolver pid=12021
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.27 1.28 1.34 3/218 12081
/proc/meminfo: memFree=23509392/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 4381 13000 0 0 1 0 5 3 20 0 6 0 407773318 10212057088 4649 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2493178 4649 1933 1 0 2481616 0
[pid=12024/tid=12077] ppid=12021 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 2174 13000 0 0 1 0 5 3 20 0 6 0 407773327 10212057088 4649 33554432000 4194304 4196468 140725725918016 140179747062352 140179760908117 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 6 0 407773328 10212057088 4649 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=9972712 memory=140275840108160 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 6 0 407773328 10212057088 4649 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 6 0 407773328 10212057088 4649 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 6 0 407773328 10212057088 4649 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210186 s]*
/proc/loadavg: 1.27 1.28 1.34 3/227 12090
/proc/meminfo: memFree=23491540/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10818940 memory=36004 CPUtime=0.26 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 6898 13000 0 0 17 1 5 3 20 0 15 0 407773318 11078594560 9001 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2704735 9001 2947 1 0 2667149 0
[pid=12024/tid=12077] ppid=12021 vsize=10818940 memory=5450916389569530688 CPUtime=0.2 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 3383 13000 0 0 11 1 5 3 20 0 15 0 407773327 11078594560 9001 33554432000 4194304 4196468 140725725918016 140179747058272 140179759306078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11078594560 9001 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10818940 memory=140275840108160 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11078594560 9001 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11078594560 9001 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 15 0 407773328 11078594560 9001 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10818940 memory=140275840108160 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 15 0 407773330 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 33 13000 0 0 0 0 5 3 20 0 15 0 407773330 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178844566560 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773330 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178605728624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 448 13000 0 0 1 0 5 3 20 0 15 0 407773333 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 189 13000 0 0 0 0 5 3 20 0 15 0 407773333 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10818940 memory=140275840108160 CPUtime=0.11 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 638 13000 0 0 3 0 5 3 20 0 15 0 407773333 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10818940 memory=140275840108160 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773334 11078594560 9001 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36004 KiB
[startup+0.311007 s]*
/proc/loadavg: 1.27 1.28 1.34 4/227 12090
/proc/meminfo: memFree=23480564/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10820096 memory=45568 CPUtime=0.4 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 10701 13000 0 0 29 3 5 3 20 0 15 0 407773318 11079778304 11392 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2705024 11392 3248 1 0 2667149 0
[pid=12024/tid=12077] ppid=12021 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 7150 13000 0 0 19 2 5 3 20 0 15 0 407773327 11079778304 11904 33554432000 4194304 4196468 140725725918016 140179747039264 140179775247517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10820096 memory=5865774049353624682 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11079778304 11904 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10820096 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11079778304 11904 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10820096 memory=7649539651353594049 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11079778304 11904 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 15 0 407773328 11079778304 11904 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 15 0 407773330 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 33 13000 0 0 0 0 5 3 20 0 15 0 407773330 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178844566560 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773330 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178605728624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 450 13000 0 0 2 0 5 3 20 0 15 0 407773333 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 189 13000 0 0 1 0 5 3 20 0 15 0 407773333 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 659 13000 0 0 5 0 5 3 20 0 15 0 407773333 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773334 11079778304 11904 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 45568 KiB
[startup+0.700731 s]
/proc/loadavg: 1.27 1.28 1.34 7/227 12090
/proc/meminfo: memFree=23465464/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10824340 memory=78504 CPUtime=1.15 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 14831 13000 0 0 101 6 5 3 20 0 15 0 407773318 11084124160 19626 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2706085 19626 3506 1 0 2668173 0
[pid=12024/tid=12077] ppid=12021 vsize=10824340 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 10459 13000 0 0 54 4 5 3 20 0 15 0 407773327 11084124160 19626 33554432000 4194304 4196468 140725725918016 140179747053248 140179759306078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11084124160 19626 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11084124160 19626 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773328 11084124160 19626 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 2 13000 0 0 0 0 5 3 20 0 15 0 407773328 11084124160 19626 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 5 13000 0 0 0 0 5 3 20 0 15 0 407773330 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 33 13000 0 0 0 0 5 3 20 0 15 0 407773330 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178844566560 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773330 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178605728624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 726 13000 0 0 13 0 5 3 20 0 15 0 407773333 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10824340 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) R 12021 12024 8623 0 -1 4202560 542 13000 0 0 14 0 5 3 20 0 15 0 407773333 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178809957104 140179759128662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 848 13000 0 0 17 0 5 3 20 0 15 0 407773333 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10824340 memory=280551424524528 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773334 11084124160 19626 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78504 KiB
[startup+1.50083 s]
/proc/loadavg: 1.27 1.28 1.34 3/227 12090
/proc/meminfo: memFree=23423216/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10834656 memory=165792 CPUtime=2.45 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 20191 13000 0 0 226 11 5 3 20 0 15 0 407773318 11094687744 41448 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2708664 41448 3567 1 0 2670733 0
[pid=12024/tid=12077] ppid=12021 vsize=10834656 memory=19 CPUtime=1.43 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 14952 13000 0 0 128 7 5 3 20 0 15 0 407773327 11094687744 41448 33554432000 4194304 4196468 140725725918016 140179747044224 140179767446498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10834656 memory=22 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 28 13000 0 0 1 0 5 3 20 0 15 0 407773328 11094687744 41448 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 16 13000 0 0 0 0 5 3 20 0 15 0 407773328 11094687744 41448 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 16 13000 0 0 1 0 5 3 20 0 15 0 407773328 11094687744 41448 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10834656 memory=95304 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 52 13000 0 0 1 0 5 3 20 0 15 0 407773328 11094687744 41448 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 42 13000 0 0 1 0 5 3 20 0 15 0 407773330 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10834656 memory=6296985926779098210 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 33 13000 0 0 0 0 5 3 20 0 15 0 407773330 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178844566560 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10834656 memory=6948884240316656230 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 8 13000 0 0 0 0 5 3 20 0 15 0 407773330 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178605728624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10834656 memory=7522795238410053731 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10834656 memory=5787213852951536729 CPUtime=0.31 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) R 12021 12024 8623 0 -1 1077944384 784 13000 0 0 23 0 5 3 20 0 15 0 407773333 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10834656 memory=7957411311110678098 CPUtime=0.35 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 596 13000 0 0 27 0 5 3 20 0 15 0 407773333 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10834656 memory=6296985926779098210 CPUtime=0.47 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 1451 13000 0 0 39 0 5 3 20 0 15 0 407773333 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10834656 memory=6296985926779098210 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10834656 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 1 13000 0 0 0 0 5 3 20 0 15 0 407773334 11094687744 41448 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 50835 13000 0 0 223580 53 5 3 20 0 15 0 407773327 11105193984 168644 33554432000 4194304 4196468 140725725918016 140179747061568 140179371475069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10844916 memory=674576 CPUtime=11.32 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 8024 13000 0 0 1060 64 5 3 20 0 15 0 407773328 11105193984 168644 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10844916 memory=674576 CPUtime=11.31 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 8672 13000 0 0 1064 59 5 3 20 0 15 0 407773328 11105193984 168644 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10844916 memory=193 CPUtime=11.24 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 4392 13000 0 0 1053 63 5 3 20 0 15 0 407773328 11105193984 168644 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10844916 memory=674556 CPUtime=11.29 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 6156 13000 0 0 1056 65 5 3 20 0 15 0 407773328 11105193984 168644 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10844916 memory=674576 CPUtime=11.05 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 9694 13000 0 0 1038 59 5 3 20 0 15 0 407773330 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10844916 memory=674576 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 37 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178844566624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10844916 memory=674576 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 10 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178605728640 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10844916 memory=674576 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10844916 memory=674576 CPUtime=6.57 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 17818 13000 0 0 643 6 5 3 20 0 15 0 407773333 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10844916 memory=674576 CPUtime=6.92 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 18063 13000 0 0 676 8 5 3 20 0 15 0 407773333 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10844916 memory=674576 CPUtime=5.04 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 24038 13000 0 0 488 8 5 3 20 0 15 0 407773333 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10844916 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10844916 memory=674576 CPUtime=1.45 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 961 13000 0 0 68 69 5 3 20 0 15 0 407773334 11105193984 168644 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 2311.99 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 674576 KiB
[startup+2322.3 s]
/proc/loadavg: 1.17 1.23 1.33 3/227 12455
/proc/meminfo: memFree=22895244/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10844916 memory=674656 CPUtime=2372.86 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 151901 13000 0 0 236891 387 5 3 20 0 15 0 407773318 11105193984 168664 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2711229 168664 3615 1 0 2673293 0
[pid=12024/tid=12077] ppid=12021 vsize=10844916 memory=674576 CPUtime=2295.64 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 51442 13000 0 0 229502 54 5 3 20 0 15 0 407773327 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179747062176 140179366241247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.63 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 8083 13000 0 0 1090 65 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.63 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 8690 13000 0 0 1093 62 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.57 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 4472 13000 0 0 1085 64 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.61 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 6165 13000 0 0 1086 67 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.36 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 9887 13000 0 0 1068 60 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10844916 memory=674576 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 37 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178844566624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 10 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178605728640 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10844916 memory=4540 CPUtime=6.57 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 17820 13000 0 0 643 6 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10844916 memory=752 CPUtime=6.92 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 18065 13000 0 0 676 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10844916 memory=752 CPUtime=5.05 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 24040 13000 0 0 489 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10844916 memory=1636 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10844916 memory=674656 CPUtime=1.48 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 978 13000 0 0 69 71 5 3 20 0 15 0 407773334 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 2372.86 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 674656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2349.11 s]
/proc/loadavg: 1.32 1.26 1.34 3/228 12458
/proc/meminfo: memFree=22894612/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10844916 memory=674656 CPUtime=2400.06 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 152164 13000 0 0 239608 390 5 3 20 0 15 0 407773318 11105193984 168664 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2711229 168664 3615 1 0 2673293 0
[pid=12024/tid=12077] ppid=12021 vsize=10844916 memory=674656 CPUtime=2322.11 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 51693 13000 0 0 232149 54 5 3 20 0 15 0 407773327 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179747061120 140179371501991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.78 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 8085 13000 0 0 1104 66 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.77 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 8692 13000 0 0 1107 62 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.72 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 4474 13000 0 0 1099 65 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.74 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 6167 13000 0 0 1099 67 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.51 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 9889 13000 0 0 1082 61 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 37 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178844566624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 10 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178605728640 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10844916 memory=674656 CPUtime=6.57 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 17820 13000 0 0 643 6 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10844916 memory=3924 CPUtime=6.92 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 18065 13000 0 0 676 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10844916 memory=674656 CPUtime=5.05 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 24040 13000 0 0 489 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10844916 memory=6077723611566462053 CPUtime=1.5 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 980 13000 0 0 69 73 5 3 20 0 15 0 407773334 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 674656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2349.14 s]
# the end of solver process 12024 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.15 s, system=3.95043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2349.11 s]
/proc/loadavg: 1.32 1.26 1.34 3/228 12458
/proc/meminfo: memFree=22894612/32770624 swapFree=67108848/67108860
[pid=12024] ppid=12021 vsize=10844916 memory=674656 CPUtime=2400.06 cores=0,2,4,6
/proc/12024/stat : 12024 (java) S 12021 12024 8623 0 -1 1077944320 152164 13000 0 0 239608 390 5 3 20 0 15 0 407773318 11105193984 168664 33554432000 4194304 4196468 140725725918016 140725725900560 140179775225591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
/proc/12024/statm: 2711229 168664 3615 1 0 2673293 0
[pid=12024/tid=12077] ppid=12021 vsize=10844916 memory=674656 CPUtime=2322.11 cores=0,2,4,6
/proc/12024/task/12077/stat : 12077 (java) R 12021 12024 8623 0 -1 4202560 51693 13000 0 0 232149 54 5 3 20 0 15 0 407773327 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179747061120 140179371501991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12078] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.78 cores=0,2,4,6
/proc/12024/task/12078/stat : 12078 (java) S 12021 12024 8623 0 -1 1077944384 8085 13000 0 0 1104 66 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179779468432 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12079] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.77 cores=0,2,4,6
/proc/12024/task/12079/stat : 12079 (java) S 12021 12024 8623 0 -1 1077944384 8692 13000 0 0 1107 62 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179683671056 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12080] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.72 cores=0,2,4,6
/proc/12024/task/12080/stat : 12080 (java) S 12021 12024 8623 0 -1 1077944384 4474 13000 0 0 1099 65 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179682618256 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12081] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.74 cores=0,2,4,6
/proc/12024/task/12081/stat : 12081 (java) S 12021 12024 8623 0 -1 1077944384 6167 13000 0 0 1099 67 5 3 20 0 15 0 407773328 11105193984 168664 33554432000 4194304 4196468 140725725918016 140179681565456 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12082] ppid=12021 vsize=10844916 memory=674656 CPUtime=11.51 cores=0,2,4,6
/proc/12024/task/12082/stat : 12082 (java) S 12021 12024 8623 0 -1 1077944384 9889 13000 0 0 1082 61 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178845620592 140179775236738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12083] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12083/stat : 12083 (java) S 12021 12024 8623 0 -1 1077944384 37 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178844566624 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12084] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12084/stat : 12084 (java) S 12021 12024 8623 0 -1 1077944384 10 13000 0 0 0 0 5 3 20 0 15 0 407773330 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178605728640 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12085] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12085/stat : 12085 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178365437776 140179775244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12086] ppid=12021 vsize=10844916 memory=674656 CPUtime=6.57 cores=0,2,4,6
/proc/12024/task/12086/stat : 12086 (java) S 12021 12024 8623 0 -1 1077944384 17820 13000 0 0 643 6 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178811009904 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12087] ppid=12021 vsize=10844916 memory=3924 CPUtime=6.92 cores=0,2,4,6
/proc/12024/task/12087/stat : 12087 (java) S 12021 12024 8623 0 -1 1077944384 18065 13000 0 0 676 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178809957104 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12088] ppid=12021 vsize=10844916 memory=674656 CPUtime=5.05 cores=0,2,4,6
/proc/12024/task/12088/stat : 12088 (java) S 12021 12024 8623 0 -1 1077944384 24040 13000 0 0 489 8 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178808904304 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12089] ppid=12021 vsize=10844916 memory=674656 CPUtime=0.08 cores=0,2,4,6
/proc/12024/task/12089/stat : 12089 (java) S 12021 12024 8623 0 -1 1077944384 3 13000 0 0 0 0 5 3 20 0 15 0 407773333 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178331880160 140179775235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
[pid=12024/tid=12090] ppid=12021 vsize=10844916 memory=6077723611566462053 CPUtime=1.5 cores=0,2,4,6
/proc/12024/task/12090/stat : 12090 (java) S 12021 12024 8623 0 -1 1077944384 980 13000 0 0 69 73 5 3 20 0 15 0 407773334 11105193984 168664 33554432000 4194304 4196468 140725725918016 140178572171952 140179775236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19501056 140725725924085 140725725926597 140725725926597 140725725929423 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 674656 KiB
Child status: 143
Real time (s): 2349.14
CPU time (s): 2400.1
CPU user time (s): 2396.15
CPU system time (s): 3.95043
CPU usage (%): 102.17
Max. virtual memory (cumulated for all children) (KiB): 10847724
Max. memory (cumulated for all children) (KiB): 674656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.15
system time used= 3.95043
maximum resident set size= 678864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 330706
involuntary context switches= 8016
# summary of solver processes directly reported to runsolver:
# pid: 12024
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.15
# total CPU system time (s): 3.95043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8955 second user time and 22.2082 second system time
The end