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 (15302 MiB free)
memory of node 1: 16384 MiB (15636 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392239-1568301461/watcher-4392239-1568301461 -o /tmp/evaluation-result-4392239-1568301461/solver-4392239-1568301461 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1536362655 HOME/instance-4392239-1568301461.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21016, runsolver pid=21011
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 1.04 1.15 1.56 3/227 21093
/proc/meminfo: memFree=31653292/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/21016/stat : 21016 (bash) S 21011 21016 20959 0 -1 4202496 889 5700 0 0 0 0 0 1 20 0 1 0 406385767 115974144 403 33554432000 4194304 5098028 140729685888848 140729685882856 140617134402560 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 32215040 140729685890068 140729685890193 140729685890193 140729685893102 0
/proc/21016/statm: 28314 403 320 221 0 119 0
[pid=21073] ppid=21016 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/21073/stat : 21073 (bash) S 21016 21016 20959 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 406385772 115974144 177 33554432000 4194304 5098028 140729685888848 140729685881528 140617134228092 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32215040 140729685890068 140729685890193 140729685890193 140729685893102 0
/proc/21073/statm: 28314 177 94 221 0 119 0
[pid=21077] ppid=21073 vsize=113492 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/21077/stat : 21077 (awk) S 21073 21016 20959 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 406385772 116215808 306 33554432000 4194304 4609284 140731116342176 140731116341352 140083261283328 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 15486976 140731116344508 140731116344538 140731116344538 140731116347375 0
/proc/21077/statm: 28373 306 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3544 KiB
[startup+0.210777 s]*
/proc/loadavg: 1.04 1.15 1.56 5/233 21151
/proc/meminfo: memFree=31643300/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10818900 memory=32504 CPUtime=0.18 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 6485 13309 0 1 9 1 5 3 20 0 15 0 406385767 11078553600 8126 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2704725 8126 2915 1 0 2667149 0
[pid=21016/tid=21124] ppid=21011 vsize=10818900 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 3104 13309 0 1 7 1 5 3 20 0 15 0 406385780 11078553600 8126 33554432000 4194304 4196468 140735059607072 139859425293248 139859437540702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10818900 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078553600 8126 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10818900 memory=140199262886046 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078553600 8126 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078553600 8126 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078553600 8126 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10818900 memory=140199262865024 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385782 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 13 13309 0 1 0 0 5 3 20 0 15 0 406385783 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858429338656 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385783 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858228011888 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078553600 8126 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) R 21011 21016 20959 0 -1 1077944384 297 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) R 21011 21016 20959 0 -1 4202560 258 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858977914408 139859436692880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10818900 memory=140199262865024 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) R 21011 21016 20959 0 -1 4202560 617 13309 0 1 1 0 5 3 20 0 15 0 406385786 11078553600 8126 33554432000 4194304 4196468 140735059607072 139858976866072 139859432090763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078553600 8192 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10818900 memory=140199262865024 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078553600 8192 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 32504 KiB
[startup+0.310888 s]*
/proc/loadavg: 1.04 1.15 1.56 3/233 21151
/proc/meminfo: memFree=31611728/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10819084 memory=44156 CPUtime=0.33 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 9768 13309 0 1 23 2 5 3 20 0 15 0 406385767 11078742016 11039 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2704771 11039 3030 1 0 2667149 0
[pid=21016/tid=21124] ppid=21011 vsize=10819084 memory=6791534058613427641 CPUtime=0.25 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 6258 13309 0 1 15 2 5 3 20 0 15 0 406385780 11078742016 11039 33554432000 4194304 4196468 140735059607072 139859425272224 139859437540702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078742016 11039 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078742016 11039 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078742016 11039 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385781 11078742016 11039 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385782 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10819084 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 13 13309 0 1 0 0 5 3 20 0 15 0 406385783 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858429338656 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385783 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858228011888 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 321 13309 0 1 1 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10819084 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) R 21011 21016 20959 0 -1 4202560 299 13309 0 1 1 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858977921776 139859436947024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10819084 memory=140199262865024 CPUtime=0.12 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) R 21011 21016 20959 0 -1 1077944384 665 13309 0 1 4 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10819084 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10819084 memory=140199262865024 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385786 11078742016 11039 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 44156 KiB
[startup+0.700763 s]
/proc/loadavg: 1.04 1.15 1.56 3/233 21151
/proc/meminfo: memFree=31585948/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10822292 memory=76396 CPUtime=1.02 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 14368 13309 0 1 90 4 5 3 20 0 15 0 406385767 11082027008 19099 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2705573 19099 3483 1 0 2667661 0
[pid=21016/tid=21124] ppid=21011 vsize=10822292 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 10076 13309 0 1 50 3 5 3 20 0 15 0 406385780 11082027008 19099 33554432000 4194304 4196468 140735059607072 139859425282176 139859453482141 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11082027008 19099 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11082027008 19099 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10822292 memory=140199141194096 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385781 11082027008 19099 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10822292 memory=140200617443920 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385781 11082027008 19099 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10822292 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 5 13309 0 1 0 0 5 3 20 0 15 0 406385782 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10822292 memory=4639098309541128548 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 13 13309 0 1 0 0 5 3 20 0 15 0 406385783 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858429338656 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10822292 memory=6081102367496366441 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385783 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858228011888 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10822292 memory=7236547281622689387 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10822292 memory=2116 CPUtime=0.18 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) R 21011 21016 20959 0 -1 4202560 558 13309 0 1 10 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858978964368 139859435004391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10822292 memory=19836 CPUtime=0.21 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) R 21011 21016 20959 0 -1 4202560 648 13309 0 1 13 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858977899136 139859432707343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10822292 memory=496 CPUtime=0.24 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) S 21011 21016 20959 0 -1 1077944384 855 13309 0 1 16 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10822292 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10822292 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385786 11082027008 19099 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 76396 KiB
[startup+1.50071 s]
/proc/loadavg: 1.04 1.15 1.56 9/233 21151
/proc/meminfo: memFree=31496308/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10832608 memory=206760 CPUtime=3.02 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 35959 13309 0 1 283 11 5 3 20 0 15 0 406385767 11092590592 51690 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2708152 51690 3576 1 0 2670221 0
[pid=21016/tid=21124] ppid=21011 vsize=10832608 memory=546658466 CPUtime=1.37 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 16413 13309 0 1 123 6 5 3 20 0 15 0 406385780 11092590592 51690 33554432000 4194304 4196468 140735059607072 139859425291008 139859453481562 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10834656 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 319 13309 0 1 1 0 5 3 20 0 15 0 406385781 11094687744 51690 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10834656 memory=280398282656256 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 38 13309 0 1 1 0 5 3 20 0 15 0 406385781 11094687744 51690 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10834656 memory=-7233780906022716832 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 66 13309 0 1 1 0 5 3 20 0 15 0 406385781 11094687744 51690 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10834656 memory=6944656425123290226 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 48 13309 0 1 1 0 5 3 20 0 15 0 406385781 11094687744 51690 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10834656 memory=-7449383003082255507 CPUtime=0.09 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 108 13309 0 1 1 0 5 3 20 0 15 0 406385782 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10834656 memory=-7466299265176673180 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 14 13309 0 1 0 0 5 3 20 0 15 0 406385783 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858429338720 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10834656 memory=-7812193691855986592 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 2 13309 0 1 0 0 5 3 20 0 15 0 406385783 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858228011904 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10834656 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10834656 memory=6656426216303648864 CPUtime=0.61 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 7009 13309 0 1 52 1 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10834656 memory=8029758089809586007 CPUtime=0.65 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) S 21011 21016 20959 0 -1 1077944384 7135 13309 0 1 57 0 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858977921776 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10834656 memory=7301862670358769508 CPUtime=0.5 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) R 21011 21016 20959 0 -1 4202560 2608 13309 0 1 41 1 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858976868976 139859437503845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10834656 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 1 13309 0 1 0 0 5 3 20 0 15 0 406385786 11094687744 51690 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10832608 KiB
Current children cumulated memory: 206760 KiB
[startup+3.11139 s]
/proc/loadavg: 1.04 1.15 1.56 4/233 21151
################
# More data... #
################
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 121417 13309 0 1 223765 74 5 3 20 0 15 0 406385780 11111497728 435472 33554432000 4194304 4196468 140735059607072 139859425295120 139859051222835 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10851072 memory=1741888 CPUtime=15.21 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 36671 13309 0 1 1475 38 5 3 20 0 15 0 406385781 11111497728 435472 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10851072 memory=140199141426145 CPUtime=15.26 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 36657 13309 0 1 1478 40 5 3 20 0 15 0 406385781 11111497728 435472 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10851072 memory=1741888 CPUtime=15.27 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 34681 13309 0 1 1482 37 5 3 20 0 15 0 406385781 11111497728 435472 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10851072 memory=1741888 CPUtime=15.27 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 26472 13309 0 1 1477 42 5 3 20 0 15 0 406385781 11111497728 435472 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10851072 memory=1741888 CPUtime=6.47 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 27578 13309 0 1 590 49 5 3 20 0 15 0 406385782 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10851072 memory=1741888 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 21 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858429338784 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10851072 memory=1741888 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 18 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858228011904 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10851072 memory=1741888 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10851072 memory=1741888 CPUtime=10.99 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 68410 13309 0 1 1081 10 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10851072 memory=2832 CPUtime=10.92 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) S 21011 21016 20959 0 -1 1077944384 70305 13309 0 1 1075 9 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858977921776 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10851072 memory=303430223234596890 CPUtime=4.56 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) S 21011 21016 20959 0 -1 1077944384 44628 13309 0 1 439 9 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10851072 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10851072 memory=1741888 CPUtime=1.46 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 3367 13309 0 1 65 73 5 3 20 0 15 0 406385786 11111497728 435472 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 2333.27 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1741888 KiB
[startup+2322.3 s]
/proc/loadavg: 1.29 1.29 1.39 3/231 21502
/proc/meminfo: memFree=28978300/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10851072 memory=1726492 CPUtime=2394.55 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 476342 13309 0 1 239088 359 5 3 20 0 15 0 406385767 11111497728 431623 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2712768 431623 3639 1 0 2674829 0
[pid=21016/tid=21124] ppid=21011 vsize=10851072 memory=1729060 CPUtime=2297.81 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 122613 13309 0 1 229698 75 5 3 20 0 15 0 406385780 11111497728 431623 33554432000 4194304 4196468 140735059607072 139859425294496 139859055078966 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10851072 memory=1735216 CPUtime=15.65 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 37297 13309 0 1 1518 39 5 3 20 0 15 0 406385781 11111497728 431623 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10851072 memory=1729572 CPUtime=15.69 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 37556 13309 0 1 1520 41 5 3 20 0 15 0 406385781 11111497728 431623 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10851072 memory=1729572 CPUtime=15.71 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 35015 13309 0 1 1525 38 5 3 20 0 15 0 406385781 11111497728 431623 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10851072 memory=1726492 CPUtime=15.7 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 26849 13309 0 1 1518 44 5 3 20 0 15 0 406385781 11111497728 431623 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10851072 memory=1726492 CPUtime=6.64 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 28011 13309 0 1 605 51 5 3 20 0 15 0 406385782 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10851072 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 21 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858429338784 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10851072 memory=1731624 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 18 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858228011904 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10851072 memory=280398283056608 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10851072 memory=1727520 CPUtime=10.99 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 68414 13309 0 1 1081 10 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10851072 memory=1728032 CPUtime=10.92 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) S 21011 21016 20959 0 -1 1077944384 70309 13309 0 1 1075 9 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858977921776 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10851072 memory=1727520 CPUtime=4.56 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) S 21011 21016 20959 0 -1 1077944384 44632 13309 0 1 439 9 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10851072 memory=1727520 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10851072 memory=1726492 CPUtime=1.49 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 3397 13309 0 1 66 75 5 3 20 0 15 0 406385786 11111497728 431623 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 2394.55 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1726492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2327.7 s]
/proc/loadavg: 1.34 1.31 1.39 3/232 21504
/proc/meminfo: memFree=28982040/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10851072 memory=1721876 CPUtime=2400.07 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 476495 13309 0 1 239640 359 5 3 20 0 15 0 406385767 11111497728 430469 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2712768 430469 3639 1 0 2674829 0
[pid=21016/tid=21124] ppid=21011 vsize=10851072 memory=1722388 CPUtime=2303.15 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 122652 13309 0 1 230232 75 5 3 20 0 15 0 406385780 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859425295520 139859056795998 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10851072 memory=1722388 CPUtime=15.69 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 37326 13309 0 1 1522 39 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10851072 memory=1729572 CPUtime=15.73 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 37575 13309 0 1 1524 41 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10851072 memory=1735216 CPUtime=15.75 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 35079 13309 0 1 1529 38 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10851072 memory=1721876 CPUtime=15.74 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 26850 13309 0 1 1522 44 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10851072 memory=1731624 CPUtime=6.65 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 28011 13309 0 1 606 51 5 3 20 0 15 0 406385782 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10851072 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 21 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858429338784 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10851072 memory=1722388 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 18 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858228011904 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10851072 memory=1722904 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10851072 memory=1723416 CPUtime=10.99 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 68415 13309 0 1 1081 10 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10851072 memory=1727520 CPUtime=10.92 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) S 21011 21016 20959 0 -1 1077944384 70309 13309 0 1 1075 9 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858977921776 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10851072 memory=1727520 CPUtime=4.56 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) S 21011 21016 20959 0 -1 1077944384 44632 13309 0 1 439 9 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10851072 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10851072 memory=728 CPUtime=1.5 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 3397 13309 0 1 67 75 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1721876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2327.73 s]
# the end of solver process 21016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.47 s, system=3.64713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2327.7 s]
/proc/loadavg: 1.34 1.31 1.39 3/232 21504
/proc/meminfo: memFree=28982040/32770624 swapFree=67003320/67108860
[pid=21016] ppid=21011 vsize=10851072 memory=1721876 CPUtime=2400.07 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21011 21016 20959 0 -1 1077944320 476495 13309 0 1 239640 359 5 3 20 0 15 0 406385767 11111497728 430469 33554432000 4194304 4196468 140735059607072 140735059589616 139859453460215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
/proc/21016/statm: 2712768 430469 3639 1 0 2674829 0
[pid=21016/tid=21124] ppid=21011 vsize=10851072 memory=1722388 CPUtime=2303.15 cores=1,3,5,7
/proc/21016/task/21124/stat : 21124 (java) R 21011 21016 20959 0 -1 4202560 122652 13309 0 1 230232 75 5 3 20 0 15 0 406385780 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859425295520 139859056795998 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21126] ppid=21011 vsize=10851072 memory=1722388 CPUtime=15.69 cores=1,3,5,7
/proc/21016/task/21126/stat : 21126 (java) S 21011 21016 20959 0 -1 1077944384 37326 13309 0 1 1522 39 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859457703056 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21127] ppid=21011 vsize=10851072 memory=1729572 CPUtime=15.73 cores=1,3,5,7
/proc/21016/task/21127/stat : 21127 (java) S 21011 21016 20959 0 -1 1077944384 37575 13309 0 1 1524 41 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859372522512 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21128] ppid=21011 vsize=10851072 memory=1735216 CPUtime=15.75 cores=1,3,5,7
/proc/21016/task/21128/stat : 21128 (java) S 21011 21016 20959 0 -1 1077944384 35079 13309 0 1 1529 38 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859371469712 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21130] ppid=21011 vsize=10851072 memory=1721876 CPUtime=15.74 cores=1,3,5,7
/proc/21016/task/21130/stat : 21130 (java) S 21011 21016 20959 0 -1 1077944384 26850 13309 0 1 1522 44 5 3 20 0 15 0 406385781 11111497728 430469 33554432000 4194304 4196468 140735059607072 139859370416912 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21134] ppid=21011 vsize=10851072 memory=1731624 CPUtime=6.65 cores=1,3,5,7
/proc/21016/task/21134/stat : 21134 (java) S 21011 21016 20959 0 -1 1077944384 28011 13309 0 1 606 51 5 3 20 0 15 0 406385782 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858980026736 139859453471362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21137] ppid=21011 vsize=10851072 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21137/stat : 21137 (java) S 21011 21016 20959 0 -1 1077944384 21 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858429338784 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21139] ppid=21011 vsize=10851072 memory=1722388 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21139/stat : 21139 (java) S 21011 21016 20959 0 -1 1077944384 18 13309 0 1 0 0 5 3 20 0 15 0 406385783 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858228011904 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21141] ppid=21011 vsize=10851072 memory=1722904 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21141/stat : 21141 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139857987721040 139859453478811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21142] ppid=21011 vsize=10851072 memory=1723416 CPUtime=10.99 cores=1,3,5,7
/proc/21016/task/21142/stat : 21142 (java) S 21011 21016 20959 0 -1 1077944384 68415 13309 0 1 1081 10 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858978974576 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21144] ppid=21011 vsize=10851072 memory=1727520 CPUtime=10.92 cores=1,3,5,7
/proc/21016/task/21144/stat : 21144 (java) S 21011 21016 20959 0 -1 1077944384 70309 13309 0 1 1075 9 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858977921776 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21146] ppid=21011 vsize=10851072 memory=1727520 CPUtime=4.56 cores=1,3,5,7
/proc/21016/task/21146/stat : 21146 (java) S 21011 21016 20959 0 -1 1077944384 44632 13309 0 1 439 9 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858976868976 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21148] ppid=21011 vsize=10851072 memory=1540 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21148/stat : 21148 (java) S 21011 21016 20959 0 -1 1077944384 3 13309 0 1 0 0 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139857954163424 139859453470421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
[pid=21016/tid=21150] ppid=21011 vsize=10851072 memory=728 CPUtime=1.5 cores=1,3,5,7
/proc/21016/task/21150/stat : 21150 (java) S 21011 21016 20959 0 -1 1077944384 3397 13309 0 1 67 75 5 3 20 0 15 0 406385786 11111497728 430469 33554432000 4194304 4196468 140735059607072 139858975816368 139859453471362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16379904 140735059610357 140735059612869 140735059612869 140735059615695 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1721876 KiB
Child status: 143
Real time (s): 2327.73
CPU time (s): 2400.12
CPU user time (s): 2396.47
CPU system time (s): 3.64713
CPU usage (%): 103.11
Max. virtual memory (cumulated for all children) (KiB): 10851072
Max. memory (cumulated for all children) (KiB): 2833856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.47
system time used= 3.64713
maximum resident set size= 2833856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490940
page faults= 1
swaps= 0
block input operations= 4184
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192412
involuntary context switches= 7075
# summary of solver processes directly reported to runsolver:
# pid: 21016
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.47
# total CPU system time (s): 3.64713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4292 second user time and 22.5475 second system time
The end