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 (14148 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259439-1502651400/watcher-4259439-1502651400 -o /tmp/evaluation-result-4259439-1502651400/solver-4259439-1502651400 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259439-1502651400.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=4066, runsolver pid=4063
Current StackSize limit: 8192 KiB
[startup+0.100669 s]*
/proc/loadavg: 1.78 2.00 2.07 3/201 4094
/proc/meminfo: memFree=30291488/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/4066/stat : 4066 (bash) S 4063 4066 8289 0 -1 4202496 899 6481 0 0 0 0 0 1 20 0 1 0 112955154 9867264 378 18446744073709551615 4194304 5098028 140729757751568 140729757745576 140175382293504 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 22216704 140729757753844 140729757753929 140729757753929 140729757757418 0
/proc/4066/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB
[startup+0.209823 s]*
/proc/loadavg: 1.78 2.00 2.07 3/205 4120
/proc/meminfo: memFree=30199260/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=13358716 memory=12740 CPUtime=0.09 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 4391 12734 0 0 1 0 5 3 20 0 6 0 112955154 13679325184 3185 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3339679 3185 1906 1 0 3329176 0
[pid=4066/tid=4116] ppid=4063 vsize=13358716 memory=4134931637327788091 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 2298 12734 0 0 1 0 5 3 20 0 6 0 112955174 13679325184 3251 18446744073709551615 4194304 4196468 140732359215440 139824104149584 139824099935389 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=13358716 memory=664954298551644168 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 6 0 112955175 13679325184 3251 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=13358716 memory=140622231967360 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 6 0 112955175 13679325184 3251 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=13358716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 6 0 112955175 13679325184 3251 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=13358716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2 12734 0 0 0 0 5 3 20 0 6 0 112955175 13679325184 3251 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13358716 KiB
Current children cumulated memory: 12740 KiB
[startup+0.309946 s]*
/proc/loadavg: 1.78 2.00 2.07 3/214 4129
/proc/meminfo: memFree=30069120/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=13974356 memory=28388 CPUtime=0.16 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 6442 12734 0 0 7 1 5 3 20 0 15 0 112955154 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3493589 7097 2803 1 0 3482965 0
[pid=4066/tid=4116] ppid=4063 vsize=13974356 memory=576567874760998942 CPUtime=0.15 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 3551 12734 0 0 6 1 5 3 20 0 15 0 112955174 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139824104136912 139824099925398 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=13974356 memory=4294975228 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=13974356 memory=140622232977315 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2 12734 0 0 0 0 5 3 20 0 15 0 112955175 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=13974356 memory=140622231967360 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 2 12734 0 0 0 0 5 3 20 0 15 0 112955176 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 33 12734 0 0 0 0 5 3 20 0 15 0 112955177 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823015719712 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 21 12734 0 0 0 0 5 3 20 0 15 0 112955177 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823014667376 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 418 12734 0 0 0 0 5 3 20 0 15 0 112955180 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 9 12734 0 0 0 0 5 3 20 0 15 0 112955180 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=13974356 memory=140622231967360 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) R 4063 4066 8289 0 -1 4202560 244 12734 0 0 0 0 5 3 20 0 15 0 112955180 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099925398 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=13974356 memory=140622231967360 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955184 14309740544 7097 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 28388 KiB
[startup+0.700776 s]
/proc/loadavg: 1.78 2.00 2.07 3/214 4129
/proc/meminfo: memFree=29940600/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=13974784 memory=60096 CPUtime=0.7 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 14106 12734 0 0 58 4 5 3 20 0 15 0 112955154 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3493696 15024 3134 1 0 3482965 0
[pid=4066/tid=4116] ppid=4063 vsize=13974784 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 10482 12734 0 0 41 3 5 3 20 0 15 0 112955174 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139824104136704 139824080188772 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=13974784 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955175 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=13974784 memory=14356 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2 12734 0 0 0 0 5 3 20 0 15 0 112955175 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=13974784 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 5 12734 0 0 0 0 5 3 20 0 15 0 112955176 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=13974784 memory=2012 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 33 12734 0 0 0 0 5 3 20 0 15 0 112955177 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823015719712 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=13974784 memory=11136 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 21 12734 0 0 0 0 5 3 20 0 15 0 112955177 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823014667376 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=13974784 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=13974784 memory=4612 CPUtime=0.1 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 617 12734 0 0 2 0 5 3 20 0 15 0 112955180 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=13974784 memory=1436 CPUtime=0.11 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 207 12734 0 0 3 0 5 3 20 0 15 0 112955180 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=13974784 memory=1200 CPUtime=0.18 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 576 12734 0 0 10 0 5 3 20 0 15 0 112955180 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=13974784 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=13974784 memory=4064 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 1 12734 0 0 0 0 5 3 20 0 15 0 112955184 14310178816 15024 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 60096 KiB
[startup+1.50426 s]
/proc/loadavg: 1.78 2.00 2.07 3/214 4129
/proc/meminfo: memFree=29897584/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=13985408 memory=172284 CPUtime=1.93 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 27962 12734 0 0 175 10 5 3 20 0 15 0 112955154 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3496352 43071 3362 1 0 3485525 0
[pid=4066/tid=4116] ppid=4063 vsize=13985408 memory=54696 CPUtime=1.3 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 21216 12734 0 0 116 6 5 3 20 0 15 0 112955174 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139824104139856 139824099935389 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=13985408 memory=88532 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 59 12734 0 0 0 0 5 3 20 0 15 0 112955175 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 37 12734 0 0 0 0 5 3 20 0 15 0 112955175 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=13985408 memory=140622231966209 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 178 12734 0 0 0 0 5 3 20 0 15 0 112955175 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=13985408 memory=281244256679792 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 45 12734 0 0 1 0 5 3 20 0 15 0 112955175 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=13985408 memory=7668898338978489424 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 1207 12734 0 0 1 0 5 3 20 0 15 0 112955176 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=13985408 memory=7373912391685270632 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 55 12734 0 0 0 0 5 3 20 0 15 0 112955177 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823015719776 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=13985408 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 43 12734 0 0 0 0 5 3 20 0 15 0 112955177 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=13985408 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=13985408 memory=8 CPUtime=0.19 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 919 12734 0 0 11 0 5 3 20 0 15 0 112955180 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=13985408 memory=8 CPUtime=0.25 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 732 12734 0 0 17 0 5 3 20 0 15 0 112955180 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=13985408 memory=281244256565856 CPUtime=0.32 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 1309 12734 0 0 24 0 5 3 20 0 15 0 112955180 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=13985408 memory=288230591722430204 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=13985408 memory=13849655444270520 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955184 14321057792 43071 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 172284 KiB
[startup+3.11048 s]
/proc/loadavg: 1.78 2.00 2.07 4/214 4129
/proc/meminfo: memFree=29183268/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=13995836 memory=287236 CPUtime=6.29 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 35638 12734 0 0 604 17 5 3 20 0 15 0 112955154 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3498959 71809 3458 1 0 3487573 0
[pid=4066/tid=4116] ppid=4063 vsize=13995836 memory=284512 CPUtime=2.88 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 24424 12734 0 0 271 9 5 3 20 0 15 0 112955174 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139824104145376 139823742128160 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=13995836 memory=281244256702144 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 62 12734 0 0 1 0 5 3 20 0 15 0 112955175 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=13995836 memory=281244256598592 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 54 12734 0 0 1 0 5 3 20 0 15 0 112955175 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=13995836 memory=55 CPUtime=0.1 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 187 12734 0 0 1 1 5 3 20 0 15 0 112955175 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=13995836 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 66 12734 0 0 1 0 5 3 20 0 15 0 112955175 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=13995836 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 1283 12734 0 0 1 0 5 3 20 0 15 0 112955176 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 55 12734 0 0 0 0 5 3 20 0 15 0 112955177 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823015719776 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=13995836 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 43 12734 0 0 0 0 5 3 20 0 15 0 112955177 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=13995836 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=13995836 memory=55 CPUtime=1.14 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 1880 12734 0 0 105 1 5 3 20 0 15 0 112955180 14331736064 71809 18446744073709551615 4194304 4196468 140732359215440 139823012563664 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
################
# More data... #
################
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 55045 12734 0 0 9948 54 5 3 20 0 15 0 112955174 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139824104145472 139823751448869 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=14067516 memory=4280008 CPUtime=1.81 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 1999 12734 0 0 150 23 5 3 20 0 15 0 112955175 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=14067516 memory=4280008 CPUtime=1.85 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 1215 12734 0 0 152 25 5 3 20 0 15 0 112955175 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=14067516 memory=4280008 CPUtime=1.83 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 1432 12734 0 0 151 24 5 3 20 0 15 0 112955175 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=14067516 memory=4280008 CPUtime=1.83 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2155 12734 0 0 152 23 5 3 20 0 15 0 112955175 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=14067516 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 4363 12734 0 0 14 1 5 3 20 0 15 0 112955176 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=14067516 memory=281244257455936 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 58 12734 0 0 0 0 5 3 20 0 15 0 112955177 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823015719776 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=14067516 memory=4280008 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 49 12734 0 0 0 0 5 3 20 0 15 0 112955177 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=14067516 memory=4280008 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=14067516 memory=4020412 CPUtime=7.33 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 16297 12734 0 0 722 3 5 3 20 0 15 0 112955180 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=14067516 memory=0 CPUtime=7.36 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 13090 12734 0 0 726 2 5 3 20 0 15 0 112955180 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=14067516 memory=4280008 CPUtime=2.33 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 12517 12734 0 0 221 4 5 3 20 0 15 0 112955180 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=14067516 memory=4280008 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=14067516 memory=55 CPUtime=0.11 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 167 12734 0 0 2 1 5 3 20 0 15 0 112955184 14405136384 1070002 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 124.14 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 4280008 KiB
[startup+162.301 s]
/proc/loadavg: 1.90 1.97 2.05 3/214 4135
/proc/meminfo: memFree=22592768/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=14069564 memory=4428084 CPUtime=201.93 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 158886 12734 0 0 19997 188 5 3 20 0 15 0 112955154 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3517391 1107021 3492 1 0 3506005 0
[pid=4066/tid=4116] ppid=4063 vsize=14069564 memory=4428084 CPUtime=155.41 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 73027 12734 0 0 15477 56 5 3 20 0 15 0 112955174 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139824104144288 139823760513910 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=14069564 memory=4429484 CPUtime=6.08 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 3006 12734 0 0 573 27 5 3 20 0 15 0 112955175 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=14069564 memory=4429484 CPUtime=6.12 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 2481 12734 0 0 574 30 5 3 20 0 15 0 112955175 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=14069564 memory=4429484 CPUtime=6.1 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 3499 12734 0 0 574 28 5 3 20 0 15 0 112955175 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=14069564 memory=4428084 CPUtime=6.09 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2655 12734 0 0 574 27 5 3 20 0 15 0 112955175 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=14069564 memory=4428084 CPUtime=0.58 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 10274 12734 0 0 49 1 5 3 20 0 15 0 112955176 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=14069564 memory=4429012 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 66 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823015719840 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=14069564 memory=4429484 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 53 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=14069564 memory=4429484 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=14069564 memory=4428084 CPUtime=9.45 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 20621 12734 0 0 934 3 5 3 20 0 15 0 112955180 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=14069564 memory=4428084 CPUtime=9.8 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 20300 12734 0 0 969 3 5 3 20 0 15 0 112955180 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=14069564 memory=4428080 CPUtime=2.76 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 20511 12734 0 0 264 4 5 3 20 0 15 0 112955180 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=14069564 memory=4429484 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=14069564 memory=7680170660397595203 CPUtime=0.14 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 234 12734 0 0 3 3 5 3 20 0 15 0 112955184 14407233536 1107021 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 201.93 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4428084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+211.501 s]
/proc/loadavg: 2.06 1.99 2.05 3/194 4191
/proc/meminfo: memFree=26891224/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=14069564 memory=4427260 CPUtime=252.05 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 166847 12734 0 0 25006 191 5 3 20 0 15 0 112955154 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3517391 1106815 3495 1 0 3506005 0
[pid=4066/tid=4116] ppid=4063 vsize=14069564 memory=4427260 CPUtime=204.46 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 75568 12734 0 0 20381 57 5 3 20 0 15 0 112955174 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139824104147488 139823760513445 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.23 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 3206 12734 0 0 587 28 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.26 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 2545 12734 0 0 588 30 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.24 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 4469 12734 0 0 588 28 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.24 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2725 12734 0 0 589 27 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=14069564 memory=1724 CPUtime=0.59 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 10318 12734 0 0 50 1 5 3 20 0 15 0 112955176 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=14069564 memory=4427260 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 66 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823015719840 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=14069564 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 53 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=14069564 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=14069564 memory=4427260 CPUtime=9.79 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 23510 12734 0 0 967 4 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=14069564 memory=4427260 CPUtime=9.89 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 20650 12734 0 0 978 3 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=14069564 memory=4427252 CPUtime=2.78 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 21333 12734 0 0 265 5 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=14069564 memory=54704 CPUtime=0.18 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 245 12734 0 0 5 5 5 3 20 0 15 0 112955184 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4427260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+211.548 s]
# the end of solver process 4066 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.139 s, system=1.97562 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+211.501 s]
/proc/loadavg: 2.06 1.99 2.05 3/194 4191
/proc/meminfo: memFree=26891224/32770624 swapFree=67108860/67108860
[pid=4066] ppid=4063 vsize=14069564 memory=4427260 CPUtime=252.05 cores=1,3,5,7
/proc/4066/stat : 4066 (java) S 4063 4066 8289 0 -1 1077944320 166847 12734 0 0 25006 191 5 3 20 0 15 0 112955154 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 140732359197984 139824099913463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
/proc/4066/statm: 3517391 1106815 3495 1 0 3506005 0
[pid=4066/tid=4116] ppid=4063 vsize=14069564 memory=4427260 CPUtime=204.46 cores=1,3,5,7
/proc/4066/task/4116/stat : 4116 (java) R 4063 4066 8289 0 -1 4202560 75568 12734 0 0 20381 57 5 3 20 0 15 0 112955174 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139824104147488 139823760513445 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4117] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.23 cores=1,3,5,7
/proc/4066/task/4117/stat : 4117 (java) S 4063 4066 8289 0 -1 1077944384 3206 12734 0 0 587 28 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823700536208 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4118] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.26 cores=1,3,5,7
/proc/4066/task/4118/stat : 4118 (java) S 4063 4066 8289 0 -1 1077944384 2545 12734 0 0 588 30 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823699483408 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4119] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.24 cores=1,3,5,7
/proc/4066/task/4119/stat : 4119 (java) S 4063 4066 8289 0 -1 1077944384 4469 12734 0 0 588 28 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823698431120 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4120] ppid=4063 vsize=14069564 memory=4427260 CPUtime=6.24 cores=1,3,5,7
/proc/4066/task/4120/stat : 4120 (java) S 4063 4066 8289 0 -1 1077944384 2725 12734 0 0 589 27 5 3 20 0 15 0 112955175 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823697378320 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4121] ppid=4063 vsize=14069564 memory=1724 CPUtime=0.59 cores=1,3,5,7
/proc/4066/task/4121/stat : 4121 (java) S 4063 4066 8289 0 -1 1077944384 10318 12734 0 0 50 1 5 3 20 0 15 0 112955176 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823016773744 139824099924610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4122] ppid=4063 vsize=14069564 memory=4427260 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4122/stat : 4122 (java) S 4063 4066 8289 0 -1 1077944384 66 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823015719840 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4123] ppid=4063 vsize=14069564 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4123/stat : 4123 (java) S 4063 4066 8289 0 -1 1077944384 53 12734 0 0 0 0 5 3 20 0 15 0 112955177 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823014667392 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4124] ppid=4063 vsize=14069564 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4124/stat : 4124 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823013615696 139824099932059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4125] ppid=4063 vsize=14069564 memory=4427260 CPUtime=9.79 cores=1,3,5,7
/proc/4066/task/4125/stat : 4125 (java) S 4063 4066 8289 0 -1 1077944384 23510 12734 0 0 967 4 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823012563568 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4126] ppid=4063 vsize=14069564 memory=4427260 CPUtime=9.89 cores=1,3,5,7
/proc/4066/task/4126/stat : 4126 (java) S 4063 4066 8289 0 -1 1077944384 20650 12734 0 0 978 3 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823011510768 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4127] ppid=4063 vsize=14069564 memory=4427252 CPUtime=2.78 cores=1,3,5,7
/proc/4066/task/4127/stat : 4127 (java) S 4063 4066 8289 0 -1 1077944384 21333 12734 0 0 265 5 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823010458480 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4128] ppid=4063 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/4066/task/4128/stat : 4128 (java) S 4063 4066 8289 0 -1 1077944384 3 12734 0 0 0 0 5 3 20 0 15 0 112955180 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823009405920 139824099923669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
[pid=4066/tid=4129] ppid=4063 vsize=14069564 memory=54704 CPUtime=0.18 cores=1,3,5,7
/proc/4066/task/4129/stat : 4129 (java) S 4063 4066 8289 0 -1 1077944384 245 12734 0 0 5 5 5 3 20 0 15 0 112955184 14407233536 1106815 18446744073709551615 4194304 4196468 140732359215440 139823008352688 139824099924610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24989696 140732359219120 140732359221905 140732359221905 140732359225295 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4427260 KiB
Child status: 143
Real time (s): 211.548
CPU time (s): 252.114
CPU user time (s): 250.139
CPU system time (s): 1.97562
CPU usage (%): 119.176
Max. virtual memory (cumulated for all children) (KiB): 14069636
Max. memory (cumulated for all children) (KiB): 4441652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.139
system time used= 1.97562
maximum resident set size= 4441652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16110
involuntary context switches= 561
# summary of solver processes directly reported to runsolver:
# pid: 4066
# total CPU time (s): 252.114
# total CPU user time (s): 250.139
# total CPU system time (s): 1.97562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24245 second user time and 1.9575 second system time
The end