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 (10277 MiB free)
memory of node 1: 16384 MiB (14694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302469-1532897002/watcher-4302469-1532897002 -o /tmp/evaluation-result-4302469-1532897002/solver-4302469-1532897002 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1364878742 HOME/instance-4302469-1532897002.xml
running on 4 cores: 0,2,4,6
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=20256, runsolver pid=20253
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 2.43 2.02 1.89 3/204 20310
/proc/meminfo: memFree=25566864/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=10005480 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 4221 13134 0 0 1 0 5 3 20 0 6 0 107263383 10245611520 4583 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2501370 4583 1931 1 0 2489808 0
[pid=20256/tid=20309] ppid=20253 vsize=10005480 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 2035 13134 0 0 0 0 5 3 20 0 6 0 107263392 10245611520 4583 33554432000 4194304 4196468 140737145014096 140362750284368 140362778469533 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 107263393 10245611520 4583 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=10005480 memory=140458657498752 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 107263393 10245611520 4583 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 6 0 107263393 10245611520 4583 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 107263393 10245611520 4583 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210108 s]*
/proc/loadavg: 2.43 2.02 1.89 3/216 20322
/proc/meminfo: memFree=25542204/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=10982696 memory=45472 CPUtime=0.27 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 8234 13134 0 0 17 2 5 3 20 0 15 0 107263383 11246280704 11368 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2745674 11368 2940 1 0 2708109 0
[pid=20256/tid=20309] ppid=20253 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 4786 13134 0 0 10 1 5 3 20 0 15 0 107263392 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362750245264 140362762528094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=10982696 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=10982696 memory=140458658147761 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=10982696 memory=140458657498752 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263394 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246280704 11368 33554432000 4194304 4196468 140737145014096 140361611600928 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246280704 11368 33554432000 4194304 4196468 140737145014096 140361410274160 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) S 20253 20256 10029 0 -1 1077944384 374 13134 0 0 1 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 251 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=10982696 memory=140458657498752 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) S 20253 20256 10029 0 -1 1077944384 607 13134 0 0 3 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362201221744 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=10982696 memory=140458657498752 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246280704 11368 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45472 KiB
[startup+0.310542 s]*
/proc/loadavg: 2.43 2.02 1.89 3/216 20322
/proc/meminfo: memFree=25530296/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=10983192 memory=56636 CPUtime=0.39 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 10234 13134 0 0 29 2 5 3 20 0 15 0 107263383 11246788608 14159 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2745798 14159 3072 1 0 2708109 0
[pid=20256/tid=20309] ppid=20253 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 6786 13134 0 0 19 1 5 3 20 0 15 0 107263392 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362750259616 140362762528094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263394 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246788608 14206 33554432000 4194304 4196468 140737145014096 140361611600928 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246788608 14206 33554432000 4194304 4196468 140737145014096 140361410274160 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) S 20253 20256 10029 0 -1 1077944384 374 13134 0 0 1 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 254 13134 0 0 1 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=10983192 memory=140458657498752 CPUtime=0.13 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) S 20253 20256 10029 0 -1 1077944384 612 13134 0 0 5 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362201221744 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=10983192 memory=140458657498752 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 14206 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56636 KiB
[startup+0.700749 s]
/proc/loadavg: 2.43 2.02 1.89 3/216 20322
/proc/meminfo: memFree=25518264/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=10983192 memory=89124 CPUtime=1 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 16457 13134 0 0 88 4 5 3 20 0 15 0 107263383 11246788608 22281 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2745798 22281 3231 1 0 2708109 0
[pid=20256/tid=20309] ppid=20253 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 12071 13134 0 0 56 3 5 3 20 0 15 0 107263392 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362750270544 140362778469533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263393 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 5 13134 0 0 0 0 5 3 20 0 15 0 107263394 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246788608 22281 33554432000 4194304 4196468 140737145014096 140361611600928 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=10983192 memory=140458516951824 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263395 11246788608 22281 33554432000 4194304 4196468 140737145014096 140361410274160 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=10983192 memory=140462610448969 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=10983192 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) S 20253 20256 10029 0 -1 1077944384 642 13134 0 0 7 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=10983192 memory=7014751519650764113 CPUtime=0.17 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 866 13134 0 0 9 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) S 20253 20256 10029 0 -1 1077944384 658 13134 0 0 13 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362201221744 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263398 11246788608 22281 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89124 KiB
[startup+1.50082 s]
/proc/loadavg: 2.72 2.09 1.91 4/216 20322
/proc/meminfo: memFree=25473076/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=10998092 memory=177456 CPUtime=2.29 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 23480 13134 0 0 213 8 5 3 20 0 15 0 107263383 11262046208 44364 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2749523 44364 3469 1 0 2711181 0
[pid=20256/tid=20309] ppid=20253 vsize=10998092 memory=9169 CPUtime=1.43 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 17539 13134 0 0 130 5 5 3 20 0 15 0 107263392 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362750279072 140362758723009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 197 13134 0 0 1 0 5 3 20 0 15 0 107263393 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 17 13134 0 0 1 0 5 3 20 0 15 0 107263393 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=10998092 memory=2956 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 31 13134 0 0 1 0 5 3 20 0 15 0 107263393 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=10998092 memory=89124 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 60 13134 0 0 1 0 5 3 20 0 15 0 107263393 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 57 13134 0 0 1 0 5 3 20 0 15 0 107263394 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 14 13134 0 0 0 0 5 3 20 0 15 0 107263395 11262046208 44364 33554432000 4194304 4196468 140737145014096 140361611600992 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263395 11262046208 44364 33554432000 4194304 4196468 140737145014096 140361410274176 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=10998092 memory=4638778398332698720 CPUtime=0.28 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) S 20253 20256 10029 0 -1 1077944384 750 13134 0 0 20 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=10998092 memory=280917034179456 CPUtime=0.3 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 1331 13134 0 0 22 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=10998092 memory=6944656592452807323 CPUtime=0.41 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) S 20253 20256 10029 0 -1 1077944384 1286 13134 0 0 33 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362201221744 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263398 11262046208 44364 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+4.67899 s]
# the end of solver process 20256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0761 s, system=0.24903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20249 s]
/proc/loadavg: 2.72 2.09 1.91 4/216 20322
/proc/meminfo: memFree=25326488/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=11008352 memory=285824 CPUtime=6.47 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 42893 13134 0 0 625 14 5 3 20 0 15 0 107263383 11272552448 71456 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2752088 71456 3494 1 0 2713741 0
[pid=20256/tid=20309] ppid=20253 vsize=11008352 memory=280917033700352 CPUtime=3.08 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 29268 13134 0 0 292 8 5 3 20 0 15 0 107263392 11272552448 71456 33554432000 4194304 4196468 140737145014096 140362750282328 140362309733144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=11008352 memory=280917033700544 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 219 13134 0 0 3 0 5 3 20 0 15 0 107263393 11272552448 71456 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=11008352 memory=280917033700736 CPUtime=0.1 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 28 13134 0 0 2 0 5 3 20 0 15 0 107263393 11272552448 71456 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=11008352 memory=280917033700928 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 57 13134 0 0 3 0 5 3 20 0 15 0 107263393 11272552448 71456 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=11008352 memory=7734202745668187710 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 78 13134 0 0 3 0 5 3 20 0 15 0 107263393 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=11008352 memory=6082796719494554726 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 1138 13134 0 0 3 0 5 3 20 0 15 0 107263394 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=11008352 memory=7956005031678667109 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 14 13134 0 0 0 0 5 3 20 0 15 0 107263395 11272552448 71457 33554432000 4194304 4196468 140737145014096 140361611600992 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=11008352 memory=280917033810256 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263395 11272552448 71457 33554432000 4194304 4196468 140737145014096 140361410274176 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=11008352 memory=7230919886655149920 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=11008352 memory=7302977480693077856 CPUtime=1.24 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) R 20253 20256 10029 0 -1 4202560 3576 13134 0 0 116 0 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362203315488 140362759966886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=11008352 memory=6441083612763218001 CPUtime=1.01 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) R 20253 20256 10029 0 -1 1077944384 2460 13134 0 0 92 1 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362202258624 140362778457813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=11008352 memory=7375035074731005792 CPUtime=1.16 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) R 20253 20256 10029 0 -1 4202560 3899 13134 0 0 107 1 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362201215040 140362764142673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=11008352 memory=7591207856844789600 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=11008352 memory=8098434620982711401 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 107263398 11272552448 71457 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 285824 KiB
[startup+4.00059 s]*
/proc/loadavg: 2.72 2.09 1.91 4/216 20322
/proc/meminfo: memFree=25288912/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=11012448 memory=296600 CPUtime=8.8 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 50648 13134 0 0 854 18 5 3 20 0 15 0 107263383 11276746752 74150 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2753112 74150 3499 1 0 2714765 0
[pid=20256/tid=20309] ppid=20253 vsize=11012448 memory=738995380930871601 CPUtime=3.89 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 33319 13134 0 0 372 9 5 3 20 0 15 0 107263392 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362750277600 140362778459542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=11012448 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 219 13134 0 0 3 0 5 3 20 0 15 0 107263393 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=11012448 memory=3834174017051739808 CPUtime=0.1 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 28 13134 0 0 2 0 5 3 20 0 15 0 107263393 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=11012448 memory=6944656592455359580 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 57 13134 0 0 3 0 5 3 20 0 15 0 107263393 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=11012448 memory=6944656592455360604 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 78 13134 0 0 3 0 5 3 20 0 15 0 107263393 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=11012448 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 1175 13134 0 0 3 0 5 3 20 0 15 0 107263394 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=11012448 memory=3472328279047811119 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 14 13134 0 0 0 0 5 3 20 0 15 0 107263395 11276746752 74150 33554432000 4194304 4196468 140737145014096 140361611600992 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=11012448 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263395 11276746752 74150 33554432000 4194304 4196468 140737145014096 140361410274176 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=11012448 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=11012448 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) R 20253 20256 10029 0 -1 1077944384 4362 13134 0 0 170 0 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=11012448 memory=3184097920075968559 CPUtime=1.52 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 3595 13134 0 0 143 1 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=11012448 memory=3184238378733467312 CPUtime=1.62 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) R 20253 20256 10029 0 -1 4202560 5600 13134 0 0 151 3 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362201214720 140362757880699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=11012448 memory=7959387142431338349 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=11012448 memory=3184238378733467312 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 6 13134 0 0 0 0 5 3 20 0 15 0 107263398 11276746752 74150 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 296600 KiB
[startup+4.40068 s]
/proc/loadavg: 2.72 2.09 1.91 4/216 20322
/proc/meminfo: memFree=25288912/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=11080032 memory=315280 CPUtime=9.52 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 64717 13134 0 0 925 19 5 3 20 0 15 0 107263383 11345952768 78820 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2770008 78820 3502 1 0 2731661 0
[pid=20256/tid=20309] ppid=20253 vsize=11080032 memory=0 CPUtime=4.28 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 47015 13134 0 0 410 10 5 3 20 0 15 0 107263392 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362750278688 140362760012125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=11080032 memory=227444288167542 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 219 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=11080032 memory=227444288167543 CPUtime=0.1 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 28 13134 0 0 2 0 5 3 20 0 15 0 107263393 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=11080032 memory=227444288167544 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 57 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=11080032 memory=227444288167545 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 78 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=11080032 memory=227444288167546 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 1176 13134 0 0 3 0 5 3 20 0 15 0 107263394 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=11080032 memory=227444288167547 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 14 13134 0 0 0 0 5 3 20 0 15 0 107263395 11345952768 78820 33554432000 4194304 4196468 140737145014096 140361611600992 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=11080032 memory=227444288167548 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263395 11345952768 78820 33554432000 4194304 4196468 140737145014096 140361410274176 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=11080032 memory=227444288167549 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=11080032 memory=227444288167550 CPUtime=1.88 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) S 20253 20256 10029 0 -1 1077944384 4421 13134 0 0 180 0 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362203327344 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=11080032 memory=227444288167551 CPUtime=1.63 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) S 20253 20256 10029 0 -1 1077944384 3644 13134 0 0 154 1 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362202274544 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=11080032 memory=227444288167552 CPUtime=1.74 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) R 20253 20256 10029 0 -1 4202560 5864 13134 0 0 163 3 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362201221744 140362771554143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=11080032 memory=227444288167553 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=11080032 memory=227444288167554 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 7 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 78820 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 315280 KiB
[startup+4.60154 s]
/proc/loadavg: 2.72 2.09 1.91 4/216 20322
/proc/meminfo: memFree=25288912/32770624 swapFree=67028832/67108860
[pid=20256] ppid=20253 vsize=11080032 memory=322944 CPUtime=10.11 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 10029 0 -1 1077944320 65115 13134 0 0 984 19 5 3 20 0 15 0 107263383 11345952768 80736 33554432000 4194304 4196468 140737145014096 140737144996640 140362778447607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
/proc/20256/statm: 2770008 80736 3503 1 0 2731661 0
[pid=20256/tid=20309] ppid=20253 vsize=11080032 memory=7316803075424543371 CPUtime=4.47 cores=0,2,4,6
/proc/20256/task/20309/stat : 20309 (java) R 20253 20256 10029 0 -1 4202560 47134 13134 0 0 429 10 5 3 20 0 15 0 107263392 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362750281488 140362762491237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20310] ppid=20253 vsize=11080032 memory=8390361644446492005 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20310/stat : 20310 (java) S 20253 20256 10029 0 -1 1077944384 219 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362782690448 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20311] ppid=20253 vsize=11080032 memory=-7385037593950845031 CPUtime=0.1 cores=0,2,4,6
/proc/20256/task/20311/stat : 20311 (java) S 20253 20256 10029 0 -1 1077944384 28 13134 0 0 2 0 5 3 20 0 15 0 107263393 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362637409296 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20312] ppid=20253 vsize=11080032 memory=-7384994748284246687 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20312/stat : 20312 (java) S 20253 20256 10029 0 -1 1077944384 57 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362636356496 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20313] ppid=20253 vsize=11080032 memory=-7027409196973580132 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20313/stat : 20313 (java) S 20253 20256 10029 0 -1 1077944384 78 13134 0 0 3 0 5 3 20 0 15 0 107263393 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362635303696 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20314] ppid=20253 vsize=11080032 memory=-7595754389018307734 CPUtime=0.11 cores=0,2,4,6
/proc/20256/task/20314/stat : 20314 (java) S 20253 20256 10029 0 -1 1077944384 1176 13134 0 0 3 0 5 3 20 0 15 0 107263394 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362204379504 140362778458754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20315] ppid=20253 vsize=11080032 memory=-2672971631320983069 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20315/stat : 20315 (java) S 20253 20256 10029 0 -1 1077944384 14 13134 0 0 0 0 5 3 20 0 15 0 107263395 11345952768 80736 33554432000 4194304 4196468 140737145014096 140361611600992 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20316] ppid=20253 vsize=11080032 memory=8514701219882107810 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20316/stat : 20316 (java) S 20253 20256 10029 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 107263395 11345952768 80736 33554432000 4194304 4196468 140737145014096 140361410274176 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20317] ppid=20253 vsize=11080032 memory=-7812800578125854346 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20317/stat : 20317 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140361102874448 140362778466203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20318] ppid=20253 vsize=11080032 memory=-8830840380664863373 CPUtime=2.04 cores=0,2,4,6
/proc/20256/task/20318/stat : 20318 (java) R 20253 20256 10029 0 -1 4202560 4463 13134 0 0 196 0 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362203316432 140362764469878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20319] ppid=20253 vsize=11080032 memory=7681421203011431829 CPUtime=1.78 cores=0,2,4,6
/proc/20256/task/20319/stat : 20319 (java) R 20253 20256 10029 0 -1 4202560 3688 13134 0 0 169 1 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362202264336 140362762435249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20320] ppid=20253 vsize=11080032 memory=6656426216303648864 CPUtime=1.82 cores=0,2,4,6
/proc/20256/task/20320/stat : 20320 (java) S 20253 20256 10029 0 -1 1077944384 6054 13134 0 0 171 3 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362201221744 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20321] ppid=20253 vsize=11080032 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20321/stat : 20321 (java) S 20253 20256 10029 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140360672078560 140362778457813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
[pid=20256/tid=20322] ppid=20253 vsize=11080032 memory=6297510457563889772 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20322/stat : 20322 (java) S 20253 20256 10029 0 -1 1077944384 7 13134 0 0 0 0 5 3 20 0 15 0 107263398 11345952768 80736 33554432000 4194304 4196468 140737145014096 140362200169136 140362778458754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140737145023089 140737145025889 140737145025889 140737145028559 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 322944 KiB
Child status: 0
Real time (s): 4.67904
CPU time (s): 10.3251
CPU user time (s): 10.0761
CPU system time (s): 0.24903
CPU usage (%): 220.668
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 322944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0761
system time used= 0.24903
maximum resident set size= 331952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7713
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 20256
# total CPU time (s): 10.3251
# total CPU user time (s): 10.0761
# total CPU system time (s): 0.24903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046548 second user time and 0.088937 second system time
The end