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 (2046 MiB free)
memory of node 1: 16384 MiB (13311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295111-1532519920/watcher-4295111-1532519920 -o /tmp/evaluation-result-4295111-1532519920/solver-4295111-1532519920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1065893880 -superng HOME/instance-4295111-1532519920.xml
running on 4 cores: 1,3,5,7
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=8311, runsolver pid=8308
[startup+0.10009 s]*
/proc/loadavg: 2.55 2.13 2.05 3/209 8368
/proc/meminfo: memFree=15721444/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=9972712 memory=16428 CPUtime=0.1 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 4283 12949 0 0 1 1 5 3 20 0 6 0 69555137 10212057088 4107 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2493178 4107 1930 1 0 2481616 0
[pid=8311/tid=8364] ppid=8308 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 2105 12949 0 0 0 0 5 3 20 0 6 0 69555146 10212057088 4173 33554432000 4194304 4196468 140725164891792 139712906007120 139712919226416 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=9972712 memory=5793855554963806649 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 6 0 69555146 10212057088 4173 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=9972712 memory=140303953913472 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 6 0 69555146 10212057088 4173 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 6 0 69555146 10212057088 4173 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 6 0 69555146 10212057088 4173 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16428 KiB
[startup+0.220257 s]*
/proc/loadavg: 2.55 2.13 2.05 3/218 8377
/proc/meminfo: memFree=15693336/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10818856 memory=48016 CPUtime=0.28 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 8897 12949 0 0 17 3 5 3 20 0 15 0 69555137 11078508544 12004 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2704714 12004 2961 1 0 2667149 0
[pid=8311/tid=8364] ppid=8308 vsize=10818856 memory=-2899909650764262549 CPUtime=0.2 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 5450 12949 0 0 10 2 5 3 20 0 15 0 69555146 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712905951456 139712934182294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10818856 memory=4211974030158704010 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10818856 memory=140303953913472 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555146 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10818856 memory=140303953913472 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555148 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 33 12949 0 0 0 0 5 3 20 0 15 0 69555148 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712392029600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712266233328 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11078508544 12004 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4192 0 -1 1077944384 489 12949 0 0 1 0 5 3 20 0 15 0 69555151 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 101 12949 0 0 0 0 5 3 20 0 15 0 69555151 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10818856 memory=140303953913472 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) R 8308 8311 4192 0 -1 4202560 628 12949 0 0 3 0 5 3 20 0 15 0 69555151 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712356366576 139712934182294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11078508544 12004 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10818856 memory=140303953913472 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555152 11078508544 12004 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 48016 KiB
[startup+0.310376 s]*
/proc/loadavg: 2.55 2.13 2.05 3/218 8377
/proc/meminfo: memFree=15684404/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10819352 memory=57256 CPUtime=0.39 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 10392 12949 0 0 28 3 5 3 20 0 15 0 69555137 11079016448 14314 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2704838 14314 3092 1 0 2667149 0
[pid=8311/tid=8364] ppid=8308 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 6910 12949 0 0 19 2 5 3 20 0 15 0 69555146 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712905982368 139712914445697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10819352 memory=140303953913471 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 33 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712392029600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10819352 memory=140303953913472 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712266233328 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11079016448 14314 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4192 0 -1 1077944384 492 12949 0 0 1 0 5 3 20 0 15 0 69555151 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 107 12949 0 0 1 0 5 3 20 0 15 0 69555151 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 650 12949 0 0 5 0 5 3 20 0 15 0 69555151 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11079016448 14314 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555152 11079016448 14314 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57256 KiB
[startup+0.701647 s]
/proc/loadavg: 2.55 2.13 2.05 3/218 8377
/proc/meminfo: memFree=15661580/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10819352 memory=90396 CPUtime=0.99 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 16752 12949 0 0 87 4 5 3 20 0 15 0 69555137 11079016448 22599 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2704838 22599 3238 1 0 2667149 0
[pid=8311/tid=8364] ppid=8308 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 12215 12949 0 0 55 3 5 3 20 0 15 0 69555146 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712905991184 139712918250846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10819352 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555146 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 5 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 33 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712392029600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712266233328 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11079016448 22599 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10819352 memory=30305 CPUtime=0.17 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4192 0 -1 1077944384 1110 12949 0 0 9 0 5 3 20 0 15 0 69555151 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 383 12949 0 0 7 0 5 3 20 0 15 0 69555151 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10819352 memory=3533419649945857444 CPUtime=0.21 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 807 12949 0 0 13 0 5 3 20 0 15 0 69555151 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10819352 memory=-6305718312468242048 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11079016448 22599 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10819352 memory=-7094132109863559211 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555152 11079016448 22599 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90396 KiB
[startup+1.50071 s]
/proc/loadavg: 2.55 2.13 2.05 3/218 8377
/proc/meminfo: memFree=15626956/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10834252 memory=181980 CPUtime=2.25 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 24229 12949 0 0 208 9 5 3 20 0 15 0 69555137 11094274048 45495 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2708563 45495 3467 1 0 2670221 0
[pid=8311/tid=8364] ppid=8308 vsize=10834252 memory=186 CPUtime=1.41 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 17795 12949 0 0 128 5 5 3 20 0 15 0 69555146 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712906001968 139712934192285 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10834252 memory=116 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 55 12949 0 0 1 0 5 3 20 0 15 0 69555146 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 194 12949 0 0 1 0 5 3 20 0 15 0 69555146 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 26 12949 0 0 1 0 5 3 20 0 15 0 69555146 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10834252 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 37 12949 0 0 0 0 5 3 20 0 15 0 69555146 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10834252 memory=3533419649945857444 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 281 12949 0 0 1 0 5 3 20 0 15 0 69555148 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10834252 memory=280607661797440 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 34 12949 0 0 0 0 5 3 20 0 15 0 69555148 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712392029664 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10834252 memory=280607661801888 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712266233344 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11094274048 45495 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10834252 memory=6944656575208382560 CPUtime=0.29 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4192 0 -1 1077944384 1571 12949 0 0 21 0 5 3 20 0 15 0 69555151 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10834252 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 524 12949 0 0 19 0 5 3 20 0 15 0 69555151 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10834252 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 1518 12949 0 0 32 0 5 3 20 0 15 0 69555151 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11094274048 45495 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555152 11094274048 45495 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11068 s]
/proc/loadavg: 2.67 2.16 2.06 5/218 8377
/proc/meminfo: memFree=15518820/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10844512 memory=228284 CPUtime=6.16 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 42807 12949 0 0 593 15 5 3 20 0 15 0 69555137 11104780288 57071 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2711128 57071 3491 1 0 2672781 0
[pid=8311/tid=8364] ppid=8308 vsize=10844512 memory=0 CPUtime=3 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 26582 12949 0 0 284 8 5 3 20 0 15 0 69555146 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712906002336 139712934182294 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10844512 memory=83 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 55 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 194 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10844512 memory=280607661797344 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 26 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 37 12949 0 0 0 0 5 3 20 0 15 0 69555146 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10844512 memory=55 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 440 12949 0 0 1 0 5 3 20 0 15 0 69555148 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 34 12949 0 0 0 0 5 3 20 0 15 0 69555148 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712392029664 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712266233344 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11104780288 57071 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10844512 memory=9130442918539853698 CPUtime=0.87 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) R 8308 8311 4192 0 -1 1077944384 2868 12949 0 0 79 0 5 3 20 0 15 0 69555151 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10844512 memory=667680 CPUtime=1.17 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) R 8308 8311 4192 0 -1 4202560 3954 12949 0 0 108 1 5 3 20 0 15 0 69555151 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712357399600 139712919851798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10844512 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) R 8308 8311 4192 0 -1 4202560 6415 12949 0 0 114 1 5 3 20 0 15 0 69555151 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712356366576 139712934191706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10844512 memory=303993173188018202 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11104780288 57071 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10844512 memory=302022869909766459 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 10 12949 0 0 0 0 5 3 20 0 15 0 69555152 11104780288 57071 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 228284 KiB
[startup+4.1134 s]
# the end of solver process 8311 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.52893 s, system=0.244053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20105 s]
/proc/loadavg: 2.67 2.16 2.06 5/218 8377
/proc/meminfo: memFree=15518820/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10844512 memory=235948 CPUtime=6.36 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 43169 12949 0 0 613 15 5 3 20 0 15 0 69555137 11104780288 58987 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2711128 58987 3491 1 0 2672781 0
[pid=8311/tid=8364] ppid=8308 vsize=10844512 memory=280607662538512 CPUtime=3.1 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 26833 12949 0 0 293 9 5 3 20 0 15 0 69555146 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712906001152 139712918213989 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 55 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 194 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 26 12949 0 0 1 0 5 3 20 0 15 0 69555146 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 37 12949 0 0 0 0 5 3 20 0 15 0 69555146 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10844512 memory=3009 CPUtime=0.09 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 440 12949 0 0 1 0 5 3 20 0 15 0 69555148 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 34 12949 0 0 0 0 5 3 20 0 15 0 69555148 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712392029664 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10844512 memory=-5628408999910123566 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712266233344 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10844512 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11104780288 58987 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10844512 memory=6944656592455360604 CPUtime=0.9 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) S 8308 8311 4192 0 -1 1077944384 2881 12949 0 0 82 0 5 3 20 0 15 0 69555151 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712358471664 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10844512 memory=-5628408999910123566 CPUtime=1.21 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 3975 12949 0 0 112 1 5 3 20 0 15 0 69555151 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10844512 memory=164 CPUtime=1.26 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 6492 12949 0 0 117 1 5 3 20 0 15 0 69555151 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10844512 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11104780288 58987 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10844512 memory=140303953914049 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 10 12949 0 0 0 0 5 3 20 0 15 0 69555152 11104780288 58987 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 235948 KiB
[startup+3.60068 s]
/proc/loadavg: 2.67 2.16 2.06 5/218 8377
/proc/meminfo: memFree=15518820/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10846560 memory=290388 CPUtime=7.31 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 54169 12949 0 0 705 18 5 3 20 0 15 0 69555137 11106877440 72597 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2711640 72597 3503 1 0 2673293 0
[pid=8311/tid=8364] ppid=8308 vsize=10846560 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 34384 12949 0 0 327 10 5 3 20 0 15 0 69555146 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712905985624 139712918250846 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 82 12949 0 0 3 0 5 3 20 0 15 0 69555146 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 214 12949 0 0 3 0 5 3 20 0 15 0 69555146 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 42 12949 0 0 2 0 5 3 20 0 15 0 69555146 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 120 12949 0 0 2 0 5 3 20 0 15 0 69555146 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 1939 12949 0 0 3 0 5 3 20 0 15 0 69555148 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 37 12949 0 0 0 0 5 3 20 0 15 0 69555148 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712392029664 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10846560 memory=14 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712266233344 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11106877440 72597 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10846560 memory=7813587196152197430 CPUtime=1.14 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) R 8308 8311 4192 0 -1 4202560 4373 12949 0 0 105 1 5 3 20 0 15 0 69555151 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712358451752 139712914870656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10846560 memory=5859570522891898960 CPUtime=1.34 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) S 8308 8311 4192 0 -1 1077944384 4041 12949 0 0 125 1 5 3 20 0 15 0 69555151 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712357419120 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10846560 memory=7588675599774802240 CPUtime=1.38 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 6735 12949 0 0 129 1 5 3 20 0 15 0 69555151 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10846560 memory=5936121893729872480 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11106877440 72597 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10846560 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 10 12949 0 0 0 0 5 3 20 0 15 0 69555152 11106877440 72597 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 290388 KiB
[startup+4.00126 s]*
/proc/loadavg: 2.67 2.16 2.06 6/218 8377
/proc/meminfo: memFree=15416428/32770624 swapFree=67108860/67108860
[pid=8311] ppid=8308 vsize=10916768 memory=322976 CPUtime=8.51 cores=1,3,5,7
/proc/8311/stat : 8311 (java) S 8308 8311 4192 0 -1 1077944320 62910 12949 0 0 824 19 5 3 20 0 15 0 69555137 11178770432 80744 33554432000 4194304 4196468 140725164891792 140725164874336 139712934170359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
/proc/8311/statm: 2729192 80744 3505 1 0 2690845 0
[pid=8311/tid=8364] ppid=8308 vsize=10916768 memory=591995963236955827 CPUtime=3.86 cores=1,3,5,7
/proc/8311/task/8364/stat : 8364 (java) R 8308 8311 4192 0 -1 4202560 40084 12949 0 0 367 11 5 3 20 0 15 0 69555146 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712906001120 139712914445532 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8365] ppid=8308 vsize=10916768 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8365/stat : 8365 (java) S 8308 8311 4192 0 -1 1077944384 82 12949 0 0 3 0 5 3 20 0 15 0 69555146 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712938412304 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8366] ppid=8308 vsize=10916768 memory=14972295554793495 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8366/stat : 8366 (java) S 8308 8311 4192 0 -1 1077944384 214 12949 0 0 3 0 5 3 20 0 15 0 69555146 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712507808144 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8367] ppid=8308 vsize=10916768 memory=7157398773802887790 CPUtime=0.1 cores=1,3,5,7
/proc/8311/task/8367/stat : 8367 (java) S 8308 8311 4192 0 -1 1077944384 42 12949 0 0 2 0 5 3 20 0 15 0 69555146 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712506755600 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8368] ppid=8308 vsize=10916768 memory=3467771756832373048 CPUtime=0.1 cores=1,3,5,7
/proc/8311/task/8368/stat : 8368 (java) S 8308 8311 4192 0 -1 1077944384 120 12949 0 0 2 0 5 3 20 0 15 0 69555146 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712505703056 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8369] ppid=8308 vsize=10916768 memory=3618555212757310641 CPUtime=0.11 cores=1,3,5,7
/proc/8311/task/8369/stat : 8369 (java) S 8308 8311 4192 0 -1 1077944384 1939 12949 0 0 3 0 5 3 20 0 15 0 69555148 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712393083376 139712934181506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8370] ppid=8308 vsize=10916768 memory=3833186913019306035 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8370/stat : 8370 (java) S 8308 8311 4192 0 -1 1077944384 37 12949 0 0 0 0 5 3 20 0 15 0 69555148 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712392029664 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8371] ppid=8308 vsize=10916768 memory=-7883498081707726226 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8371/stat : 8371 (java) S 8308 8311 4192 0 -1 1077944384 1 12949 0 0 0 0 5 3 20 0 15 0 69555148 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712266233344 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8372] ppid=8308 vsize=10916768 memory=10 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8372/stat : 8372 (java) S 8308 8311 4192 0 -1 1077944384 2 12949 0 0 0 0 5 3 20 0 15 0 69555151 11178770432 80744 33554432000 4194304 4196468 140725164891792 139711662254800 139712934188955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8373] ppid=8308 vsize=10916768 memory=0 CPUtime=1.55 cores=1,3,5,7
/proc/8311/task/8373/stat : 8373 (java) R 8308 8311 4192 0 -1 4202560 6860 12949 0 0 146 1 5 3 20 0 15 0 69555151 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712358457688 139712915690006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8374] ppid=8308 vsize=10916768 memory=-1 CPUtime=1.59 cores=1,3,5,7
/proc/8311/task/8374/stat : 8374 (java) R 8308 8311 4192 0 -1 4202560 4250 12949 0 0 150 1 5 3 20 0 15 0 69555151 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712357399184 139712917667147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8375] ppid=8308 vsize=10916768 memory=140303953913472 CPUtime=1.52 cores=1,3,5,7
/proc/8311/task/8375/stat : 8375 (java) S 8308 8311 4192 0 -1 1077944384 7087 12949 0 0 143 1 5 3 20 0 15 0 69555151 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712356366576 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8376] ppid=8308 vsize=10916768 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8376/stat : 8376 (java) S 8308 8311 4192 0 -1 1077944384 3 12949 0 0 0 0 5 3 20 0 15 0 69555152 11178770432 80744 33554432000 4194304 4196468 140725164891792 139711192492640 139712934180565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
[pid=8311/tid=8377] ppid=8308 vsize=10916768 memory=280607784792096 CPUtime=0.08 cores=1,3,5,7
/proc/8311/task/8377/stat : 8377 (java) S 8308 8311 4192 0 -1 1077944384 10 12949 0 0 0 0 5 3 20 0 15 0 69555152 11178770432 80744 33554432000 4194304 4196468 140725164891792 139712355314480 139712934181506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36093952 140725164898475 140725164901724 140725164901724 140725164904399 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 10916768 KiB
Current children cumulated memory: 322976 KiB
Child status: 0
Real time (s): 4.11344
CPU time (s): 8.77298
CPU user time (s): 8.52893
CPU system time (s): 0.244053
CPU usage (%): 213.276
Max. virtual memory (cumulated for all children) (KiB): 10916768
Max. memory (cumulated for all children) (KiB): 322976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.52893
system time used= 0.244053
maximum resident set size= 326204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6536
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 8311
# total CPU time (s): 8.77298
# total CPU user time (s): 8.52893
# total CPU system time (s): 0.244053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052002 second user time and 0.081124 second system time
The end