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 (2412 MiB free)
memory of node 1: 16384 MiB (2632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403164-1568972369/watcher-4403164-1568972369 -o /tmp/evaluation-result-4403164-1568972369/solver-4403164-1568972369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568967758-23433 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1966387216 HOME/instance-4403164-1568972369.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24374, runsolver pid=24371
[startup+0.100143 s]*
/proc/loadavg: 1.21 1.29 1.38 4/217 24431
/proc/meminfo: memFree=5159824/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 4500 13011 0 0 1 0 5 3 20 0 6 0 473506584 10212057088 4269 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2493178 4269 1935 1 0 2481616 0
[pid=24374/tid=24427] ppid=24371 vsize=9972712 memory=4279135704013962638 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 2300 13011 0 0 1 0 5 3 20 0 6 0 473506593 10212057088 4269 33554432000 4194304 4196468 140728368021200 140098594112080 140098606355836 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 473506594 10212057088 4269 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=9972712 memory=140467039954560 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 473506594 10212057088 4269 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 473506594 10212057088 4269 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 473506594 10212057088 4269 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209945 s]*
/proc/loadavg: 1.21 1.29 1.38 3/226 24440
/proc/meminfo: memFree=5139176/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10820196 memory=42448 CPUtime=0.27 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 7547 13011 0 0 17 2 5 3 20 0 15 0 473506584 11079880704 10612 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2705049 10612 3280 1 0 2667149 0
[pid=24374/tid=24427] ppid=24371 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 4050 13011 0 0 10 1 5 3 20 0 15 0 473506593 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098594086352 140098606355806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10820196 memory=140467039954560 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10820196 memory=140467039954560 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506595 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 473506596 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098075092256 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506596 11079880704 10612 33554432000 4194304 4196468 140728368021200 140097471112816 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11079880704 10612 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) R 24371 24374 23401 0 -1 4202560 488 13011 0 0 1 0 5 3 20 0 15 0 473506598 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098147874928 140098622296666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 178 13011 0 0 1 0 5 3 20 0 15 0 473506598 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10820196 memory=140467039954560 CPUtime=0.11 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 602 13011 0 0 3 0 5 3 20 0 15 0 473506598 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11079880704 10612 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10820196 memory=140467039954560 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506599 11079880704 10612 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42448 KiB
[startup+0.311185 s]*
/proc/loadavg: 1.21 1.29 1.38 3/226 24440
/proc/meminfo: memFree=5126752/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10820196 memory=50644 CPUtime=0.41 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 10902 13011 0 0 29 4 5 3 20 0 15 0 473506584 11079880704 12661 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2705049 12661 3306 1 0 2667149 0
[pid=24374/tid=24427] ppid=24371 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 7386 13011 0 0 19 2 5 3 20 0 15 0 473506593 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098594085256 140098606355806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10820196 memory=7378706451412511083 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10820196 memory=7649539842630828482 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506594 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506595 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 473506596 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098075092256 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506596 11079880704 12661 33554432000 4194304 4196468 140728368021200 140097471112816 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11079880704 12661 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) S 24371 24374 23401 0 -1 1077944384 490 13011 0 0 2 0 5 3 20 0 15 0 473506598 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098147874928 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 179 13011 0 0 2 0 5 3 20 0 15 0 473506598 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 610 13011 0 0 5 0 5 3 20 0 15 0 473506598 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11079880704 12661 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506599 11079880704 12661 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50644 KiB
[startup+0.701208 s]
/proc/loadavg: 1.21 1.29 1.38 3/226 24440
/proc/meminfo: memFree=5112076/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10824364 memory=83328 CPUtime=1.16 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 15061 13011 0 0 102 6 5 3 20 0 15 0 473506584 11084148736 20832 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2706091 20832 3501 1 0 2668173 0
[pid=24374/tid=24427] ppid=24371 vsize=10824364 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 10366 13011 0 0 55 3 5 3 20 0 15 0 473506593 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098594096416 140098605467628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506594 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506594 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 5 13011 0 0 0 0 5 3 20 0 15 0 473506595 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 473506596 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098075092256 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506596 11084148736 20832 33554432000 4194304 4196468 140728368021200 140097471112816 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11084148736 20832 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) R 24371 24374 23401 0 -1 4202560 1047 13011 0 0 15 0 5 3 20 0 15 0 473506598 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098147865040 140098603819478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 581 13011 0 0 12 0 5 3 20 0 15 0 473506598 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 827 13011 0 0 16 0 5 3 20 0 15 0 473506598 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10824364 memory=280933810831600 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11084148736 20832 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506599 11084148736 20832 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83328 KiB
[startup+1.5007 s]
/proc/loadavg: 1.19 1.29 1.38 3/226 24440
/proc/meminfo: memFree=5068276/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10834680 memory=171064 CPUtime=2.52 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 21697 13011 0 0 233 11 5 3 20 0 15 0 473506584 11094712320 42766 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2708670 42766 3582 1 0 2670733 0
[pid=24374/tid=24427] ppid=24371 vsize=10834680 memory=20 CPUtime=1.43 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 15185 13011 0 0 130 5 5 3 20 0 15 0 473506593 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098594068400 140098622287254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10834680 memory=28 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 73 13011 0 0 1 0 5 3 20 0 15 0 473506594 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 363 13011 0 0 1 0 5 3 20 0 15 0 473506594 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 68 13011 0 0 1 0 5 3 20 0 15 0 473506594 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10834680 memory=98976 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 40 13011 0 0 1 0 5 3 20 0 15 0 473506594 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 144 13011 0 0 1 0 5 3 20 0 15 0 473506595 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10834680 memory=7016982484491461719 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 473506596 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098075092320 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10834680 memory=7667209424811287125 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506596 11094712320 42766 33554432000 4194304 4196468 140728368021200 140097471112832 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10834680 memory=7230077746630844779 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11094712320 42766 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10834680 memory=5789193038506583128 CPUtime=0.37 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) S 24371 24374 23401 0 -1 1077944384 1246 13011 0 0 28 1 5 3 20 0 15 0 473506598 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098147874928 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10834680 memory=7668061584910538342 CPUtime=0.33 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 744 13011 0 0 25 0 5 3 20 0 15 0 473506598 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10834680 memory=7016982484491461719 CPUtime=0.5 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 1603 13011 0 0 41 1 5 3 20 0 15 0 473506598 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10834680 memory=7016982484491461719 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11094712320 42766 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10834680 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506599 11094712320 42766 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 171064 KiB
[startup+3.11058 s]
/proc/loadavg: 1.19 1.29 1.38 6/226 24440
/proc/meminfo: memFree=4963284/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10842892 memory=240392 CPUtime=6.4 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 30801 13011 0 0 614 18 5 3 20 0 15 0 473506584 11103121408 60098 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2710723 60098 3602 1 0 2672781 0
[pid=24374/tid=24427] ppid=24371 vsize=10842892 memory=56 CPUtime=3.03 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 18803 13011 0 0 286 9 5 3 20 0 15 0 473506593 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098594107376 140098606355806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 73 13011 0 0 1 0 5 3 20 0 15 0 473506594 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10842892 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 363 13011 0 0 1 0 5 3 20 0 15 0 473506594 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10842892 memory=245139553435308 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 68 13011 0 0 1 0 5 3 20 0 15 0 473506594 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10842892 memory=245139553435309 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 40 13011 0 0 1 0 5 3 20 0 15 0 473506594 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10842892 memory=245139553435310 CPUtime=0.09 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 145 13011 0 0 1 0 5 3 20 0 15 0 473506595 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10842892 memory=20 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 473506596 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098075092320 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10842892 memory=28 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 473506596 11103121408 60098 33554432000 4194304 4196468 140728368021200 140097471112832 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11103121408 60098 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10842892 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) R 24371 24374 23401 0 -1 4202560 2229 13011 0 0 99 1 5 3 20 0 15 0 473506598 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098147856464 140098607399301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10842892 memory=235 CPUtime=1.05 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) R 24371 24374 23401 0 -1 4202560 1949 13011 0 0 96 1 5 3 20 0 15 0 473506598 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098146808184 140098607401179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10842892 memory=190368 CPUtime=1.34 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 4900 13011 0 0 124 2 5 3 20 0 15 0 473506598 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11103121408 60098 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 473506599 11103121408 60098 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 6.4 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 240392 KiB
[startup+6.30073 s]
/proc/loadavg: 1.10 1.27 1.37 3/206 24493
/proc/meminfo: memFree=5779920/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10846988 memory=376052 CPUtime=14.12 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 48644 13011 0 0 1380 24 5 3 20 0 15 0 473506584 11107315712 94013 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2711747 94013 3630 1 0 2673805 0
[pid=24374/tid=24427] ppid=24371 vsize=10846988 memory=343196 CPUtime=6.12 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 23297 13011 0 0 593 11 5 3 20 0 15 0 473506593 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098594110832 140098622287254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10846988 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 329 13011 0 0 5 0 5 3 20 0 15 0 473506594 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10846988 memory=12861 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1019 13011 0 0 4 0 5 3 20 0 15 0 473506594 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10846988 memory=3204163 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 106 13011 0 0 4 0 5 3 20 0 15 0 473506594 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10846988 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 118 13011 0 0 5 0 5 3 20 0 15 0 473506594 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10846988 memory=-9174445032661854264 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 5605 13011 0 0 4 0 5 3 20 0 15 0 473506595 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10846988 memory=328860 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 473506596 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098075092320 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10846988 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506596 11107315712 94013 33554432000 4194304 4196468 140728368021200 140097471112832 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10846988 memory=27856 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11107315712 94013 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10846988 memory=2116 CPUtime=3.04 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) S 24371 24374 23401 0 -1 1077944384 4685 13011 0 0 294 2 5 3 20 0 15 0 473506598 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098147874928 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10846988 memory=12024 CPUtime=3.04 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) R 24371 24374 23401 0 -1 1077944384 4649 13011 0 0 294 2 5 3 20 0 15 0 473506598 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10846988 memory=1560 CPUtime=1.84 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 6597 13011 0 0 173 3 5 3 20 0 15 0 473506598 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10846988 memory=500 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11107315712 94013 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 473506599 11107315712 94013 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 376052 KiB
[startup+6.88017 s]
# the end of solver process 24374 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.2569 s, system=0.286928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 1.10 1.27 1.37 3/206 24493
/proc/meminfo: memFree=5779920/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10846988 memory=376136 CPUtime=14.25 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 48661 13011 0 0 1393 24 5 3 20 0 15 0 473506584 11107315712 94034 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2711747 94034 3630 1 0 2673805 0
[pid=24374/tid=24427] ppid=24371 vsize=10846988 memory=6943526294502006880 CPUtime=6.22 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) R 24371 24374 23401 0 -1 4202560 23297 13011 0 0 603 11 5 3 20 0 15 0 473506593 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098594110832 140098243530298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10846988 memory=6655300316396806240 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 329 13011 0 0 5 0 5 3 20 0 15 0 473506594 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10846988 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1019 13011 0 0 4 0 5 3 20 0 15 0 473506594 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10846988 memory=6943526294502006880 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 106 13011 0 0 4 0 5 3 20 0 15 0 473506594 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10846988 memory=8328137078682933384 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 118 13011 0 0 5 0 5 3 20 0 15 0 473506594 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24432] ppid=24371 vsize=10846988 memory=-7741295725737516405 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24432/stat : 24432 (java) S 24371 24374 23401 0 -1 1077944384 5605 13011 0 0 4 0 5 3 20 0 15 0 473506595 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098148928112 140098622286466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10846988 memory=172544 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 473506596 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098075092320 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10846988 memory=140466905452336 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506596 11107315712 94034 33554432000 4194304 4196468 140728368021200 140097471112832 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24435] ppid=24371 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24435/stat : 24435 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506598 11107315712 94034 33554432000 4194304 4196468 140728368021200 140097163713104 140098622293915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10846988 memory=7524853760689820377 CPUtime=3.04 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) S 24371 24374 23401 0 -1 1077944384 4685 13011 0 0 294 2 5 3 20 0 15 0 473506598 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098147874928 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10846988 memory=4206186544037388384 CPUtime=3.05 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 4654 13011 0 0 295 2 5 3 20 0 15 0 473506598 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10846988 memory=6944656575208382560 CPUtime=1.84 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 6609 13011 0 0 173 3 5 3 20 0 15 0 473506598 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10846988 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 473506599 11107315712 94034 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24440] ppid=24371 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24440/stat : 24440 (java) S 24371 24374 23401 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 473506599 11107315712 94034 33554432000 4194304 4196468 140728368021200 140098144717744 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 376136 KiB
[startup+6.80064 s]
/proc/loadavg: 1.10 1.27 1.37 3/206 24493
/proc/meminfo: memFree=5779920/32770624 swapFree=66938636/67108860
[pid=24374] ppid=24371 vsize=10911496 memory=376424 CPUtime=14.52 cores=1,3,5,7
/proc/24374/stat : 24374 (java) S 24371 24374 23401 0 -1 1077944320 48716 13011 0 0 1420 24 5 3 20 0 12 0 473506584 11173371904 94106 33554432000 4194304 4196468 140728368021200 140728368003744 140098622275319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
/proc/24374/statm: 2727874 94106 3633 1 0 2689932 0
[pid=24374/tid=24427] ppid=24371 vsize=10911496 memory=0 CPUtime=6.46 cores=1,3,5,7
/proc/24374/task/24427/stat : 24427 (java) D 24371 24374 23401 0 -1 4202560 23309 13011 0 0 627 11 5 3 20 0 12 0 473506593 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098594118968 140098614960951 0 0 0 16800975 18446744072100686981 0 0 -1 1 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24428] ppid=24371 vsize=10911496 memory=-9174445032661854264 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24428/stat : 24428 (java) S 24371 24374 23401 0 -1 1077944384 329 13011 0 0 5 0 5 3 20 0 12 0 473506594 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098626517392 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24429] ppid=24371 vsize=10911496 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24429/stat : 24429 (java) S 24371 24374 23401 0 -1 1077944384 1019 13011 0 0 4 0 5 3 20 0 12 0 473506594 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098195609872 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24430] ppid=24371 vsize=10911496 memory=9126232286719478932 CPUtime=0.12 cores=1,3,5,7
/proc/24374/task/24430/stat : 24430 (java) S 24371 24374 23401 0 -1 1077944384 106 13011 0 0 4 0 5 3 20 0 12 0 473506594 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098194557584 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24431] ppid=24371 vsize=10911496 memory=21377 CPUtime=0.13 cores=1,3,5,7
/proc/24374/task/24431/stat : 24431 (java) S 24371 24374 23401 0 -1 1077944384 118 13011 0 0 5 0 5 3 20 0 12 0 473506594 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098193504784 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24433] ppid=24371 vsize=10911496 memory=3488803 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24433/stat : 24433 (java) S 24371 24374 23401 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 12 0 473506596 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098075092320 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24434] ppid=24371 vsize=10911496 memory=5860704123725310038 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24434/stat : 24434 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 12 0 473506596 11173371904 94106 33554432000 4194304 4196468 140728368021200 140097471112832 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24436] ppid=24371 vsize=10911496 memory=6153985703205688934 CPUtime=3.05 cores=1,3,5,7
/proc/24374/task/24436/stat : 24436 (java) S 24371 24374 23401 0 -1 1077944384 4690 13011 0 0 295 2 5 3 20 0 12 0 473506598 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098147874928 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24437] ppid=24371 vsize=10911496 memory=7444825561389879400 CPUtime=3.07 cores=1,3,5,7
/proc/24374/task/24437/stat : 24437 (java) S 24371 24374 23401 0 -1 1077944384 4660 13011 0 0 297 2 5 3 20 0 12 0 473506598 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098146822128 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24438] ppid=24371 vsize=10911496 memory=5860704123725310038 CPUtime=1.84 cores=1,3,5,7
/proc/24374/task/24438/stat : 24438 (java) S 24371 24374 23401 0 -1 1077944384 6609 13011 0 0 173 3 5 3 20 0 12 0 473506598 11173371904 94106 33554432000 4194304 4196468 140728368021200 140098145769840 140098622286466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
[pid=24374/tid=24439] ppid=24371 vsize=10911496 memory=6153985686025819751 CPUtime=0.08 cores=1,3,5,7
/proc/24374/task/24439/stat : 24439 (java) S 24371 24374 23401 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 12 0 473506599 11173371904 94106 33554432000 4194304 4196468 140728368021200 140097130154464 140098622285525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27934720 140728368024303 140728368026821 140728368026821 140728368029647 0
Current children cumulated CPU time: 14.52 s
Current children cumulated vsize: 10911496 KiB
Current children cumulated memory: 376424 KiB
Child status: 0
Real time (s): 6.88022
CPU time (s): 14.5438
CPU user time (s): 14.2569
CPU system time (s): 0.286928
CPU usage (%): 211.386
Max. virtual memory (cumulated for all children) (KiB): 10911496
Max. memory (cumulated for all children) (KiB): 376424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2569
system time used= 0.286928
maximum resident set size= 378300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61750
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= 7990
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 24374
# total CPU time (s): 14.5438
# total CPU user time (s): 14.2569
# total CPU system time (s): 0.286928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064148 second user time and 0.103969 second system time
The end