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 (11612 MiB free)
memory of node 1: 16384 MiB (10792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400814-1568692998/watcher-4400814-1568692998 -o /tmp/evaluation-result-4400814-1568692998/solver-4400814-1568692998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568673290-15914 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=928666443 HOME/instance-4400814-1568692998.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22112, runsolver pid=22109
[startup+0.100092 s]*
/proc/loadavg: 1.49 1.61 1.60 3/220 22169
/proc/meminfo: memFree=22937076/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=9972712 memory=18864 CPUtime=0.09 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 4464 13133 0 0 1 1 5 2 20 0 6 0 445238207 10212057088 4204 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2493178 4204 1935 1 0 2481616 0
[pid=22112/tid=22165] ppid=22109 vsize=9972712 memory=4279135703980344719 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 2256 13133 0 0 0 0 5 2 20 0 6 0 445238217 10212057088 4716 33554432000 4194304 4196468 140725380592640 139982237909584 139982266094749 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 6 0 445238217 10212057088 4716 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=9972712 memory=139765944870528 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 6 0 445238217 10212057088 4716 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 6 0 445238217 10212057088 4716 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 6 0 445238217 10212057088 4716 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB
[startup+0.210395 s]*
/proc/loadavg: 1.49 1.61 1.60 4/229 22178
/proc/meminfo: memFree=22917772/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10820196 memory=41332 CPUtime=0.26 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 7212 13133 0 0 17 2 5 2 20 0 15 0 445238207 11079880704 10333 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2705049 10333 3258 1 0 2667149 0
[pid=22112/tid=22165] ppid=22109 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 3729 13133 0 0 10 1 5 2 20 0 15 0 445238217 11079880704 10333 33554432000 4194304 4196468 140725380592640 139982237889936 139982266094749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10820196 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 10333 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10820196 memory=139765948223486 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 10333 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 10333 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 10333 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10820196 memory=139765944870528 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 13 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981708321824 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981104341872 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11079880704 10333 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 487 13133 0 0 1 0 5 2 20 0 15 0 445238222 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) R 22109 22112 15883 0 -1 4202560 171 13133 0 0 1 0 5 2 20 0 15 0 445238222 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981790563056 139982266094170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10820196 memory=139765944870528 CPUtime=0.1 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 592 13133 0 0 3 0 5 2 20 0 15 0 445238222 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11079880704 10333 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10820196 memory=139765944870528 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238223 11079880704 10333 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41332 KiB
[startup+0.311352 s]*
/proc/loadavg: 1.49 1.61 1.60 4/229 22178
/proc/meminfo: memFree=22904992/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10820196 memory=50016 CPUtime=0.4 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 10728 13133 0 0 29 4 5 2 20 0 15 0 445238207 11079880704 12504 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2705049 12504 3309 1 0 2667149 0
[pid=22112/tid=22165] ppid=22109 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 7217 13133 0 0 18 3 5 2 20 0 15 0 445238217 11079880704 12504 33554432000 4194304 4196468 140725380592640 139982237878192 139982250153310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 12504 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 12504 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 12504 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238217 11079880704 12504 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 13 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981708321824 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238219 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981104341872 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11079880704 12504 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 487 13133 0 0 2 0 5 2 20 0 15 0 445238222 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 182 13133 0 0 2 0 5 2 20 0 15 0 445238222 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10820196 memory=139765944870528 CPUtime=0.12 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 610 13133 0 0 5 0 5 2 20 0 15 0 445238222 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11079880704 12504 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10820196 memory=139765944870528 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238223 11079880704 12504 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50016 KiB
[startup+0.710352 s]
/proc/loadavg: 1.49 1.61 1.60 3/229 22178
/proc/meminfo: memFree=22890568/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10824364 memory=84060 CPUtime=1.14 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 15179 13133 0 0 102 5 5 2 20 0 15 0 445238207 11084148736 21012 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2706091 21015 3513 1 0 2668173 0
[pid=22112/tid=22165] ppid=22109 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 10626 13133 0 0 56 4 5 2 20 0 15 0 445238217 11084148736 21015 33554432000 4194304 4196468 140725380592640 139982237899984 139982266094749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11084148736 21015 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11084148736 21015 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10824364 memory=139765819257616 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238217 11084148736 21015 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10824364 memory=139766825747036 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238217 11084148736 21015 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10824364 memory=612 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 5 13133 0 0 0 0 5 2 20 0 15 0 445238219 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10824364 memory=7302135314614015845 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 13 13133 0 0 0 0 5 2 20 0 15 0 445238219 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981708321824 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10824364 memory=6081102367496956009 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238219 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981104341872 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10824364 memory=14060 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11084148736 21015 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10824364 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) R 22109 22112 15883 0 -1 4202560 919 13133 0 0 15 0 5 2 20 0 15 0 445238222 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981791602720 139982245262368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10824364 memory=23512 CPUtime=0.19 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) R 22109 22112 15883 0 -1 4202560 603 13133 0 0 12 0 5 2 20 0 15 0 445238222 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981790563056 139982247617424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10824364 memory=532 CPUtime=0.24 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) R 22109 22112 15883 0 -1 4202560 802 13133 0 0 17 0 5 2 20 0 15 0 445238222 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981789510256 139982245787580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10824364 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11084148736 21015 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10824364 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238223 11084148736 21015 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84060 KiB
[startup+1.50139 s]
/proc/loadavg: 1.49 1.61 1.60 6/229 22178
/proc/meminfo: memFree=22821912/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10828536 memory=218316 CPUtime=3.45 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 23174 13133 0 0 329 9 5 2 20 0 15 0 445238207 11088420864 54579 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2707134 54579 3583 1 0 2669197 0
[pid=22112/tid=22165] ppid=22109 vsize=10828536 memory=67448 CPUtime=1.43 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 13423 13133 0 0 130 6 5 2 20 0 15 0 445238217 11088420864 54579 33554432000 4194304 4196468 140725380592640 139982237873472 139982247636398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10828536 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 86 13133 0 0 1 0 5 2 20 0 15 0 445238217 11088420864 54579 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10828536 memory=279531638546592 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238217 11088420864 54579 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 7 13133 0 0 0 0 5 2 20 0 15 0 445238217 11088420864 54579 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 343 13133 0 0 0 0 5 2 20 0 15 0 445238217 11088420864 54579 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 100 13133 0 0 0 0 5 2 20 0 15 0 445238219 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 14 13133 0 0 0 0 5 2 20 0 15 0 445238219 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981708321824 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 1 13133 0 0 0 0 5 2 20 0 15 0 445238219 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981104341888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10828536 memory=-2245088631185882904 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11088420864 54579 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10828536 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) R 22109 22112 15883 0 -1 4202560 2747 13133 0 0 75 0 5 2 20 0 15 0 445238222 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981791615856 139982250981976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10828536 memory=10 CPUtime=0.8 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 2247 13133 0 0 73 0 5 2 20 0 15 0 445238222 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10828536 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 1989 13133 0 0 46 0 5 2 20 0 15 0 445238222 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10828536 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11088420864 54579 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10828536 memory=279531638791040 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238223 11088420864 54579 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 10828536 KiB
################
# More data... #
################
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 152202 13133 0 0 235772 69 5 2 20 0 15 0 445238217 11109412864 111841 33554432000 4194304 4196468 140725380592640 139982237908688 139981866994862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10849036 memory=443540 CPUtime=14.73 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 21386 13133 0 0 1420 46 5 2 20 0 15 0 445238217 11109412864 111841 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10849036 memory=447364 CPUtime=14.72 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 25331 13133 0 0 1420 45 5 2 20 0 15 0 445238217 11109412864 111841 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10849036 memory=426424 CPUtime=14.71 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 24869 13133 0 0 1415 49 5 2 20 0 15 0 445238217 11109412864 111841 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10849036 memory=445856 CPUtime=14.71 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 22337 13133 0 0 1412 52 5 2 20 0 15 0 445238217 11109412864 111841 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10849036 memory=436340 CPUtime=6.26 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 19124 13133 0 0 549 70 5 2 20 0 15 0 445238219 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10849036 memory=432984 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 17 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981708321888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10849036 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981104341888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10849036 memory=139 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 111841 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10849036 memory=426184 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 31125 13133 0 0 961 3 5 2 20 0 15 0 445238222 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10849036 memory=3624 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 27150 13133 0 0 957 7 5 2 20 0 15 0 445238222 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10849036 memory=445856 CPUtime=3.03 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 31587 13133 0 0 290 6 5 2 20 0 15 0 445238222 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10849036 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 111841 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10849036 memory=416256 CPUtime=1.46 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1127 13133 0 0 72 67 5 2 20 0 15 0 445238223 11109412864 111841 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 2447.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 447364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.26 1.34 1.39 3/227 22529
/proc/meminfo: memFree=26196380/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10849036 memory=420108 CPUtime=2508.22 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 362887 13133 0 0 250428 387 5 2 20 0 15 0 445238207 11109412864 105027 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2712259 105027 3642 1 0 2674317 0
[pid=22112/tid=22165] ppid=22109 vsize=10849036 memory=6791534058613427641 CPUtime=2417.82 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 154851 13133 0 0 241705 70 5 2 20 0 15 0 445238217 11109412864 105027 33554432000 4194304 4196468 140725380592640 139982237908480 139981864505085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10849036 memory=432144 CPUtime=15.14 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 21761 13133 0 0 1460 47 5 2 20 0 15 0 445238217 11109412864 105027 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10849036 memory=419244 CPUtime=15.14 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 25796 13133 0 0 1461 46 5 2 20 0 15 0 445238217 11109412864 105027 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10849036 memory=433192 CPUtime=15.13 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 25240 13133 0 0 1455 51 5 2 20 0 15 0 445238217 11109412864 105027 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10849036 memory=427440 CPUtime=15.13 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 22635 13133 0 0 1452 54 5 2 20 0 15 0 445238217 11109412864 105027 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10849036 memory=424364 CPUtime=6.42 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 19350 13133 0 0 563 72 5 2 20 0 15 0 445238219 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10849036 memory=424876 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 17 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981708321888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10849036 memory=420108 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981104341888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10849036 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 105027 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10849036 memory=1424 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 31127 13133 0 0 961 3 5 2 20 0 15 0 445238222 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10849036 memory=425388 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 27152 13133 0 0 957 7 5 2 20 0 15 0 445238222 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10849036 memory=426416 CPUtime=3.03 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 31589 13133 0 0 290 6 5 2 20 0 15 0 445238222 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10849036 memory=433084 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 105027 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10849036 memory=1408 CPUtime=1.5 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1156 13133 0 0 74 69 5 2 20 0 15 0 445238223 11109412864 105027 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 2508.22 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 420108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.9 s]
/proc/loadavg: 1.37 1.36 1.39 3/227 22529
/proc/meminfo: memFree=26201476/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10849036 memory=418764 CPUtime=2520.07 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 363348 13133 0 0 251611 389 5 2 20 0 15 0 445238207 11109412864 104691 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2712259 104691 3642 1 0 2674317 0
[pid=22112/tid=22165] ppid=22109 vsize=10849036 memory=417028 CPUtime=2429.3 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 155281 13133 0 0 242853 70 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982237908496 139981866994633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10849036 memory=432144 CPUtime=15.22 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 21763 13133 0 0 1468 47 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10849036 memory=419244 CPUtime=15.22 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 25798 13133 0 0 1469 46 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10849036 memory=427440 CPUtime=15.21 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 25243 13133 0 0 1463 51 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10849036 memory=424364 CPUtime=15.21 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 22638 13133 0 0 1460 54 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10849036 memory=419084 CPUtime=6.45 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 19369 13133 0 0 566 72 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10849036 memory=424876 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 17 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981708321888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10849036 memory=433192 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981104341888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10849036 memory=418056 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10849036 memory=420304 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 31127 13133 0 0 961 3 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10849036 memory=419276 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 27152 13133 0 0 957 7 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10849036 memory=418764 CPUtime=3.03 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 31589 13133 0 0 290 6 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10849036 memory=419788 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10849036 memory=3624 CPUtime=1.51 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1158 13133 0 0 74 70 5 2 20 0 15 0 445238223 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 418764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.93 s]
# the end of solver process 22112 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.19 s, system=3.93316 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.9 s]
/proc/loadavg: 1.37 1.36 1.39 3/227 22529
/proc/meminfo: memFree=26201476/32770624 swapFree=66999436/67108860
[pid=22112] ppid=22109 vsize=10849036 memory=418764 CPUtime=2520.07 cores=0,2,4,6
/proc/22112/stat : 22112 (java) S 22109 22112 15883 0 -1 1077944320 363348 13133 0 0 251611 389 5 2 20 0 15 0 445238207 11109412864 104691 33554432000 4194304 4196468 140725380592640 140725380575184 139982266072823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
/proc/22112/statm: 2712259 104691 3642 1 0 2674317 0
[pid=22112/tid=22165] ppid=22109 vsize=10849036 memory=417028 CPUtime=2429.3 cores=0,2,4,6
/proc/22112/task/22165/stat : 22165 (java) R 22109 22112 15883 0 -1 4202560 155281 13133 0 0 242853 70 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982237908496 139981866994633 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22166] ppid=22109 vsize=10849036 memory=432144 CPUtime=15.22 cores=0,2,4,6
/proc/22112/task/22166/stat : 22166 (java) S 22109 22112 15883 0 -1 1077944384 21763 13133 0 0 1468 47 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982270315664 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22167] ppid=22109 vsize=10849036 memory=419244 CPUtime=15.22 cores=0,2,4,6
/proc/22112/task/22167/stat : 22167 (java) S 22109 22112 15883 0 -1 1077944384 25798 13133 0 0 1469 46 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982185135120 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22168] ppid=22109 vsize=10849036 memory=427440 CPUtime=15.21 cores=0,2,4,6
/proc/22112/task/22168/stat : 22168 (java) S 22109 22112 15883 0 -1 1077944384 25243 13133 0 0 1463 51 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982184082320 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22169] ppid=22109 vsize=10849036 memory=424364 CPUtime=15.21 cores=0,2,4,6
/proc/22112/task/22169/stat : 22169 (java) S 22109 22112 15883 0 -1 1077944384 22638 13133 0 0 1460 54 5 2 20 0 15 0 445238217 11109412864 104691 33554432000 4194304 4196468 140725380592640 139982183029520 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22170] ppid=22109 vsize=10849036 memory=419084 CPUtime=6.45 cores=0,2,4,6
/proc/22112/task/22170/stat : 22170 (java) S 22109 22112 15883 0 -1 1077944384 19369 13133 0 0 566 72 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981792668016 139982266083970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22171] ppid=22109 vsize=10849036 memory=424876 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22171/stat : 22171 (java) S 22109 22112 15883 0 -1 1077944384 17 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981708321888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22172] ppid=22109 vsize=10849036 memory=433192 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22172/stat : 22172 (java) S 22109 22112 15883 0 -1 1077944384 2 13133 0 0 0 0 5 2 20 0 15 0 445238219 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981104341888 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22173] ppid=22109 vsize=10849036 memory=418056 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22173/stat : 22173 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139980796942160 139982266091419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22174] ppid=22109 vsize=10849036 memory=420304 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22174/stat : 22174 (java) S 22109 22112 15883 0 -1 1077944384 31127 13133 0 0 961 3 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981791615856 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22175] ppid=22109 vsize=10849036 memory=419276 CPUtime=9.71 cores=0,2,4,6
/proc/22112/task/22175/stat : 22175 (java) S 22109 22112 15883 0 -1 1077944384 27152 13133 0 0 957 7 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981790563056 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22176] ppid=22109 vsize=10849036 memory=418764 CPUtime=3.03 cores=0,2,4,6
/proc/22112/task/22176/stat : 22176 (java) S 22109 22112 15883 0 -1 1077944384 31589 13133 0 0 290 6 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981789510256 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22177] ppid=22109 vsize=10849036 memory=419788 CPUtime=0.07 cores=0,2,4,6
/proc/22112/task/22177/stat : 22177 (java) S 22109 22112 15883 0 -1 1077944384 3 13133 0 0 0 0 5 2 20 0 15 0 445238222 11109412864 104691 33554432000 4194304 4196468 140725380592640 139980763384544 139982266083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
[pid=22112/tid=22178] ppid=22109 vsize=10849036 memory=3624 CPUtime=1.51 cores=0,2,4,6
/proc/22112/task/22178/stat : 22178 (java) S 22109 22112 15883 0 -1 1077944384 1158 13133 0 0 74 70 5 2 20 0 15 0 445238223 11109412864 104691 33554432000 4194304 4196468 140725380592640 139981788457648 139982266083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140725380598512 140725380601029 140725380601029 140725380603855 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 418764 KiB
Child status: 143
Real time (s): 2453.93
CPU time (s): 2520.12
CPU user time (s): 2516.19
CPU system time (s): 3.93316
CPU usage (%): 102.698
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 2121600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.93316
maximum resident set size= 2125696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186339
involuntary context switches= 6531
# summary of solver processes directly reported to runsolver:
# pid: 22112
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.19
# total CPU system time (s): 3.93316
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9866 second user time and 22.7158 second system time
The end