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 (5744 MiB free)
memory of node 1: 16384 MiB (9807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294064-1532426351/watcher-4294064-1532426351 -o /tmp/evaluation-result-4294064-1532426351/solver-4294064-1532426351 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1916434319 -superng HOME/instance-4294064-1532426351.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=15614, runsolver pid=15611
[startup+0.100061 s]*
/proc/loadavg: 1.32 1.40 1.41 3/210 15671
/proc/meminfo: memFree=15919472/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=9972712 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 4231 13253 0 0 1 0 6 2 20 0 6 0 60198330 10212057088 4582 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2493178 4582 1930 1 0 2481616 0
[pid=15614/tid=15667] ppid=15611 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 2043 13253 0 0 0 0 6 2 20 0 6 0 60198339 10212057088 4582 33554432000 4194304 4196468 140724331831920 140701535535696 140701563720861 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=9972712 memory=5793855092095920569 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 6 0 60198340 10212057088 4582 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=9972712 memory=139841086027392 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 6 0 60198340 10212057088 4582 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 6 0 60198340 10212057088 4582 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 6 0 60198340 10212057088 4582 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210114 s]*
/proc/loadavg: 1.32 1.40 1.41 3/219 15680
/proc/meminfo: memFree=15893404/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10821524 memory=48844 CPUtime=0.26 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 8453 13253 0 0 17 1 6 2 20 0 15 0 60198330 11081240576 12211 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2705381 12211 2937 1 0 2667804 0
[pid=15614/tid=15667] ppid=15611 vsize=10818936 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 5123 13253 0 0 10 1 6 2 20 0 15 0 60198339 11078590464 11602 33554432000 4194304 4196468 140724331831920 140701535523744 140701556378653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10818936 memory=4211973567290817930 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11078590464 11602 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10818936 memory=139841086027392 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11078590464 11602 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11078590464 11602 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198340 11078590464 11667 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198341 11078590464 11667 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 33 13253 0 0 0 0 6 2 20 0 15 0 60198342 11078590464 11667 33554432000 4194304 4196468 140724331831920 140701021066528 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11078590464 11733 33554432000 4194304 4196468 140724331831920 140700914017904 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11078590464 11733 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 518 13253 0 0 1 0 6 2 20 0 15 0 60198345 11078590464 11733 33554432000 4194304 4196468 140724331831920 140700987508848 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 56 13253 0 0 0 0 6 2 20 0 15 0 60198345 11078590464 11799 33554432000 4194304 4196468 140724331831920 140700986456048 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10818936 memory=139841086027392 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 545 13253 0 0 3 0 6 2 20 0 15 0 60198345 11078590464 11799 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11078590464 11799 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10818936 memory=139841086027392 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198345 11078590464 11799 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 48844 KiB
[startup+0.310441 s]*
/proc/loadavg: 1.32 1.40 1.41 3/219 15680
/proc/meminfo: memFree=15880256/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10819352 memory=56868 CPUtime=0.39 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 10336 13253 0 0 29 2 6 2 20 0 15 0 60198330 11079016448 14217 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2704838 14217 3056 1 0 2667149 0
[pid=15614/tid=15667] ppid=15611 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 6973 13253 0 0 19 1 6 2 20 0 15 0 60198339 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701535510944 140701555936062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10819352 memory=139841086027391 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198341 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 33 13253 0 0 0 0 6 2 20 0 15 0 60198342 11079016448 14217 33554432000 4194304 4196468 140724331831920 140701021066528 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10819352 memory=139841086027392 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700914017904 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 519 13253 0 0 2 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700987508848 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 56 13253 0 0 1 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700986456048 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 556 13253 0 0 5 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 14217 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56868 KiB
[startup+0.7008 s]
/proc/loadavg: 1.32 1.40 1.41 3/219 15680
/proc/meminfo: memFree=15871052/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10819352 memory=89120 CPUtime=1 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 16385 13253 0 0 88 4 6 2 20 0 15 0 60198330 11079016448 22280 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2704838 22280 3238 1 0 2667149 0
[pid=15614/tid=15667] ppid=15611 vsize=10819352 memory=18836 CPUtime=0.67 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 11994 13253 0 0 56 3 6 2 20 0 15 0 60198339 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701535519760 140701545263888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10819352 memory=139840981344755 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10819352 memory=139844135158667 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198340 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10819352 memory=6296143700806424935 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 5 13253 0 0 0 0 6 2 20 0 15 0 60198341 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10819352 memory=8099279071866868837 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 33 13253 0 0 0 0 6 2 20 0 15 0 60198342 11079016448 22280 33554432000 4194304 4196468 140724331831920 140701021066528 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10819352 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700914017904 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10819352 memory=8326441112149131689 CPUtime=0.18 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 1102 13253 0 0 10 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700987508848 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10819352 memory=-7025452035940392864 CPUtime=0.15 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 450 13253 0 0 7 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700986456048 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 603 13253 0 0 13 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198345 11079016448 22280 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 89120 KiB
[startup+1.50071 s]
/proc/loadavg: 1.32 1.40 1.41 3/219 15680
/proc/meminfo: memFree=15825216/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10834252 memory=177700 CPUtime=2.27 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 24998 13253 0 0 210 9 6 2 20 0 15 0 60198330 11094274048 44425 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2708563 44425 3478 1 0 2670221 0
[pid=15614/tid=15667] ppid=15611 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 17691 13253 0 0 130 5 6 2 20 0 15 0 60198339 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701535530208 140701547779422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10834252 memory=103084 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 17 13253 0 0 0 0 6 2 20 0 15 0 60198340 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10834252 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 24 13253 0 0 1 0 6 2 20 0 15 0 60198340 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 59 13253 0 0 1 0 6 2 20 0 15 0 60198340 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 264 13253 0 0 0 0 6 2 20 0 15 0 60198340 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 1022 13253 0 0 1 0 6 2 20 0 15 0 60198341 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 34 13253 0 0 0 0 6 2 20 0 15 0 60198342 11094274048 44425 33554432000 4194304 4196468 140724331831920 140701021066592 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10834252 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700914017920 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10834252 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10834252 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 1305 13253 0 0 19 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700987508848 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10834252 memory=207151708566359 CPUtime=0.3 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 989 13253 0 0 22 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700986456048 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10834252 memory=3904963032027245965 CPUtime=0.39 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 1398 13253 0 0 31 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10834252 memory=4638778402628129104 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10834252 memory=6935649255776346176 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11094274048 44425 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[pid=15614/tid=15679] ppid=15611 vsize=10844512 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11104780288 60165 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10844512 memory=302304323327754266 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 9 13253 0 0 0 0 6 2 20 0 15 0 60198345 11104780288 60165 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 240660 KiB
[startup+4.59801 s]
# the end of solver process 15614 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.80254 s, system=0.247637 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 1.46 1.42 1.42 4/219 15680
/proc/meminfo: memFree=15708584/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10844512 memory=245868 CPUtime=6.62 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 44286 13253 0 0 639 15 6 2 20 0 15 0 60198330 11104780288 61467 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2711128 61467 3504 1 0 2672781 0
[pid=15614/tid=15667] ppid=15611 vsize=10844512 memory=14134441857518180 CPUtime=3.12 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 27107 13253 0 0 296 8 6 2 20 0 15 0 60198339 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701535531296 140701545262487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10844512 memory=1524657 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 17 13253 0 0 0 0 6 2 20 0 15 0 60198340 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10844512 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 24 13253 0 0 1 0 6 2 20 0 15 0 60198340 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10844512 memory=2241 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 59 13253 0 0 1 0 6 2 20 0 15 0 60198340 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 264 13253 0 0 0 0 6 2 20 0 15 0 60198340 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10844512 memory=279681962885168 CPUtime=0.09 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 1139 13253 0 0 1 0 6 2 20 0 15 0 60198341 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10844512 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 34 13253 0 0 0 0 6 2 20 0 15 0 60198342 11104780288 61523 33554432000 4194304 4196468 140724331831920 140701021066592 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10844512 memory=139840981439984 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700914017920 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10844512 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) R 15611 15614 12709 0 -1 4202560 4553 13253 0 0 113 1 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700987490320 140701563720282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10844512 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 3449 13253 0 0 101 1 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700986456048 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10844512 memory=6943526294502006880 CPUtime=1.3 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 5441 13253 0 0 121 1 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10844512 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10844512 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 9 13253 0 0 0 0 6 2 20 0 15 0 60198345 11104780288 61523 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 6.62 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 245868 KiB
[startup+4.00259 s]*
/proc/loadavg: 1.46 1.42 1.42 5/219 15680
/proc/meminfo: memFree=15601040/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=10916500 memory=337148 CPUtime=8.75 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 63291 13253 0 0 847 20 6 2 20 0 15 0 60198330 11178496000 84287 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2729125 84287 3513 1 0 2690778 0
[pid=15614/tid=15667] ppid=15611 vsize=10916500 memory=-8540663193526752614 CPUtime=3.88 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) R 15611 15614 12709 0 -1 4202560 39878 13253 0 0 370 10 6 2 20 0 15 0 60198339 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701535530192 140701547885433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=10916500 memory=4211973567290817930 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 57 13253 0 0 3 0 6 2 20 0 15 0 60198340 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=10916500 memory=3472468120133838512 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 96 13253 0 0 3 0 6 2 20 0 15 0 60198340 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=10916500 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 81 13253 0 0 3 0 6 2 20 0 15 0 60198340 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=10916500 memory=6655300316396806192 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 281 13253 0 0 3 0 6 2 20 0 15 0 60198340 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15672] ppid=15611 vsize=10916500 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15672/stat : 15672 (java) S 15611 15614 12709 0 -1 1077944384 2115 13253 0 0 3 0 6 2 20 0 15 0 60198341 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701022120560 140701563710082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=10916500 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 37 13253 0 0 0 0 6 2 20 0 15 0 60198342 11178496000 84287 33554432000 4194304 4196468 140724331831920 140701021066592 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=10916500 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 15 0 60198342 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700914017920 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=10916500 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 2 13253 0 0 0 0 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700310039120 140701563717531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=10916500 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) R 15611 15614 12709 0 -1 4202560 4734 13253 0 0 145 1 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700987498728 140701542917820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=10916500 memory=-1 CPUtime=1.7 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) R 15611 15614 12709 0 -1 4202560 7655 13253 0 0 160 2 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700986442024 140701543385603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=10916500 memory=279682067068664 CPUtime=1.62 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) R 15611 15614 12709 0 -1 1077944384 6157 13253 0 0 152 2 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=10916500 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15680] ppid=15611 vsize=10916500 memory=279682067068544 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15680/stat : 15680 (java) S 15611 15614 12709 0 -1 1077944384 9 13253 0 0 0 0 6 2 20 0 15 0 60198345 11178496000 84287 33554432000 4194304 4196468 140724331831920 140700984351664 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 10916500 KiB
Current children cumulated memory: 337148 KiB
[startup+4.40053 s]
/proc/loadavg: 1.46 1.42 1.42 5/219 15680
/proc/meminfo: memFree=15601040/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=11015260 memory=338672 CPUtime=9.03 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 64274 13253 0 0 874 21 6 2 20 0 13 0 60198330 11279626240 84668 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2753815 84668 3515 1 0 2715468 0
[pid=15614/tid=15667] ppid=15611 vsize=11015260 memory=6791534058613427641 CPUtime=3.94 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) D 15611 15614 12709 0 -1 4202560 40041 13253 0 0 376 10 6 2 20 0 13 0 60198339 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701535542584 140701556384567 0 0 0 16800975 18446744072100899973 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=11015260 memory=69236013665002 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 57 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=11015260 memory=279681962353856 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 96 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=11015260 memory=288293255295271336 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 81 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=11015260 memory=288230376152042823 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 281 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=11015260 memory=-6654736624938269017 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 37 13253 0 0 0 0 6 2 20 0 13 0 60198342 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701021066592 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=11015260 memory=7517216140101724819 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 13 0 60198342 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700914017920 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=11015260 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 4 13253 0 0 0 0 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700310038768 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=11015260 memory=279681962314128 CPUtime=1.63 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 4735 13253 0 0 154 1 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700987493360 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=11015260 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 8431 13253 0 0 170 2 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700986440560 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=11015260 memory=6944656592455097440 CPUtime=1.63 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 6182 13253 0 0 153 2 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=11015260 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 11015260 KiB
Current children cumulated memory: 338672 KiB
[startup+4.50059 s]
/proc/loadavg: 1.46 1.42 1.42 5/219 15680
/proc/meminfo: memFree=15601040/32770624 swapFree=67108860/67108860
[pid=15614] ppid=15611 vsize=11015260 memory=338672 CPUtime=9.03 cores=1,3,5,7
/proc/15614/stat : 15614 (java) S 15611 15614 12709 0 -1 1077944320 64274 13253 0 0 874 21 6 2 20 0 13 0 60198330 11279626240 84668 33554432000 4194304 4196468 140724331831920 140724331814464 140701563698935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
/proc/15614/statm: 2753815 84668 3515 1 0 2715468 0
[pid=15614/tid=15667] ppid=15611 vsize=11015260 memory=272868 CPUtime=3.94 cores=1,3,5,7
/proc/15614/task/15667/stat : 15667 (java) D 15611 15614 12709 0 -1 4202560 40041 13253 0 0 376 10 6 2 20 0 13 0 60198339 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701535542584 140701556384567 0 0 0 16800975 18446744072100899973 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15668] ppid=15611 vsize=11015260 memory=235 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15668/stat : 15668 (java) S 15611 15614 12709 0 -1 1077944384 57 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701567941008 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15669] ppid=15611 vsize=11015260 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15669/stat : 15669 (java) S 15611 15614 12709 0 -1 1077944384 96 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701456214288 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15670] ppid=15611 vsize=11015260 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15670/stat : 15670 (java) S 15611 15614 12709 0 -1 1077944384 81 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701455162000 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15671] ppid=15611 vsize=11015260 memory=8 CPUtime=0.11 cores=1,3,5,7
/proc/15614/task/15671/stat : 15671 (java) S 15611 15614 12709 0 -1 1077944384 281 13253 0 0 3 0 6 2 20 0 13 0 60198340 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701454109200 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15673] ppid=15611 vsize=11015260 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15673/stat : 15673 (java) S 15611 15614 12709 0 -1 1077944384 37 13253 0 0 0 0 6 2 20 0 13 0 60198342 11279626240 84668 33554432000 4194304 4196468 140724331831920 140701021066592 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15674] ppid=15611 vsize=11015260 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15674/stat : 15674 (java) S 15611 15614 12709 0 -1 1077944384 1 13253 0 0 0 0 6 2 20 0 13 0 60198342 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700914017920 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15675] ppid=15611 vsize=11015260 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15675/stat : 15675 (java) S 15611 15614 12709 0 -1 1077944384 4 13253 0 0 0 0 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700310038768 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15676] ppid=15611 vsize=11015260 memory=139841086027392 CPUtime=1.63 cores=1,3,5,7
/proc/15614/task/15676/stat : 15676 (java) S 15611 15614 12709 0 -1 1077944384 4735 13253 0 0 154 1 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700987493360 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15677] ppid=15611 vsize=11015260 memory=7379238511862179693 CPUtime=1.8 cores=1,3,5,7
/proc/15614/task/15677/stat : 15677 (java) S 15611 15614 12709 0 -1 1077944384 8431 13253 0 0 170 2 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700986440560 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15678] ppid=15611 vsize=11015260 memory=7379238511862179693 CPUtime=1.63 cores=1,3,5,7
/proc/15614/task/15678/stat : 15678 (java) S 15611 15614 12709 0 -1 1077944384 6182 13253 0 0 153 2 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140700985403760 140701563710082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
[pid=15614/tid=15679] ppid=15611 vsize=11015260 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/15614/task/15679/stat : 15679 (java) S 15611 15614 12709 0 -1 1077944384 3 13253 0 0 0 0 6 2 20 0 13 0 60198345 11279626240 84668 33554432000 4194304 4196468 140724331831920 140699840276960 140701563709141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27295744 140724331837611 140724331840860 140724331840860 140724331843535 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 11015260 KiB
Current children cumulated memory: 338672 KiB
Child status: 0
Real time (s): 4.59805
CPU time (s): 9.05018
CPU user time (s): 8.80254
CPU system time (s): 0.247637
CPU usage (%): 196.826
Max. virtual memory (cumulated for all children) (KiB): 11015260
Max. memory (cumulated for all children) (KiB): 338672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.80254
system time used= 0.247637
maximum resident set size= 340656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6830
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 15614
# total CPU time (s): 9.05018
# total CPU user time (s): 8.80254
# total CPU system time (s): 0.247637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048712 second user time and 0.087229 second system time
The end