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 (1592 MiB free)
memory of node 1: 16384 MiB (10524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290057-1532216459/watcher-4290057-1532216459 -o /tmp/evaluation-result-4290057-1532216459/solver-4290057-1532216459 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532209881-27635 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290057-1532216459.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=28660, runsolver pid=28657
[startup+0.101257 s]*
/proc/loadavg: 3.14 2.41 2.62 3/216 28675
/proc/meminfo: memFree=12390284/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10659012 memory=29520 CPUtime=0.13 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 7012 0 0 0 11 2 0 0 20 0 15 0 39209095 10914828288 7380 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2664753 7380 2812 1 0 2627263 0
[pid=28660/tid=28662] ppid=28657 vsize=10659012 memory=-8125511277465473918 CPUtime=0.09 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 4800 0 0 0 8 1 0 0 20 0 15 0 39209095 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575792578352 140575788367254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209097 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39209098 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39209098 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209100 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 39209100 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 39209100 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0.02 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 39209100 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209101 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209101 10914828288 7380 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29520 KiB
[startup+0.210675 s]*
/proc/loadavg: 3.14 2.41 2.62 4/216 28675
/proc/meminfo: memFree=12379940/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10659012 memory=40832 CPUtime=0.33 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 8332 0 0 0 31 2 0 0 20 0 15 0 39209095 10914828288 10208 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2664753 10208 3002 1 0 2627263 0
[pid=28660/tid=28662] ppid=28657 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 5144 0 0 0 19 1 0 0 20 0 15 0 39209095 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575792593472 140575772398949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10659012 memory=140333292075423 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209096 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209097 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39209098 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39209098 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209100 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 39209100 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 760 0 0 0 2 0 0 0 20 0 15 0 39209100 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0.07 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) R 28657 28660 25105 0 -1 4202560 810 0 0 0 7 0 0 0 20 0 15 0 39209100 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575273592944 140575781452155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209101 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10659012 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209101 10914828288 10208 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40832 KiB
[startup+0.31064 s]*
/proc/loadavg: 3.14 2.41 2.62 3/216 28675
/proc/meminfo: memFree=12372372/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10659088 memory=46172 CPUtime=0.51 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 9368 0 0 0 48 3 0 0 20 0 15 0 39209095 10914906112 11543 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2664772 11543 3047 1 0 2627263 0
[pid=28660/tid=28662] ppid=28657 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 5934 0 0 0 28 2 0 0 20 0 15 0 39209095 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575792591888 140575788367254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10659088 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10659088 memory=140333292073759 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209096 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209096 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10659088 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39209097 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39209098 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39209098 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209100 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 383 0 0 0 4 0 0 0 20 0 15 0 39209100 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 777 0 0 0 3 0 0 0 20 0 15 0 39209100 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10659088 memory=140333291869824 CPUtime=0.11 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) R 28657 28660 25105 0 -1 4202560 906 0 0 0 11 0 0 0 20 0 15 0 39209100 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575273592944 140575772435806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39209101 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10659088 memory=140333291869824 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39209101 10914906112 11543 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46172 KiB
[startup+0.700968 s]
/proc/loadavg: 3.14 2.41 2.62 5/216 28675
/proc/meminfo: memFree=12333592/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10725652 memory=91100 CPUtime=1.71 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 12300 0 0 0 166 5 0 0 20 0 16 0 39209095 10983067648 22775 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2681413 22775 3109 1 0 2643904 0
[pid=28660/tid=28662] ppid=28657 vsize=10725652 memory=2416 CPUtime=0.67 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 6137 0 0 0 65 2 0 0 20 0 16 0 39209095 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575792591872 140575788367254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10725652 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10725652 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10725652 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10725652 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10725652 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 39209097 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10725652 memory=7518026621751088999 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10725652 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10725652 memory=5787213848925131109 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209100 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10725652 memory=-7749694995119233653 CPUtime=0.38 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) R 28657 28660 25105 0 -1 4202560 1631 0 0 0 38 0 0 0 20 0 16 0 39209100 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575275685056 140575771847813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10725652 memory=8326441112149131689 CPUtime=0.37 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) R 28657 28660 25105 0 -1 4202560 1747 0 0 0 37 0 0 0 20 0 16 0 39209100 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575274635936 140575769876504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10725652 memory=6944656592455360569 CPUtime=0.25 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 1393 0 0 0 25 0 0 0 20 0 16 0 39209100 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28676] ppid=28657 vsize=10725652 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28676/stat : 28676 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209146 10983067648 22775 33554432000 4194304 4196468 140720611131248 140575270434224 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 91100 KiB
[startup+1.50085 s]
/proc/loadavg: 3.14 2.41 2.62 3/217 28676
/proc/meminfo: memFree=12327428/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10725652 memory=96828 CPUtime=2.97 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 16275 0 0 0 292 5 0 0 20 0 16 0 39209095 10983067648 24207 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2681413 24207 3119 1 0 2643904 0
[pid=28660/tid=28662] ppid=28657 vsize=10725652 memory=6737 CPUtime=1.47 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 6683 0 0 0 145 2 0 0 20 0 16 0 39209095 10983067648 24207 33554432000 4194304 4196468 140720611131248 140575792591992 140575427427863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10725652 memory=3905804167029194784 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 24207 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 24207 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 24207 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 24207 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
################
# More data... #
################
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 17301 0 0 0 495 6 0 0 20 0 16 0 39209095 10983067648 25603 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2681413 25603 3121 1 0 2643904 0
[pid=28660/tid=28662] ppid=28657 vsize=10725652 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 6694 0 0 0 305 2 0 0 20 0 16 0 39209095 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575792591992 140575427340984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10725652 memory=99784 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10725652 memory=99784 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10725652 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 39209097 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10725652 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10725652 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10725652 memory=7305209570698223702 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10725652 memory=7733924590684300632 CPUtime=0.83 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 4093 0 0 0 82 1 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10725652 memory=280666315175656 CPUtime=0.78 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 3398 0 0 0 77 1 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10725652 memory=7380671248541445222 CPUtime=0.29 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 1647 0 0 0 29 0 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10725652 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10725652 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28676] ppid=28657 vsize=10725652 memory=7378705338933264492 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28676/stat : 28676 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209146 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575270434224 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 102412 KiB
[startup+3.54147 s]
# the end of solver process 28660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.19528 s, system=0.068557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 3.05 2.40 2.62 3/217 28676
/proc/meminfo: memFree=12316476/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10725652 memory=102412 CPUtime=5.1 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 17301 0 0 0 504 6 0 0 20 0 16 0 39209095 10983067648 25603 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2681413 25603 3121 1 0 2643904 0
[pid=28660/tid=28662] ppid=28657 vsize=10725652 memory=13976 CPUtime=3.16 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) R 28657 28660 25105 0 -1 4202560 6694 0 0 0 314 2 0 0 20 0 16 0 39209095 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575792591992 140575427054272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10725652 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10725652 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10725652 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10725652 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10725652 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 39209097 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10725652 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209098 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10725652 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10725652 memory=15876 CPUtime=0.83 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 4093 0 0 0 82 1 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10725652 memory=16436 CPUtime=0.78 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 3398 0 0 0 77 1 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10725652 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 1647 0 0 0 29 0 0 0 20 0 16 0 39209100 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10725652 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 39209101 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28676] ppid=28657 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28676/stat : 28676 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209146 10983067648 25603 33554432000 4194304 4196468 140720611131248 140575270434224 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 102412 KiB
[startup+3.40078 s]
/proc/loadavg: 3.05 2.40 2.62 3/217 28676
/proc/meminfo: memFree=12316476/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10858780 memory=106568 CPUtime=5.24 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 17689 0 0 0 518 6 0 0 20 0 16 0 39209095 11119390720 26642 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2714695 26642 3123 1 0 2677186 0
[pid=28660/tid=28662] ppid=28657 vsize=10858780 memory=3689918361902338411 CPUtime=3.3 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) S 28657 28660 25105 0 -1 1077944384 6923 0 0 0 327 3 0 0 20 0 16 0 39209095 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575792596000 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10858780 memory=222249 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10858780 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10858780 memory=7518026621751088999 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10858780 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 39209097 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10858780 memory=5787213848925131109 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39209098 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10858780 memory=7595711546497918567 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209098 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10858780 memory=5787213827063244903 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10858780 memory=7883385591275283025 CPUtime=0.84 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 4095 0 0 0 83 1 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10858780 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 3400 0 0 0 77 1 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10858780 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 1657 0 0 0 29 0 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10858780 memory=7897447025732043678 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209101 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10858780 memory=140333157753488 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 39209101 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 106568 KiB
[startup+3.50077 s]
/proc/loadavg: 3.05 2.40 2.62 3/217 28676
/proc/meminfo: memFree=12316476/32770624 swapFree=67108860/67108860
[pid=28660] ppid=28657 vsize=10858780 memory=106568 CPUtime=5.24 cores=1,3,5,7
/proc/28660/stat : 28660 (java) S 28657 28660 25105 0 -1 1077944320 17689 0 0 0 518 6 0 0 20 0 16 0 39209095 11119390720 26642 33554432000 4194304 4196468 140720611131248 140720611113792 140575788355319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
/proc/28660/statm: 2714695 26642 3123 1 0 2677186 0
[pid=28660/tid=28662] ppid=28657 vsize=10858780 memory=102412 CPUtime=3.3 cores=1,3,5,7
/proc/28660/task/28662/stat : 28662 (java) S 28657 28660 25105 0 -1 1077944384 6923 0 0 0 327 3 0 0 20 0 16 0 39209095 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575792596000 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28663] ppid=28657 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28663/stat : 28663 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575758068368 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28664] ppid=28657 vsize=10858780 memory=99784 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28664/stat : 28664 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575393581584 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28665] ppid=28657 vsize=10858780 memory=99784 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28665/stat : 28665 (java) S 28657 28660 25105 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575392528784 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28666] ppid=28657 vsize=10858780 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28666/stat : 28666 (java) S 28657 28660 25105 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39209096 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575391475984 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28667] ppid=28657 vsize=10858780 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28667/stat : 28667 (java) S 28657 28660 25105 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 39209097 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575279909744 140575788366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28668] ppid=28657 vsize=10858780 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28668/stat : 28668 (java) S 28657 28660 25105 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 39209098 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575278855712 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28669] ppid=28657 vsize=10858780 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28669/stat : 28669 (java) S 28657 28660 25105 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39209098 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575277802864 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28670] ppid=28657 vsize=10858780 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28670/stat : 28670 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575276751184 140575788373915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28671] ppid=28657 vsize=10858780 memory=280666315375136 CPUtime=0.84 cores=1,3,5,7
/proc/28660/task/28671/stat : 28671 (java) S 28657 28660 25105 0 -1 1077944384 4095 0 0 0 83 1 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575275698544 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28672] ppid=28657 vsize=10858780 memory=280666315379584 CPUtime=0.78 cores=1,3,5,7
/proc/28660/task/28672/stat : 28672 (java) S 28657 28660 25105 0 -1 1077944384 3400 0 0 0 77 1 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575274645744 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28673] ppid=28657 vsize=10858780 memory=6452091021823076411 CPUtime=0.29 cores=1,3,5,7
/proc/28660/task/28673/stat : 28673 (java) S 28657 28660 25105 0 -1 1077944384 1657 0 0 0 29 0 0 0 20 0 16 0 39209100 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575273592944 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28674] ppid=28657 vsize=10858780 memory=8243114992657236051 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28674/stat : 28674 (java) S 28657 28660 25105 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39209101 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575272540384 140575788365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
[pid=28660/tid=28675] ppid=28657 vsize=10858780 memory=288289995482202990 CPUtime=0 cores=1,3,5,7
/proc/28660/task/28675/stat : 28675 (java) S 28657 28660 25105 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 39209101 11119390720 26642 33554432000 4194304 4196468 140720611131248 140575271488688 140575788366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22417408 140720611136625 140720611136777 140720611136777 140720611139535 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 106568 KiB
Child status: 0
Real time (s): 3.54151
CPU time (s): 5.26383
CPU user time (s): 5.19528
CPU system time (s): 0.068557
CPU usage (%): 148.632
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 106568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.19528
system time used= 0.068557
maximum resident set size= 111136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1677
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 28660
# total CPU time (s): 5.26383
# total CPU user time (s): 5.19528
# total CPU system time (s): 0.068557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041161 second user time and 0.082165 second system time
The end