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 (6692 MiB free)
memory of node 1: 16384 MiB (9965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295278-1532539322/watcher-4295278-1532539322 -o /tmp/evaluation-result-4295278-1532539322/solver-4295278-1532539322 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532523045-23734 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1769005467 HOME/instance-4295278-1532539322.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28027, runsolver pid=28024
[startup+0.10022 s]*
/proc/loadavg: 1.56 1.54 1.47 3/207 28084
/proc/meminfo: memFree=17051948/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=9972712 memory=18324 CPUtime=0.08 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 4232 13145 0 0 0 1 4 3 20 0 6 0 71495372 10212057088 4581 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2493178 4581 1930 1 0 2481616 0
[pid=28027/tid=28080] ppid=28024 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 2041 13145 0 0 0 0 4 3 20 0 6 0 71495382 10212057088 4581 33554432000 4194304 4196468 140735907782256 140626180817488 140626194663219 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=9972712 memory=5793855479181867449 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 6 0 71495382 10212057088 4581 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=9972712 memory=140228171974272 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 6 0 71495382 10212057088 4581 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 6 0 71495382 10212057088 4581 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 6 0 71495382 10212057088 4581 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.209976 s]*
/proc/loadavg: 1.56 1.54 1.47 3/216 28093
/proc/meminfo: memFree=17030344/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10818904 memory=41724 CPUtime=0.25 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 7631 13145 0 0 16 2 4 3 20 0 15 0 71495372 11078557696 10365 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2704726 10365 2952 1 0 2667149 0
[pid=28027/tid=28080] ppid=28024 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 4221 13145 0 0 10 1 4 3 20 0 15 0 71495382 11078557696 10431 33554432000 4194304 4196468 140735907782256 140626180798968 140626189256541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10818904 memory=4211973954376764810 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 15 0 71495382 11078557696 10431 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10818904 memory=140228171974272 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11078557696 10431 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11078557696 10431 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11078557696 10497 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 15 0 71495384 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 33 13145 0 0 0 0 4 3 20 0 15 0 71495384 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625211122592 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495384 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625081000944 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 366 13145 0 0 1 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 239 13145 0 0 0 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10818904 memory=140228171974272 CPUtime=0.1 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 612 13145 0 0 3 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10818904 memory=140228171974272 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495387 11078557696 10497 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41724 KiB
[startup+0.310203 s]*
/proc/loadavg: 1.56 1.54 1.47 3/216 28093
/proc/meminfo: memFree=17019180/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10819352 memory=52688 CPUtime=0.37 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 10256 13145 0 0 27 3 4 3 20 0 15 0 71495372 11079016448 13172 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2704838 13172 3071 1 0 2667149 0
[pid=28027/tid=28080] ppid=28024 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 6786 13145 0 0 18 2 4 3 20 0 15 0 71495382 11079016448 13172 33554432000 4194304 4196468 140735907782256 140626180792736 140626189256514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 13172 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 13172 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 13172 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 13172 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10819352 memory=140228171974271 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 33 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625211122592 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10819352 memory=140228171974272 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625081000944 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 369 13145 0 0 2 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 243 13145 0 0 1 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 619 13145 0 0 4 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 13172 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52688 KiB
[startup+0.700795 s]
/proc/loadavg: 1.56 1.54 1.47 3/216 28093
/proc/meminfo: memFree=17008300/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10819352 memory=84956 CPUtime=0.98 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 16356 13145 0 0 86 5 4 3 20 0 15 0 71495372 11079016448 21239 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2704838 21239 3239 1 0 2667149 0
[pid=28027/tid=28080] ppid=28024 vsize=10819352 memory=21428 CPUtime=0.65 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 11824 13145 0 0 54 4 4 3 20 0 15 0 71495382 11079016448 21239 33554432000 4194304 4196468 140735907782256 140626180803728 140626193061214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 2 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 21239 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10819352 memory=288230583132496621 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 21239 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10819352 memory=15823278816102057 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 21239 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495382 11079016448 21239 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10819352 memory=140228065272320 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 6 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10819352 memory=140230682215400 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 33 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625211122592 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10819352 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495384 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625081000944 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10819352 memory=7305218370954486355 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10819352 memory=7733916894068367721 CPUtime=0.14 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 748 13145 0 0 7 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10819352 memory=6154282490091891024 CPUtime=0.17 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 869 13145 0 0 10 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10819352 memory=5450916479948256810 CPUtime=0.2 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 673 13145 0 0 13 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10819352 memory=-8033973737701895300 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495387 11079016448 21239 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84956 KiB
[startup+1.50141 s]
/proc/loadavg: 1.56 1.54 1.47 3/216 28093
/proc/meminfo: memFree=16964828/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10834252 memory=176720 CPUtime=2.41 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 23927 13145 0 0 225 9 4 3 20 0 15 0 71495372 11094274048 44180 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2708563 44180 3472 1 0 2670221 0
[pid=28027/tid=28080] ppid=28024 vsize=10834252 memory=136360 CPUtime=1.42 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 17160 13145 0 0 129 6 4 3 20 0 15 0 71495382 11094274048 44180 33554432000 4194304 4196468 140735907782256 140626180798304 140626190544287 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10834252 memory=-3117775541953847909 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 67 13145 0 0 1 0 4 3 20 0 15 0 71495382 11094274048 44180 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 19 13145 0 0 1 0 4 3 20 0 15 0 71495382 11094274048 44180 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 174 13145 0 0 1 0 4 3 20 0 15 0 71495382 11094274048 44180 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 23 13145 0 0 1 0 4 3 20 0 15 0 71495382 11094274048 44180 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10834252 memory=260852221551572 CPUtime=0.08 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 54 13145 0 0 1 0 4 3 20 0 15 0 71495384 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10834252 memory=297290490211296509 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 33 13145 0 0 0 0 4 3 20 0 15 0 71495384 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625211122656 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10834252 memory=4638778424102965584 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495384 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625081000960 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10834252 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10834252 memory=280456129937648 CPUtime=0.34 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 1407 13145 0 0 27 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10834252 memory=6935649255759568960 CPUtime=0.33 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 1495 13145 0 0 26 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10834252 memory=-6654167986775156319 CPUtime=0.42 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 1294 13145 0 0 35 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10834252 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10834252 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1 13145 0 0 0 0 4 3 20 0 15 0 71495387 11094274048 44180 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+2324.31 s]
# the end of solver process 28027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2343.27 s, system=1.78274 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2323.2 s]
/proc/loadavg: 1.16 1.25 1.33 3/216 28294
/proc/meminfo: memFree=16600032/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10914144 memory=528344 CPUtime=2343.91 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 189947 13145 0 0 234211 173 4 3 20 0 15 0 71495372 11176083456 132086 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2728536 132086 3523 1 0 2690189 0
[pid=28027/tid=28080] ppid=28024 vsize=10914144 memory=4104 CPUtime=2313.43 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 73739 13145 0 0 231309 27 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626180814608 140625773982328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10914144 memory=3708 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 8453 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10914144 memory=21468 CPUtime=4.1 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 6427 13145 0 0 379 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10914144 memory=528248 CPUtime=4.1 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 12228 13145 0 0 381 22 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10914144 memory=4016 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 6632 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10914144 memory=644 CPUtime=3.92 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 11826 13145 0 0 367 18 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10914144 memory=528248 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 36 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625211122656 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10914144 memory=17476 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625081000960 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10914144 memory=17804 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10914144 memory=3708 CPUtime=3.79 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 26084 13145 0 0 369 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10914144 memory=21468 CPUtime=3.93 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 23081 13145 0 0 383 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10914144 memory=2088 CPUtime=1.71 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 17886 13145 0 0 160 4 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10914144 memory=528248 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10914144 memory=528248 CPUtime=1.28 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1355 13145 0 0 65 56 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 2343.91 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 528344 KiB
[startup+2324 s]*
/proc/loadavg: 1.16 1.25 1.33 3/216 28294
/proc/meminfo: memFree=16600032/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10914144 memory=528344 CPUtime=2344.73 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 189951 13145 0 0 234292 174 4 3 20 0 15 0 71495372 11176083456 132086 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2728536 132086 3523 1 0 2690189 0
[pid=28027/tid=28080] ppid=28024 vsize=10914144 memory=6791534058613427641 CPUtime=2314.23 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 73743 13145 0 0 231389 27 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626180814528 140625782091220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10914144 memory=-7003737579269690708 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 8453 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10914144 memory=840 CPUtime=4.1 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 6427 13145 0 0 379 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10914144 memory=1800 CPUtime=4.11 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 12228 13145 0 0 382 22 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10914144 memory=920 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 6632 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10914144 memory=3848 CPUtime=3.92 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 11826 13145 0 0 367 18 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10914144 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 36 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625211122656 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10914144 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625081000960 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10914144 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10914144 memory=1404 CPUtime=3.79 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 26084 13145 0 0 369 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10914144 memory=3236 CPUtime=3.93 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 23081 13145 0 0 383 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10914144 memory=528344 CPUtime=1.71 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 17886 13145 0 0 160 4 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10914144 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10914144 memory=3232 CPUtime=1.28 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1355 13145 0 0 65 56 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 2344.73 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 528344 KiB
[startup+2324.2 s]
/proc/loadavg: 1.16 1.25 1.33 3/216 28294
/proc/meminfo: memFree=16600032/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10914144 memory=528344 CPUtime=2344.92 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 189951 13145 0 0 234311 174 4 3 20 0 15 0 71495372 11176083456 132086 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2728536 132086 3523 1 0 2690189 0
[pid=28027/tid=28080] ppid=28024 vsize=10914144 memory=288230621803970871 CPUtime=2314.42 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 73743 13145 0 0 231408 27 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626180814528 140625781658501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10914144 memory=13852958290872887 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 8453 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10914144 memory=1572 CPUtime=4.1 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 6427 13145 0 0 379 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10914144 memory=2092 CPUtime=4.11 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 12228 13145 0 0 382 22 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10914144 memory=6791534058613427641 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 6632 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132086 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10914144 memory=2600 CPUtime=3.92 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 11826 13145 0 0 367 18 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10914144 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 36 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625211122656 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10914144 memory=1404 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625081000960 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10914144 memory=3236 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10914144 memory=528248 CPUtime=3.79 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 26084 13145 0 0 369 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10914144 memory=1408 CPUtime=3.93 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 23081 13145 0 0 383 3 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10914144 memory=3232 CPUtime=1.71 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 17886 13145 0 0 160 4 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10914144 memory=523404 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10914144 memory=525944 CPUtime=1.28 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1355 13145 0 0 65 56 4 3 20 0 15 0 71495387 11176083456 132086 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 2344.92 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 528344 KiB
[startup+2324.3 s]
/proc/loadavg: 1.16 1.25 1.33 3/216 28294
/proc/meminfo: memFree=16600032/32770624 swapFree=67108796/67108860
[pid=28027] ppid=28024 vsize=10914144 memory=528352 CPUtime=2345.02 cores=0,2,4,6
/proc/28027/stat : 28027 (java) S 28024 28027 23703 0 -1 1077944320 190301 13145 0 0 234321 174 4 3 20 0 15 0 71495372 11176083456 132088 33554432000 4194304 4196468 140735907782256 140735907764800 140626208980727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
/proc/28027/statm: 2728536 132088 3523 1 0 2690189 0
[pid=28027/tid=28080] ppid=28024 vsize=10914144 memory=528344 CPUtime=2314.52 cores=0,2,4,6
/proc/28027/task/28080/stat : 28080 (java) R 28024 28027 23703 0 -1 4202560 74094 13145 0 0 231418 27 4 3 20 0 15 0 71495382 11176083456 132088 33554432000 4194304 4196468 140735907782256 140626180814528 140625784063584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28081] ppid=28024 vsize=10914144 memory=528248 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28081/stat : 28081 (java) S 28024 28027 23703 0 -1 1077944384 8453 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132088 33554432000 4194304 4196468 140735907782256 140626213223184 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28082] ppid=28024 vsize=10914144 memory=528248 CPUtime=4.1 cores=0,2,4,6
/proc/28027/task/28082/stat : 28082 (java) S 28024 28027 23703 0 -1 1077944384 6427 13145 0 0 379 24 4 3 20 0 15 0 71495382 11176083456 132088 33554432000 4194304 4196468 140735907782256 140626101496720 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28083] ppid=28024 vsize=10914144 memory=528248 CPUtime=4.11 cores=0,2,4,6
/proc/28027/task/28083/stat : 28083 (java) S 28024 28027 23703 0 -1 1077944384 12228 13145 0 0 382 22 4 3 20 0 15 0 71495382 11176083456 132088 33554432000 4194304 4196468 140735907782256 140626100444176 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28084] ppid=28024 vsize=10914144 memory=528248 CPUtime=4.09 cores=0,2,4,6
/proc/28027/task/28084/stat : 28084 (java) S 28024 28027 23703 0 -1 1077944384 6632 13145 0 0 378 24 4 3 20 0 15 0 71495382 11176083456 132088 33554432000 4194304 4196468 140735907782256 140626099391632 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28085] ppid=28024 vsize=10914144 memory=528248 CPUtime=3.92 cores=0,2,4,6
/proc/28027/task/28085/stat : 28085 (java) S 28024 28027 23703 0 -1 1077944384 11826 13145 0 0 367 18 4 3 20 0 15 0 71495384 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625212176368 140626208991874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28086] ppid=28024 vsize=10914144 memory=528248 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28086/stat : 28086 (java) S 28024 28027 23703 0 -1 1077944384 36 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625211122656 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28087] ppid=28024 vsize=10914144 memory=528248 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28087/stat : 28087 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495384 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625081000960 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28088] ppid=28024 vsize=10914144 memory=528248 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28088/stat : 28088 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140624773601488 140626208999323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28089] ppid=28024 vsize=10914144 memory=528248 CPUtime=3.79 cores=0,2,4,6
/proc/28027/task/28089/stat : 28089 (java) S 28024 28027 23703 0 -1 1077944384 26084 13145 0 0 369 3 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625177565680 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28090] ppid=28024 vsize=10914144 memory=528344 CPUtime=3.93 cores=0,2,4,6
/proc/28027/task/28090/stat : 28090 (java) S 28024 28027 23703 0 -1 1077944384 23081 13145 0 0 383 3 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625176513136 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28091] ppid=28024 vsize=10914144 memory=528344 CPUtime=1.71 cores=0,2,4,6
/proc/28027/task/28091/stat : 28091 (java) S 28024 28027 23703 0 -1 1077944384 17886 13145 0 0 160 4 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625175460592 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28092] ppid=28024 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28027/task/28092/stat : 28092 (java) S 28024 28027 23703 0 -1 1077944384 3 13145 0 0 0 0 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140624740043872 140626208990933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
[pid=28027/tid=28093] ppid=28024 vsize=10914144 memory=528344 CPUtime=1.28 cores=0,2,4,6
/proc/28027/task/28093/stat : 28093 (java) S 28024 28027 23703 0 -1 1077944384 1355 13145 0 0 65 56 4 3 20 0 15 0 71495387 11176083456 132088 33554432000 4194304 4196468 140735907782256 140625174407472 140626208991874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8085504 140735907785326 140735907788124 140735907788124 140735907790799 0
Current children cumulated CPU time: 2345.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 528352 KiB
Child status: 0
Real time (s): 2324.31
CPU time (s): 2345.06
CPU user time (s): 2343.27
CPU system time (s): 1.78274
CPU usage (%): 100.892
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 551796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2343.27
system time used= 1.78274
maximum resident set size= 552328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137468
involuntary context switches= 5646
# summary of solver processes directly reported to runsolver:
# pid: 28027
# total CPU time (s): 2345.06
# total CPU user time (s): 2343.27
# total CPU system time (s): 1.78274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0491 second user time and 21.7527 second system time
The end