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 (14034 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395796-1568394236/watcher-4395796-1568394236 -o /tmp/evaluation-result-4395796-1568394236/solver-4395796-1568394236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11189 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=339117214 HOME/instance-4395796-1568394236.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
solver pid=11725, runsolver pid=11722
Current StackSize limit: 8192 KiB
[startup+0.109521 s]*
/proc/loadavg: 1.85 1.43 1.53 3/222 11783
/proc/meminfo: memFree=30107460/32770624 swapFree=66922312/67108860
[pid=11725] ppid=11722 vsize=10355560 memory=21696 CPUtime=0.11 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 4688 13324 0 0 2 1 5 3 20 0 9 0 415679637 10604093440 5424 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2588890 5424 2102 1 0 2551431 0
[pid=11725/tid=11778] ppid=11722 vsize=10355560 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 2462 13324 0 0 1 0 5 3 20 0 9 0 415679646 10604093440 5424 33554432000 4194304 4196468 140724593575552 140664495644528 140664509491029 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10355560 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 9 0 415679647 10604093440 5424 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10355560 memory=140194225145472 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 9 0 415679647 10604093440 5424 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 9 0 415679647 10604093440 5424 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 9 0 415679647 10604093440 5424 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10355560 memory=140194225145472 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 9 0 415679648 10604093440 5424 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 33 13324 0 0 0 0 5 3 20 0 9 0 415679649 10604093440 5424 33554432000 4194304 4196468 140724593575552 140663982069408 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 9 0 415679649 10604093440 5424 33554432000 4194304 4196468 140724593575552 140663869924656 140664523818709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21696 KiB
[startup+0.210444 s]*
/proc/loadavg: 1.85 1.43 1.53 4/230 11791
/proc/meminfo: memFree=30088548/32770624 swapFree=66922312/67108860
[pid=11725] ppid=11722 vsize=10819808 memory=44628 CPUtime=0.27 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 6969 13324 0 0 17 2 5 3 20 0 15 0 415679637 11079483392 11157 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2704952 11157 3168 1 0 2667149 0
[pid=11725/tid=11778] ppid=11722 vsize=10819972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 3534 13324 0 0 11 1 5 3 20 0 15 0 415679646 11079651328 11223 33554432000 4194304 4196468 140724593575552 140664495639744 140664516905355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10819972 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079651328 11223 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10819972 memory=140194228085824 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079651328 11223 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079651328 11223 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10819972 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079651328 11223 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10819972 memory=140194225145472 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679648 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10819972 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 33 13324 0 0 0 0 5 3 20 0 15 0 415679649 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663982069408 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679649 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663869924592 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10819972 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10819972 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 354 13324 0 0 1 0 5 3 20 0 15 0 415679651 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10819972 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 308 13324 0 0 0 0 5 3 20 0 15 0 415679651 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10819972 memory=140194225145472 CPUtime=0.11 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 604 13324 0 0 3 0 5 3 20 0 15 0 415679651 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10819972 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11079651328 11223 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10819972 memory=140194225145472 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679652 11079651328 11223 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819808 KiB
Current children cumulated memory: 44628 KiB
[startup+0.310792 s]*
/proc/loadavg: 1.85 1.43 1.53 4/230 11791
/proc/meminfo: memFree=30075480/32770624 swapFree=66922312/67108860
[pid=11725] ppid=11722 vsize=10820264 memory=53704 CPUtime=0.41 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 10638 13324 0 0 30 3 5 3 20 0 15 0 415679637 11079950336 13426 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2705066 13426 3308 1 0 2667149 0
[pid=11725/tid=11778] ppid=11722 vsize=10820264 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 7098 13324 0 0 20 2 5 3 20 0 15 0 415679646 11079950336 13426 33554432000 4194304 4196468 140724593575552 140664495628368 140664523830429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10820264 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079950336 13426 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10820264 memory=4638776076339624391 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079950336 13426 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10820264 memory=140194225152465 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079950336 13426 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679647 11079950336 13426 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679648 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 33 13324 0 0 0 0 5 3 20 0 15 0 415679649 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663982069408 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679649 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663869924592 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10820264 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10820264 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 355 13324 0 0 1 0 5 3 20 0 15 0 415679651 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10820264 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 317 13324 0 0 1 0 5 3 20 0 15 0 415679651 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10820264 memory=140194225145472 CPUtime=0.13 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 613 13324 0 0 5 0 5 3 20 0 15 0 415679651 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10820264 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11079950336 13426 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10820264 memory=140194225145472 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679652 11079950336 13426 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 53704 KiB
[startup+0.700732 s]
/proc/loadavg: 1.85 1.43 1.53 3/230 11791
/proc/meminfo: memFree=30061340/32770624 swapFree=66922312/67108860
[pid=11725] ppid=11722 vsize=10824360 memory=86080 CPUtime=1.16 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 14848 13324 0 0 103 5 5 3 20 0 15 0 415679637 11084144640 21520 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2706090 21520 3509 1 0 2668173 0
[pid=11725/tid=11778] ppid=11722 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 10110 13324 0 0 56 3 5 3 20 0 15 0 415679646 11084144640 21520 33554432000 4194304 4196468 140724593575552 140664495638848 140664507852133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11084144640 21520 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11084144640 21520 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10824360 memory=140194107925904 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679647 11084144640 21520 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10824360 memory=140196322476609 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679647 11084144640 21520 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10824360 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 5 13324 0 0 0 0 5 3 20 0 15 0 415679648 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10824360 memory=12020 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 33 13324 0 0 0 0 5 3 20 0 15 0 415679649 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663982069408 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10824360 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679649 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663869924592 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10824360 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10824360 memory=928 CPUtime=0.19 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 815 13324 0 0 11 0 5 3 20 0 15 0 415679651 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10824360 memory=1680 CPUtime=0.24 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 845 13324 0 0 16 0 5 3 20 0 15 0 415679651 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10824360 memory=1444 CPUtime=0.25 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 822 13324 0 0 17 0 5 3 20 0 15 0 415679651 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10824360 memory=888 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11084144640 21520 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10824360 memory=1984 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 415679652 11084144640 21520 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 86080 KiB
[startup+1.50072 s]
/proc/loadavg: 1.85 1.43 1.53 3/230 11791
/proc/meminfo: memFree=30016184/32770624 swapFree=66922312/67108860
[pid=11725] ppid=11722 vsize=10834676 memory=173692 CPUtime=2.47 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 20097 13324 0 0 230 9 5 3 20 0 15 0 415679637 11094708224 43423 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2708669 43423 3573 1 0 2670733 0
[pid=11725/tid=11778] ppid=11722 vsize=10834676 memory=5792586062753518946 CPUtime=1.44 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 14467 13324 0 0 131 5 5 3 20 0 15 0 415679646 11094708224 43423 33554432000 4194304 4196468 140724593575552 140664495626912 140664523820438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10834676 memory=6296422972530709858 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 30 13324 0 0 1 0 5 3 20 0 15 0 415679647 11094708224 43423 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10834676 memory=7307486603530953560 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 26 13324 0 0 0 0 5 3 20 0 15 0 415679647 11094708224 43423 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10834676 memory=4956998493510226538 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 36 13324 0 0 1 0 5 3 20 0 15 0 415679647 11094708224 43423 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10834676 memory=6944656592455097440 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 16 13324 0 0 1 0 5 3 20 0 15 0 415679647 11094708224 43423 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10834676 memory=6944656575208382560 CPUtime=0.09 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 43 13324 0 0 1 0 5 3 20 0 15 0 415679648 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10834676 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 34 13324 0 0 0 0 5 3 20 0 15 0 415679649 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663982069472 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10834676 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 7 13324 0 0 0 0 5 3 20 0 15 0 415679649 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663869924608 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10834676 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10834676 memory=8414074075373934941 CPUtime=0.29 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 874 13324 0 0 21 0 5 3 20 0 15 0 415679651 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10834676 memory=4196912344889787449 CPUtime=0.36 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 897 13324 0 0 28 0 5 3 20 0 15 0 415679651 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10834676 memory=-5153075247754915967 CPUtime=0.49 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 1454 13324 0 0 41 0 5 3 20 0 15 0 415679651 11094708224 43423 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
################
# More data... #
################
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 61973 13324 0 0 235550 51 5 3 20 0 15 0 415679646 11109421056 201247 33554432000 4194304 4196468 140724593575552 140664495643840 140664097064576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10849044 memory=800892 CPUtime=12.84 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 12909 13324 0 0 1217 59 5 3 20 0 15 0 415679647 11109421056 201247 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10849044 memory=802940 CPUtime=12.81 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 11811 13324 0 0 1209 64 5 3 20 0 15 0 415679647 11109421056 201247 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10849044 memory=792700 CPUtime=12.78 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 14592 13324 0 0 1210 60 5 3 20 0 15 0 415679647 11109421056 201247 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10849044 memory=802940 CPUtime=12.81 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 9111 13324 0 0 1216 57 5 3 20 0 15 0 415679647 11109421056 201247 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10849044 memory=802940 CPUtime=10.7 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 11426 13324 0 0 1004 58 5 3 20 0 15 0 415679648 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10849044 memory=804988 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 37 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663982069536 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10849044 memory=802940 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 15 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663869924608 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10849044 memory=804988 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10849044 memory=804988 CPUtime=5.51 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 23012 13324 0 0 536 7 5 3 20 0 15 0 415679651 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10849044 memory=802940 CPUtime=5.53 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 26369 13324 0 0 539 6 5 3 20 0 15 0 415679651 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10849044 memory=804988 CPUtime=4.95 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 24928 13324 0 0 479 8 5 3 20 0 15 0 415679651 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10849044 memory=804988 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11109421056 201247 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10849044 memory=496 CPUtime=1.42 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 912 13324 0 0 58 76 5 3 20 0 15 0 415679652 11109421056 201247 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 2434.84 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 804988 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.50 1.52 3/227 12143
/proc/meminfo: memFree=29884384/32770624 swapFree=66922328/67108860
[pid=11725] ppid=11722 vsize=10849044 memory=807036 CPUtime=2495.82 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 200967 13324 0 0 249183 391 5 3 20 0 15 0 415679637 11109421056 201759 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2712261 201759 3629 1 0 2674317 0
[pid=11725/tid=11778] ppid=11722 vsize=10849044 memory=807036 CPUtime=2415.4 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 62693 13324 0 0 241481 51 5 3 20 0 15 0 415679646 11109421056 201759 33554432000 4194304 4196468 140724593575552 140664495643328 140664101219768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10849044 memory=3580 CPUtime=13.19 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 13186 13324 0 0 1251 60 5 3 20 0 15 0 415679647 11109421056 201759 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10849044 memory=807036 CPUtime=13.15 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 11995 13324 0 0 1242 65 5 3 20 0 15 0 415679647 11109421056 201759 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10849044 memory=807036 CPUtime=13.13 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 14697 13324 0 0 1243 62 5 3 20 0 15 0 415679647 11109421056 201759 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10849044 memory=807036 CPUtime=13.16 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 9245 13324 0 0 1250 58 5 3 20 0 15 0 415679647 11109421056 201759 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10849044 memory=792700 CPUtime=10.96 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 11643 13324 0 0 1028 60 5 3 20 0 15 0 415679648 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10849044 memory=802940 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 37 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663982069536 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10849044 memory=802940 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 15 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663869924608 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10849044 memory=800892 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10849044 memory=807036 CPUtime=5.51 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 23014 13324 0 0 536 7 5 3 20 0 15 0 415679651 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10849044 memory=804988 CPUtime=5.53 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 26371 13324 0 0 539 6 5 3 20 0 15 0 415679651 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10849044 memory=807036 CPUtime=4.95 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 24930 13324 0 0 479 8 5 3 20 0 15 0 415679651 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10849044 memory=807036 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11109421056 201759 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10849044 memory=807036 CPUtime=1.46 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 929 13324 0 0 60 78 5 3 20 0 15 0 415679652 11109421056 201759 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 2495.82 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 807036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.11 s]
/proc/loadavg: 1.81 1.54 1.53 3/227 12146
/proc/meminfo: memFree=29882232/32770624 swapFree=66922328/67108860
[pid=11725] ppid=11722 vsize=10849044 memory=809084 CPUtime=2520.02 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 201267 13324 0 0 251599 395 5 3 20 0 15 0 415679637 11109421056 202271 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2712261 202271 3629 1 0 2674317 0
[pid=11725/tid=11778] ppid=11722 vsize=10849044 memory=809084 CPUtime=2438.91 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 62900 13324 0 0 243832 51 5 3 20 0 15 0 415679646 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664495643984 140664099239348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.33 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 13195 13324 0 0 1264 61 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.28 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 12022 13324 0 0 1255 65 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.27 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 14736 13324 0 0 1256 63 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10849044 memory=6791534058613427641 CPUtime=13.3 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 9253 13324 0 0 1263 59 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10849044 memory=164 CPUtime=11.06 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 11651 13324 0 0 1038 60 5 3 20 0 15 0 415679648 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10849044 memory=809084 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 37 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663982069536 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10849044 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 15 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663869924608 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10849044 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10849044 memory=1808 CPUtime=5.51 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 23014 13324 0 0 536 7 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10849044 memory=1284 CPUtime=5.53 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 26371 13324 0 0 539 6 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10849044 memory=1044 CPUtime=4.95 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 24930 13324 0 0 479 8 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10849044 memory=809084 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11109421056 202271 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10849044 memory=809084 CPUtime=1.48 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 931 13324 0 0 61 79 5 3 20 0 15 0 415679652 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 809084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.13 s]
# the end of solver process 11725 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.06 s, system=3.98865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.11 s]
/proc/loadavg: 1.81 1.54 1.53 3/227 12146
/proc/meminfo: memFree=29882232/32770624 swapFree=66922328/67108860
[pid=11725] ppid=11722 vsize=10849044 memory=809084 CPUtime=2520.02 cores=1,3,5,7
/proc/11725/stat : 11725 (java) S 11722 11725 8521 0 -1 1077944320 201267 13324 0 0 251599 395 5 3 20 0 15 0 415679637 11109421056 202271 33554432000 4194304 4196468 140724593575552 140724593558096 140664523808503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
/proc/11725/statm: 2712261 202271 3629 1 0 2674317 0
[pid=11725/tid=11778] ppid=11722 vsize=10849044 memory=809084 CPUtime=2438.91 cores=1,3,5,7
/proc/11725/task/11778/stat : 11778 (java) R 11722 11725 8521 0 -1 4202560 62900 13324 0 0 243832 51 5 3 20 0 15 0 415679646 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664495643984 140664099239348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11779] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.33 cores=1,3,5,7
/proc/11725/task/11779/stat : 11779 (java) S 11722 11725 8521 0 -1 1077944384 13195 13324 0 0 1264 61 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664528050704 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11780] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.28 cores=1,3,5,7
/proc/11725/task/11780/stat : 11780 (java) S 11722 11725 8521 0 -1 1077944384 12022 13324 0 0 1255 65 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664416324240 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11781] ppid=11722 vsize=10849044 memory=809084 CPUtime=13.27 cores=1,3,5,7
/proc/11725/task/11781/stat : 11781 (java) S 11722 11725 8521 0 -1 1077944384 14736 13324 0 0 1256 63 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664415271184 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11782] ppid=11722 vsize=10849044 memory=6791534058613427641 CPUtime=13.3 cores=1,3,5,7
/proc/11725/task/11782/stat : 11782 (java) S 11722 11725 8521 0 -1 1077944384 9253 13324 0 0 1263 59 5 3 20 0 15 0 415679647 11109421056 202271 33554432000 4194304 4196468 140724593575552 140664414218640 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11783] ppid=11722 vsize=10849044 memory=164 CPUtime=11.06 cores=1,3,5,7
/proc/11725/task/11783/stat : 11783 (java) S 11722 11725 8521 0 -1 1077944384 11651 13324 0 0 1038 60 5 3 20 0 15 0 415679648 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663983123184 140664523819650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11784] ppid=11722 vsize=10849044 memory=809084 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11784/stat : 11784 (java) S 11722 11725 8521 0 -1 1077944384 37 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663982069536 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11785] ppid=11722 vsize=10849044 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11785/stat : 11785 (java) S 11722 11725 8521 0 -1 1077944384 15 13324 0 0 0 0 5 3 20 0 15 0 415679649 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663869924608 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11786] ppid=11722 vsize=10849044 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11786/stat : 11786 (java) S 11722 11725 8521 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663265946064 140664523827099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11787] ppid=11722 vsize=10849044 memory=1808 CPUtime=5.51 cores=1,3,5,7
/proc/11725/task/11787/stat : 11787 (java) S 11722 11725 8521 0 -1 1077944384 23014 13324 0 0 536 7 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663948511472 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11788] ppid=11722 vsize=10849044 memory=1284 CPUtime=5.53 cores=1,3,5,7
/proc/11725/task/11788/stat : 11788 (java) S 11722 11725 8521 0 -1 1077944384 26371 13324 0 0 539 6 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663947458928 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11789] ppid=11722 vsize=10849044 memory=1044 CPUtime=4.95 cores=1,3,5,7
/proc/11725/task/11789/stat : 11789 (java) S 11722 11725 8521 0 -1 1077944384 24930 13324 0 0 479 8 5 3 20 0 15 0 415679651 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663946405872 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11790] ppid=11722 vsize=10849044 memory=809084 CPUtime=0.08 cores=1,3,5,7
/proc/11725/task/11790/stat : 11790 (java) S 11722 11725 8521 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 415679652 11109421056 202271 33554432000 4194304 4196468 140724593575552 140662796183904 140664523818709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
[pid=11725/tid=11791] ppid=11722 vsize=10849044 memory=809084 CPUtime=1.48 cores=1,3,5,7
/proc/11725/task/11791/stat : 11791 (java) S 11722 11725 8521 0 -1 1077944384 931 13324 0 0 61 79 5 3 20 0 15 0 415679652 11109421056 202271 33554432000 4194304 4196468 140724593575552 140663945354288 140664523819650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39849984 140724593576688 140724593579205 140724593579205 140724593582031 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 809084 KiB
Child status: 143
Real time (s): 2466.13
CPU time (s): 2520.05
CPU user time (s): 2516.06
CPU system time (s): 3.98865
CPU usage (%): 102.186
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 809084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.06
system time used= 3.98865
maximum resident set size= 813204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308679
involuntary context switches= 7394
# summary of solver processes directly reported to runsolver:
# pid: 11725
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.06
# total CPU system time (s): 3.98865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7656 second user time and 23.1551 second system time
The end