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 (14963 MiB free)
memory of node 1: 16384 MiB (13822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400876-1568675813/watcher-4400876-1568675813 -o /tmp/evaluation-result-4400876-1568675813/solver-4400876-1568675813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22997 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1397057242 HOME/instance-4400876-1568675813.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23613, runsolver pid=23610
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.22 1.30 1.37 3/222 23670
/proc/meminfo: memFree=29469668/32770624 swapFree=67004520/67108860
[pid=23613] ppid=23610 vsize=9989820 memory=17612 CPUtime=0.09 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 4625 13118 0 0 1 0 4 4 20 0 7 0 443820941 10229575680 4403 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2497455 4403 1995 1 0 2485893 0
[pid=23613/tid=23666] ppid=23610 vsize=10055356 memory=4279135703946462094 CPUtime=0.09 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 2461 13118 0 0 1 0 4 4 20 0 7 0 443820950 10296684544 4403 33554432000 4194304 4196468 140731223219344 140055390505744 140055400951968 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10055356 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 7 0 443820950 10296684544 4403 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10055356 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 7 0 443820951 10296684544 4403 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10055356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 7 0 443820951 10296684544 4403 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10055356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 7 0 443820951 10296684544 4403 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10055356 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 7 0 443820952 10296684544 4403 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17612 KiB
[startup+0.210349 s]*
/proc/loadavg: 1.22 1.30 1.37 3/231 23679
/proc/meminfo: memFree=29447336/32770624 swapFree=67004520/67108860
[pid=23613] ppid=23610 vsize=10823808 memory=48100 CPUtime=0.28 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 8511 13118 0 0 18 2 4 4 20 0 15 0 443820941 11083579392 12025 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2705952 12025 3295 1 0 2668052 0
[pid=23613/tid=23666] ppid=23610 vsize=10823808 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 4971 13118 0 0 11 0 4 4 20 0 15 0 443820950 11083579392 11678 33554432000 4194304 4196468 140731223219344 140055390475008 140055411379751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10822180 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820950 11081912320 11621 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10822180 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11081912320 11438 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11080929280 11438 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820951 11080929280 11182 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10821220 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820952 11080929280 11182 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 13 13118 0 0 0 0 4 4 20 0 15 0 443820952 11079880704 11182 33554432000 4194304 4196468 140731223219344 140054333744800 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 21 13118 0 0 0 0 4 4 20 0 15 0 443820953 11079880704 11182 33554432000 4194304 4196468 140731223219344 140054300185840 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11079880704 11182 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 620 13118 0 0 1 0 4 4 20 0 15 0 443820955 11079880704 11182 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 55 13118 0 0 0 0 4 4 20 0 15 0 443820955 11080929280 11182 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10821220 memory=140096771782272 CPUtime=0.11 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 607 13118 0 0 3 0 4 4 20 0 15 0 443820955 11080929280 11182 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11080929280 11247 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10821220 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820956 11080929280 11247 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10823808 KiB
Current children cumulated memory: 48100 KiB
[startup+0.310755 s]*
/proc/loadavg: 1.22 1.30 1.37 4/231 23679
/proc/meminfo: memFree=29437220/32770624 swapFree=67004520/67108860
[pid=23613] ppid=23610 vsize=10820196 memory=52688 CPUtime=0.41 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 10934 13118 0 0 30 3 4 4 20 0 15 0 443820941 11079880704 13172 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2705049 13172 3305 1 0 2667149 0
[pid=23613/tid=23666] ppid=23610 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 7385 13118 0 0 20 1 4 4 20 0 15 0 443820950 11079880704 13172 33554432000 4194304 4196468 140731223219344 140055390482464 140055418674582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820950 11079880704 13172 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820951 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820952 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10820196 memory=140096771782271 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 13 13118 0 0 0 0 4 4 20 0 15 0 443820952 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054333744800 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 21 13118 0 0 0 0 4 4 20 0 15 0 443820953 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054300185840 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 620 13118 0 0 2 0 4 4 20 0 15 0 443820955 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 56 13118 0 0 1 0 4 4 20 0 15 0 443820955 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10820196 memory=140096771782272 CPUtime=0.13 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 615 13118 0 0 5 0 4 4 20 0 15 0 443820955 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11079880704 13172 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10820196 memory=140096771782272 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820956 11079880704 13172 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52688 KiB
[startup+0.701284 s]
/proc/loadavg: 1.22 1.30 1.37 4/231 23679
/proc/meminfo: memFree=29422084/32770624 swapFree=67004520/67108860
[pid=23613] ppid=23610 vsize=10824364 memory=85852 CPUtime=1.12 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 15167 13118 0 0 100 4 4 4 20 0 15 0 443820941 11084148736 21463 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2706091 21463 3512 1 0 2668173 0
[pid=23613/tid=23666] ppid=23610 vsize=10824364 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 10287 13118 0 0 57 3 4 4 20 0 15 0 443820950 11084148736 21463 33554432000 4194304 4196468 140731223219344 140055390448088 140055418684573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10824364 memory=140096668911922 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820950 11084148736 21463 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820951 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820951 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10824364 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 5 13118 0 0 0 0 4 4 20 0 15 0 443820952 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 13 13118 0 0 0 0 4 4 20 0 15 0 443820952 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054333744800 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 21 13118 0 0 0 0 4 4 20 0 15 0 443820953 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054300185840 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) R 23610 23613 22966 0 -1 4202560 1207 13118 0 0 13 0 4 4 20 0 15 0 443820955 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054944266480 140055396685184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10824364 memory=140096665847728 CPUtime=0.2 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) R 23610 23613 22966 0 -1 4202560 530 13118 0 0 12 0 4 4 20 0 15 0 443820955 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054943200032 140055398356840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10824364 memory=27300 CPUtime=0.24 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 884 13118 0 0 16 0 4 4 20 0 15 0 443820955 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11084148736 21463 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10824364 memory=140096665847440 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820956 11084148736 21463 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85852 KiB
[startup+1.50128 s]
/proc/loadavg: 1.22 1.30 1.37 5/231 23679
/proc/meminfo: memFree=29329748/32770624 swapFree=67004520/67108860
[pid=23613] ppid=23610 vsize=10826488 memory=286596 CPUtime=3.5 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 26652 13118 0 0 328 14 4 4 20 0 15 0 443820941 11086323712 71649 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2706622 71649 3573 1 0 2668685 0
[pid=23613/tid=23666] ppid=23610 vsize=10826488 memory=23 CPUtime=1.42 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 11150 13118 0 0 130 4 4 4 20 0 15 0 443820950 11086323712 71649 33554432000 4194304 4196468 140731223219344 140055390497000 140055012104868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10826488 memory=21 CPUtime=0.09 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 62 13118 0 0 1 0 4 4 20 0 15 0 443820950 11086323712 71649 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10826488 memory=27 CPUtime=0.1 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 43 13118 0 0 1 1 4 4 20 0 15 0 443820951 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10826488 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 217 13118 0 0 2 1 4 4 20 0 15 0 443820951 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10826488 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 71 13118 0 0 1 1 4 4 20 0 15 0 443820951 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10826488 memory=7378964797804536657 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 86 13118 0 0 0 0 4 4 20 0 15 0 443820952 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10826488 memory=7308876442096587876 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 13 13118 0 0 0 0 4 4 20 0 15 0 443820952 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054333744800 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10826488 memory=5792588364790654305 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 23 13118 0 0 0 0 4 4 20 0 15 0 443820953 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054300185840 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10826488 memory=5571041044932483173 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10826488 memory=7090464968459708784 CPUtime=0.88 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) R 23610 23613 22966 0 -1 4202560 5951 13118 0 0 79 1 4 4 20 0 15 0 443820955 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054944251144 140055397055899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10826488 memory=7662992857831400557 CPUtime=0.88 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) R 23610 23613 22966 0 -1 4202560 5548 13118 0 0 79 1 4 4 20 0 15 0 443820955 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054943199400 140055402162829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10826488 memory=7373638793748373863 CPUtime=0.39 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 1271 13118 0 0 31 0 4 4 20 0 15 0 443820955 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10826488 memory=6008756748840889188 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11086323712 71649 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10826488 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 1 13118 0 0 0 0 4 4 20 0 15 0 443820956 11086323712 71649 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
################
# More data... #
################
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 96442 13118 0 0 243780 57 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055390496144 140055020550905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.08 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 21173 13118 0 0 176 24 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.09 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 14956 13118 0 0 180 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.08 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 17971 13118 0 0 179 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.08 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 21475 13118 0 0 179 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10844940 memory=2328768 CPUtime=1.49 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 17150 13118 0 0 131 10 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 16 13118 0 0 0 0 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054333744864 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 32 13118 0 0 0 0 4 4 20 0 15 0 443820953 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054300185856 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10844940 memory=2328768 CPUtime=4.5 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 35107 13118 0 0 438 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10844940 memory=2328768 CPUtime=4.14 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 27618 13118 0 0 402 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10844940 memory=2328768 CPUtime=1.53 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 15761 13118 0 0 140 5 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10844940 memory=2328768 CPUtime=1.45 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 2035 13118 0 0 66 71 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 2459.26 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 2328768 KiB
[startup+2502.3 s]
/proc/loadavg: 1.42 1.44 1.50 4/231 24175
/proc/meminfo: memFree=27681704/32770624 swapFree=67004524/67108860
[pid=23613] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2519.48 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 273718 13118 0 0 251729 211 4 4 20 0 15 0 443820941 11105218560 582192 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2711235 582192 3624 1 0 2673293 0
[pid=23613/tid=23666] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2498.31 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 97178 13118 0 0 249766 57 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055390498224 140055019359567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.13 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 21432 13118 0 0 181 24 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.16 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 15164 13118 0 0 187 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 18126 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 21585 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10844940 memory=4420 CPUtime=1.56 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 17404 13118 0 0 137 11 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10844940 memory=137 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 16 13118 0 0 0 0 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054333744864 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 32 13118 0 0 0 0 4 4 20 0 15 0 443820953 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054300185856 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10844940 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10844940 memory=4000 CPUtime=4.5 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 35111 13118 0 0 438 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10844940 memory=47480 CPUtime=4.14 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 27622 13118 0 0 402 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10844940 memory=988 CPUtime=1.53 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 15765 13118 0 0 140 5 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10844940 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10844940 memory=2832 CPUtime=1.48 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 2067 13118 0 0 67 73 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 2519.48 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 2328768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.9 s]
/proc/loadavg: 1.42 1.44 1.50 4/231 24175
/proc/meminfo: memFree=27681704/32770624 swapFree=67004524/67108860
[pid=23613] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2520.08 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 273732 13118 0 0 251789 211 4 4 20 0 15 0 443820941 11105218560 582192 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2711235 582192 3624 1 0 2673293 0
[pid=23613/tid=23666] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2498.91 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 97191 13118 0 0 249826 57 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055390495744 140055019359520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 21432 13118 0 0 182 24 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.16 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 15164 13118 0 0 187 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 18126 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 21585 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10844940 memory=4420 CPUtime=1.56 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 17405 13118 0 0 137 11 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10844940 memory=137 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 16 13118 0 0 0 0 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054333744864 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 32 13118 0 0 0 0 4 4 20 0 15 0 443820953 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054300185856 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10844940 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10844940 memory=2832 CPUtime=4.5 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 35111 13118 0 0 438 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10844940 memory=728 CPUtime=4.14 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 27622 13118 0 0 402 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10844940 memory=4000 CPUtime=1.53 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 15765 13118 0 0 140 5 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10844940 memory=47480 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10844940 memory=988 CPUtime=1.49 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 2067 13118 0 0 68 73 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 2328768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.93 s]
# the end of solver process 23613 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.96 s, system=2.17166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.9 s]
/proc/loadavg: 1.42 1.44 1.50 4/231 24175
/proc/meminfo: memFree=27681704/32770624 swapFree=67004524/67108860
[pid=23613] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2520.08 cores=0,2,4,6
/proc/23613/stat : 23613 (java) S 23610 23613 22966 0 -1 1077944320 273732 13118 0 0 251789 211 4 4 20 0 15 0 443820941 11105218560 582192 33554432000 4194304 4196468 140731223219344 140731223201888 140055418662647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
/proc/23613/statm: 2711235 582192 3624 1 0 2673293 0
[pid=23613/tid=23666] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2498.91 cores=0,2,4,6
/proc/23613/task/23666/stat : 23666 (java) R 23610 23613 22966 0 -1 4202560 97191 13118 0 0 249826 57 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055390495744 140055019359520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23667] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23667/stat : 23667 (java) S 23610 23613 22966 0 -1 1077944384 21432 13118 0 0 182 24 4 4 20 0 15 0 443820950 11105218560 582192 33554432000 4194304 4196468 140731223219344 140055422904848 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23668] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.16 cores=0,2,4,6
/proc/23613/task/23668/stat : 23668 (java) S 23610 23613 22966 0 -1 1077944384 15164 13118 0 0 187 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054992050832 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23669] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23669/stat : 23669 (java) S 23610 23613 22966 0 -1 1077944384 18126 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054990997776 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23670] ppid=23610 vsize=10844940 memory=2328768 CPUtime=2.14 cores=0,2,4,6
/proc/23613/task/23670/stat : 23670 (java) S 23610 23613 22966 0 -1 1077944384 21585 13118 0 0 185 21 4 4 20 0 15 0 443820951 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054989945232 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23671] ppid=23610 vsize=10844940 memory=4420 CPUtime=1.56 cores=0,2,4,6
/proc/23613/task/23671/stat : 23671 (java) S 23610 23613 22966 0 -1 1077944384 17405 13118 0 0 137 11 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054945319664 140055418673794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23672] ppid=23610 vsize=10844940 memory=137 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23672/stat : 23672 (java) S 23610 23613 22966 0 -1 1077944384 16 13118 0 0 0 0 4 4 20 0 15 0 443820952 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054333744864 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23673] ppid=23610 vsize=10844940 memory=2328768 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23673/stat : 23673 (java) S 23610 23613 22966 0 -1 1077944384 32 13118 0 0 0 0 4 4 20 0 15 0 443820953 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054300185856 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23674] ppid=23610 vsize=10844940 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23674/stat : 23674 (java) S 23610 23613 22966 0 -1 1077944384 2 13118 0 0 0 0 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054185896400 140055418681243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23675] ppid=23610 vsize=10844940 memory=2832 CPUtime=4.5 cores=0,2,4,6
/proc/23613/task/23675/stat : 23675 (java) S 23610 23613 22966 0 -1 1077944384 35111 13118 0 0 438 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054944266480 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23676] ppid=23610 vsize=10844940 memory=728 CPUtime=4.14 cores=0,2,4,6
/proc/23613/task/23676/stat : 23676 (java) S 23610 23613 22966 0 -1 1077944384 27622 13118 0 0 402 4 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054943213936 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23677] ppid=23610 vsize=10844940 memory=4000 CPUtime=1.53 cores=0,2,4,6
/proc/23613/task/23677/stat : 23677 (java) S 23610 23613 22966 0 -1 1077944384 15765 13118 0 0 140 5 4 4 20 0 15 0 443820955 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054942160880 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23678] ppid=23610 vsize=10844940 memory=47480 CPUtime=0.08 cores=0,2,4,6
/proc/23613/task/23678/stat : 23678 (java) S 23610 23613 22966 0 -1 1077944384 3 13118 0 0 0 0 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140053716134240 140055418672853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
[pid=23613/tid=23679] ppid=23610 vsize=10844940 memory=988 CPUtime=1.49 cores=0,2,4,6
/proc/23613/task/23679/stat : 23679 (java) S 23610 23613 22966 0 -1 1077944384 2067 13118 0 0 68 73 4 4 20 0 15 0 443820956 11105218560 582192 33554432000 4194304 4196468 140731223219344 140054941109296 140055418673794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 27791360 140731223227119 140731223229637 140731223229637 140731223232463 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 2328768 KiB
Child status: 143
Real time (s): 2502.93
CPU time (s): 2520.13
CPU user time (s): 2517.96
CPU system time (s): 2.17166
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 2808404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.96
system time used= 2.17166
maximum resident set size= 2808404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90544
involuntary context switches= 3554
# summary of solver processes directly reported to runsolver:
# pid: 23613
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.96
# total CPU system time (s): 2.17166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4852 second user time and 21.8589 second system time
The end