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 (14915 MiB free)
memory of node 1: 16384 MiB (13437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395903-1568412261/watcher-4395903-1568412261 -o /tmp/evaluation-result-4395903-1568412261/solver-4395903-1568412261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568394139-25059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=890757323 HOME/instance-4395903-1568412261.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=29807, runsolver pid=29804
Current StackSize limit: 8192 KiB
[startup+0.101636 s]*
/proc/loadavg: 1.65 1.53 1.41 3/220 29864
/proc/meminfo: memFree=29025352/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=9972712 memory=17072 CPUtime=0.1 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 4544 13392 0 0 1 1 5 3 20 0 6 0 417162604 10212057088 4268 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2493178 4268 1935 1 0 2481616 0
[pid=29807/tid=29860] ppid=29804 vsize=9972712 memory=4279135703946853774 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 2333 13392 0 0 0 0 5 3 20 0 6 0 417162613 10212057088 4268 33554432000 4194304 4196468 140728504452320 140637055287888 140637083473053 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 6 0 417162614 10212057088 4268 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=9972712 memory=140073781544576 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 6 0 417162614 10212057088 4334 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 6 0 417162614 10212057088 4334 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 6 0 417162614 10212057088 4334 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB
[startup+0.210332 s]*
/proc/loadavg: 1.65 1.53 1.41 4/229 29873
/proc/meminfo: memFree=29009048/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10819664 memory=37284 CPUtime=0.26 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 7188 13392 0 0 17 1 5 3 20 0 15 0 417162604 11079335936 9321 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2704916 9321 3160 1 0 2667149 0
[pid=29807/tid=29860] ppid=29804 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 3654 13392 0 0 10 1 5 3 20 0 15 0 417162613 11079335936 9321 33554432000 4194304 4196468 140728504452320 140637055259200 140637063726873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10819664 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079335936 9321 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10819664 memory=140073781571581 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10819664 memory=140073781544576 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 15 0 417162615 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 33 13392 0 0 0 0 5 3 20 0 15 0 417162615 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636406609312 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162616 11079335936 9321 33554432000 4194304 4196468 140728504452320 140635952637424 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11079335936 9321 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 477 13392 0 0 1 0 5 3 20 0 15 0 417162618 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 184 13392 0 0 1 0 5 3 20 0 15 0 417162618 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10819664 memory=140073781544576 CPUtime=0.11 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 615 13392 0 0 3 0 5 3 20 0 15 0 417162618 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11079335936 9321 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10819664 memory=140073781544576 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162619 11079335936 9321 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37284 KiB
[startup+0.310309 s]*
/proc/loadavg: 1.65 1.53 1.41 5/229 29873
/proc/meminfo: memFree=28995980/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10820148 memory=48428 CPUtime=0.4 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 10887 13392 0 0 29 3 5 3 20 0 15 0 417162604 11079831552 12107 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2705037 12107 3292 1 0 2667149 0
[pid=29807/tid=29860] ppid=29804 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 7334 13392 0 0 19 2 5 3 20 0 15 0 417162613 11079831552 12107 33554432000 4194304 4196468 140728504452320 140637055251040 140637067531614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079831552 12107 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 15 0 417162614 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 15 0 417162615 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 33 13392 0 0 0 0 5 3 20 0 15 0 417162615 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636406609312 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162616 11079831552 12107 33554432000 4194304 4196468 140728504452320 140635952637424 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11079831552 12107 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 477 13392 0 0 2 0 5 3 20 0 15 0 417162618 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 194 13392 0 0 2 0 5 3 20 0 15 0 417162618 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10820148 memory=140073781544576 CPUtime=0.13 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 625 13392 0 0 5 0 5 3 20 0 15 0 417162618 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11079831552 12107 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10820148 memory=140073781544576 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162619 11079831552 12107 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48428 KiB
[startup+0.700724 s]
/proc/loadavg: 1.65 1.53 1.41 4/229 29873
/proc/meminfo: memFree=28981208/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10824360 memory=81504 CPUtime=1.11 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 15151 13392 0 0 97 6 5 3 20 0 15 0 417162604 11084144640 20376 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2706090 20376 3501 1 0 2668173 0
[pid=29807/tid=29860] ppid=29804 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 10322 13392 0 0 54 5 5 3 20 0 15 0 417162613 11084144640 20376 33554432000 4194304 4196468 140728504452320 140637055244240 140637083473053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11084144640 20376 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10824360 memory=140073647616784 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162614 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10824360 memory=140076063392334 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2 13392 0 0 0 0 5 3 20 0 15 0 417162614 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10824360 memory=8000 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 5 13392 0 0 0 0 5 3 20 0 15 0 417162615 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10824360 memory=7518026621751088994 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 33 13392 0 0 0 0 5 3 20 0 15 0 417162615 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636406609312 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10824360 memory=6081102367496366441 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162616 11084144640 20376 33554432000 4194304 4196468 140728504452320 140635952637424 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10824360 memory=14080 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11084144640 20376 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10824360 memory=21640 CPUtime=0.22 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) R 29804 29807 25027 0 -1 4202560 988 13392 0 0 14 0 5 3 20 0 15 0 417162618 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636373051376 140637064760193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10824360 memory=2120 CPUtime=0.18 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 696 13392 0 0 10 0 5 3 20 0 15 0 417162618 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10824360 memory=508 CPUtime=0.25 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 884 13392 0 0 17 0 5 3 20 0 15 0 417162618 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10824360 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11084144640 20376 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10824360 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162619 11084144640 20376 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81504 KiB
[startup+1.50074 s]
/proc/loadavg: 1.65 1.53 1.41 6/229 29873
/proc/meminfo: memFree=28928148/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10834676 memory=195484 CPUtime=2.72 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 24344 13392 0 0 253 11 5 3 20 0 15 0 417162604 11094708224 48849 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2708669 48871 3579 1 0 2670733 0
[pid=29807/tid=29860] ppid=29804 vsize=10834676 memory=65836 CPUtime=1.43 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 15813 13392 0 0 128 7 5 3 20 0 15 0 417162613 11094708224 48871 33554432000 4194304 4196468 140728504452320 140637055259232 140637083463062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10834676 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 78 13392 0 0 1 0 5 3 20 0 15 0 417162614 11094708224 48871 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10834676 memory=280147295264928 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 42 13392 0 0 1 0 5 3 20 0 15 0 417162614 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 277 13392 0 0 1 0 5 3 20 0 15 0 417162614 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 64 13392 0 0 0 0 5 3 20 0 15 0 417162614 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 1343 13392 0 0 1 0 5 3 20 0 15 0 417162615 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 34 13392 0 0 0 0 5 3 20 0 15 0 417162615 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636406609376 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 1 13392 0 0 0 0 5 3 20 0 15 0 417162616 11094708224 48871 33554432000 4194304 4196468 140728504452320 140635952637424 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10834676 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11094708224 48871 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10834676 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) R 29804 29807 25027 0 -1 1077944384 1741 13392 0 0 43 0 5 3 20 0 15 0 417162618 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10834676 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) R 29804 29807 25027 0 -1 1077944384 1110 13392 0 0 37 0 5 3 20 0 15 0 417162618 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10834676 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 1625 13392 0 0 37 0 5 3 20 0 15 0 417162618 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10834676 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11094708224 48871 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10834676 memory=280147295509376 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11094708224 48871 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+402.301 s]
/proc/loadavg: 1.21 1.44 1.44 3/228 30043
/proc/meminfo: memFree=28551520/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10844936 memory=307552 CPUtime=410.81 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 110543 13392 0 0 41034 39 5 3 20 0 15 0 417162604 11105214464 76888 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2711234 76888 3621 1 0 2673293 0
[pid=29807/tid=29860] ppid=29804 vsize=10844936 memory=307552 CPUtime=401.59 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 32136 13392 0 0 40139 12 5 3 20 0 15 0 417162613 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637055286320 140636651793019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10844936 memory=3612 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 3304 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.35 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 4108 13392 0 0 24 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 3927 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2595 13392 0 0 23 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 4901 13392 0 0 24 2 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10844936 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 40 13392 0 0 0 0 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636406609440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 5 13392 0 0 0 0 5 3 20 0 15 0 417162616 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635952637440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10844936 memory=307552 CPUtime=3.48 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 24287 13392 0 0 336 4 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10844936 memory=307552 CPUtime=2.99 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 17767 13392 0 0 290 1 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10844936 memory=307552 CPUtime=1.47 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 14919 13392 0 0 137 2 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.17 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 338 13392 0 0 4 5 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 410.81 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 307552 KiB
[startup+402.926 s]
# the end of solver process 29807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=411.001 s, system=0.441708 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+402.401 s]
/proc/loadavg: 1.21 1.44 1.44 3/228 30043
/proc/meminfo: memFree=28551520/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10844936 memory=307552 CPUtime=410.91 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 110543 13392 0 0 41044 39 5 3 20 0 15 0 417162604 11105214464 76888 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2711234 76888 3621 1 0 2673293 0
[pid=29807/tid=29860] ppid=29804 vsize=10844936 memory=6791534058613427641 CPUtime=401.69 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 32136 13392 0 0 40149 12 5 3 20 0 15 0 417162613 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637055286320 140636651792976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10844936 memory=21652 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 3304 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10844936 memory=2120 CPUtime=0.35 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 4108 13392 0 0 24 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10844936 memory=508 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 3927 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10844936 memory=1560 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2595 13392 0 0 23 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10844936 memory=932 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 4901 13392 0 0 24 2 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10844936 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 40 13392 0 0 0 0 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636406609440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10844936 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 5 13392 0 0 0 0 5 3 20 0 15 0 417162616 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635952637440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10844936 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10844936 memory=2608 CPUtime=3.48 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 24287 13392 0 0 336 4 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10844936 memory=1660 CPUtime=2.99 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 17767 13392 0 0 290 1 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10844936 memory=4104 CPUtime=1.47 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 14919 13392 0 0 137 2 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10844936 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10844936 memory=3200 CPUtime=0.17 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 338 13392 0 0 4 5 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 410.91 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 307552 KiB
[startup+402.801 s]
/proc/loadavg: 1.21 1.44 1.44 3/228 30043
/proc/meminfo: memFree=28551520/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10844936 memory=307552 CPUtime=411.31 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 110544 13392 0 0 41084 39 5 3 20 0 15 0 417162604 11105214464 76888 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2711234 76888 3621 1 0 2673293 0
[pid=29807/tid=29860] ppid=29804 vsize=10844936 memory=6791534058613427641 CPUtime=402.09 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 32137 13392 0 0 40189 12 5 3 20 0 15 0 417162613 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637055286464 140636648520750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10844936 memory=776 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 3304 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10844936 memory=1056 CPUtime=0.35 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 4108 13392 0 0 24 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10844936 memory=4000 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 3927 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10844936 memory=1552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2595 13392 0 0 23 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10844936 memory=1556 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 4901 13392 0 0 24 2 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10844936 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 40 13392 0 0 0 0 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636406609440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10844936 memory=1044 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 5 13392 0 0 0 0 5 3 20 0 15 0 417162616 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635952637440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10844936 memory=712 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10844936 memory=2832 CPUtime=3.48 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 24287 13392 0 0 336 4 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10844936 memory=8000 CPUtime=2.99 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 17767 13392 0 0 290 1 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10844936 memory=307552 CPUtime=1.47 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 14919 13392 0 0 137 2 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.17 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 338 13392 0 0 4 5 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 411.31 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 307552 KiB
[startup+402.901 s]
/proc/loadavg: 1.21 1.44 1.44 3/228 30043
/proc/meminfo: memFree=28551520/32770624 swapFree=66958232/67108860
[pid=29807] ppid=29804 vsize=10844936 memory=307552 CPUtime=411.41 cores=1,3,5,7
/proc/29807/stat : 29807 (java) S 29804 29807 25027 0 -1 1077944320 110544 13392 0 0 41094 39 5 3 20 0 15 0 417162604 11105214464 76888 33554432000 4194304 4196468 140728504452320 140728504434864 140637083451127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
/proc/29807/statm: 2711234 76888 3621 1 0 2673293 0
[pid=29807/tid=29860] ppid=29804 vsize=10844936 memory=307552 CPUtime=402.19 cores=1,3,5,7
/proc/29807/task/29860/stat : 29860 (java) R 29804 29807 25027 0 -1 4202560 32137 13392 0 0 40199 12 5 3 20 0 15 0 417162613 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637055286464 140636651794971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29861] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29861/stat : 29861 (java) S 29804 29807 25027 0 -1 1077944384 3304 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140637087693072 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29862] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.35 cores=1,3,5,7
/proc/29807/task/29862/stat : 29862 (java) S 29804 29807 25027 0 -1 1077944384 4108 13392 0 0 24 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636975966608 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29863] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29863/stat : 29863 (java) S 29804 29807 25027 0 -1 1077944384 3927 13392 0 0 24 2 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636974914064 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29864] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29864/stat : 29864 (java) S 29804 29807 25027 0 -1 1077944384 2595 13392 0 0 23 3 5 3 20 0 15 0 417162614 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636973861520 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29865] ppid=29804 vsize=10844936 memory=56 CPUtime=0.34 cores=1,3,5,7
/proc/29807/task/29865/stat : 29865 (java) S 29804 29807 25027 0 -1 1077944384 4901 13392 0 0 24 2 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636407663088 140637083462274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29866] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29866/stat : 29866 (java) S 29804 29807 25027 0 -1 1077944384 40 13392 0 0 0 0 5 3 20 0 15 0 417162615 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636406609440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29867] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29867/stat : 29867 (java) S 29804 29807 25027 0 -1 1077944384 5 13392 0 0 0 0 5 3 20 0 15 0 417162616 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635952637440 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29868] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29868/stat : 29868 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635645237968 140637083469723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29869] ppid=29804 vsize=10844936 memory=307552 CPUtime=3.48 cores=1,3,5,7
/proc/29807/task/29869/stat : 29869 (java) S 29804 29807 25027 0 -1 1077944384 24287 13392 0 0 336 4 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636373051376 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29870] ppid=29804 vsize=10844936 memory=3612 CPUtime=2.99 cores=1,3,5,7
/proc/29807/task/29870/stat : 29870 (java) S 29804 29807 25027 0 -1 1077944384 17767 13392 0 0 290 1 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636371998832 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29871] ppid=29804 vsize=10844936 memory=307552 CPUtime=1.47 cores=1,3,5,7
/proc/29807/task/29871/stat : 29871 (java) S 29804 29807 25027 0 -1 1077944384 14919 13392 0 0 137 2 5 3 20 0 15 0 417162618 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636370946288 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29872] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.08 cores=1,3,5,7
/proc/29807/task/29872/stat : 29872 (java) S 29804 29807 25027 0 -1 1077944384 3 13392 0 0 0 0 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140635611679328 140637083461333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
[pid=29807/tid=29873] ppid=29804 vsize=10844936 memory=307552 CPUtime=0.17 cores=1,3,5,7
/proc/29807/task/29873/stat : 29873 (java) S 29804 29807 25027 0 -1 1077944384 338 13392 0 0 4 5 5 3 20 0 15 0 417162619 11105214464 76888 33554432000 4194304 4196468 140728504452320 140636369894192 140637083462274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30482432 140728504453872 140728504456389 140728504456389 140728504459215 0
Current children cumulated CPU time: 411.41 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 307552 KiB
Child status: 0
Real time (s): 402.926
CPU time (s): 411.442
CPU user time (s): 411.001
CPU system time (s): 0.441708
CPU usage (%): 102.114
Max. virtual memory (cumulated for all children) (KiB): 10847564
Max. memory (cumulated for all children) (KiB): 411840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 411.001
system time used= 0.441708
maximum resident set size= 413888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19462
involuntary context switches= 417
# summary of solver processes directly reported to runsolver:
# pid: 29807
# total CPU time (s): 411.442
# total CPU user time (s): 411.001
# total CPU system time (s): 0.441708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6068 second user time and 3.46068 second system time
The end