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 (13441 MiB free)
memory of node 1: 16384 MiB (14255 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395840-1568410963/watcher-4395840-1568410963 -o /tmp/evaluation-result-4395840-1568410963/solver-4395840-1568410963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=830078216 HOME/instance-4395840-1568410963.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=15175, runsolver pid=15172
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.78 1.51 1.49 3/218 15232
/proc/meminfo: memFree=28353316/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 4539 13095 0 0 1 1 5 3 20 0 6 0 417036453 10212057088 4270 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2493178 4270 1935 1 0 2481616 0
[pid=15175/tid=15228] ppid=15172 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 2347 13095 0 0 1 0 5 3 20 0 6 0 417036462 10212057088 4336 33554432000 4194304 4196468 140724207035248 140142662554192 140142676029433 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=9972712 memory=5793855497348094393 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 6 0 417036463 10212057088 4336 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=9972712 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 6 0 417036463 10212057088 4336 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 6 0 417036463 10212057088 4336 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 6 0 417036463 10212057088 4336 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.20992 s]*
/proc/loadavg: 1.78 1.51 1.49 3/227 15241
/proc/meminfo: memFree=28333296/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10819664 memory=41040 CPUtime=0.27 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 7093 13095 0 0 17 2 5 3 20 0 15 0 417036453 11079335936 10260 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2704916 10260 3165 1 0 2667149 0
[pid=15175/tid=15228] ppid=15172 vsize=10819664 memory=-8540663193526752614 CPUtime=0.2 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 3573 13095 0 0 11 1 5 3 20 0 15 0 417036462 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142662531552 140142682956579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10819664 memory=4211973972542991754 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10819664 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10819664 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036464 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 33 13095 0 0 0 0 5 3 20 0 15 0 417036465 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142148773280 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036465 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142031398384 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11079335936 10260 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) S 15172 15175 12027 0 -1 1077944384 603 13095 0 0 1 0 5 3 20 0 15 0 417036467 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) S 15172 15175 12027 0 -1 1077944384 55 13095 0 0 0 0 5 3 20 0 15 0 417036467 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142114162800 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10819664 memory=140246338201216 CPUtime=0.11 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) R 15172 15175 12027 0 -1 4202560 615 13095 0 0 3 0 5 3 20 0 15 0 417036467 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142113110256 140142690729366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11079335936 10260 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10819664 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036468 11079335936 10260 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41040 KiB
[startup+0.310294 s]*
/proc/loadavg: 1.78 1.51 1.49 3/227 15241
/proc/meminfo: memFree=28321324/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10820148 memory=52176 CPUtime=0.4 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 10796 13095 0 0 28 4 5 3 20 0 15 0 417036453 11079831552 13044 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2705037 13044 3297 1 0 2667149 0
[pid=15175/tid=15228] ppid=15172 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 7252 13095 0 0 19 3 5 3 20 0 15 0 417036462 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142662513760 140142690739357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036463 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10820148 memory=140246338201215 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036464 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 33 13095 0 0 0 0 5 3 20 0 15 0 417036465 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142148773280 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10820148 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036465 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142031398384 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11079831552 13044 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) S 15172 15175 12027 0 -1 1077944384 604 13095 0 0 1 0 5 3 20 0 15 0 417036467 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) S 15172 15175 12027 0 -1 1077944384 64 13095 0 0 1 0 5 3 20 0 15 0 417036467 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142114162800 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) R 15172 15175 12027 0 -1 4202560 624 13095 0 0 5 0 5 3 20 0 15 0 417036467 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142113110256 140142690729366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11079831552 13044 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036468 11079831552 13044 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52176 KiB
[startup+0.700683 s]
/proc/loadavg: 1.78 1.51 1.49 3/227 15241
/proc/meminfo: memFree=28306956/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10824360 memory=85340 CPUtime=1.14 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 15066 13095 0 0 100 6 5 3 20 0 15 0 417036453 11084144640 21335 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2706090 21335 3498 1 0 2668173 0
[pid=15175/tid=15228] ppid=15172 vsize=10824360 memory=1660 CPUtime=0.67 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 10370 13095 0 0 54 5 5 3 20 0 15 0 417036462 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142662544592 140142690729366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10824360 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10824360 memory=140246184665601 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10824360 memory=140247862084501 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036463 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10824360 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036463 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10824360 memory=5794559664533100645 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 5 13095 0 0 0 0 5 3 20 0 15 0 417036464 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10824360 memory=7739276948477931367 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 33 13095 0 0 0 0 5 3 20 0 15 0 417036465 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142148773280 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10824360 memory=5787219428069434709 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036465 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142031398384 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10824360 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11084144640 21335 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10824360 memory=8326441112149131693 CPUtime=0.2 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) R 15172 15175 12027 0 -1 1077944384 1116 13095 0 0 12 0 5 3 20 0 15 0 417036467 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10824360 memory=7679937539659563834 CPUtime=0.23 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) R 15172 15175 12027 0 -1 4202560 453 13095 0 0 15 0 5 3 20 0 15 0 417036467 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142114162800 140142674623177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10824360 memory=6944656425123485561 CPUtime=0.25 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) R 15172 15175 12027 0 -1 4202560 872 13095 0 0 17 0 5 3 20 0 15 0 417036467 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142113110256 140142690729366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10824360 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11084144640 21335 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) R 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036468 11084144640 21335 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85340 KiB
[startup+1.50076 s]
/proc/loadavg: 1.78 1.51 1.49 3/227 15241
/proc/meminfo: memFree=28260124/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10834676 memory=187044 CPUtime=2.68 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 21671 13095 0 0 249 11 5 3 20 0 15 0 417036453 11094708224 46761 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2708669 46761 3596 1 0 2670733 0
[pid=15175/tid=15228] ppid=15172 vsize=10834676 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 15313 13095 0 0 129 7 5 3 20 0 15 0 417036462 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142662542640 140142672281006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10834676 memory=106508 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 26 13095 0 0 1 0 5 3 20 0 15 0 417036463 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10834676 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 77 13095 0 0 1 0 5 3 20 0 15 0 417036463 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 312 13095 0 0 1 0 5 3 20 0 15 0 417036463 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 69 13095 0 0 1 0 5 3 20 0 15 0 417036463 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 167 13095 0 0 1 0 5 3 20 0 15 0 417036464 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10834676 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 34 13095 0 0 0 0 5 3 20 0 15 0 417036465 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142148773344 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10834676 memory=2580 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036465 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142031398400 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10834676 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11094708224 46761 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10834676 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) S 15172 15175 12027 0 -1 1077944384 1285 13095 0 0 34 0 5 3 20 0 15 0 417036467 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10834676 memory=205671421243808 CPUtime=0.47 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) S 15172 15175 12027 0 -1 1077944384 694 13095 0 0 39 0 5 3 20 0 15 0 417036467 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142114162800 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10834676 memory=3107990 CPUtime=0.46 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) S 15172 15175 12027 0 -1 1077944384 1482 13095 0 0 38 0 5 3 20 0 15 0 417036467 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142113110256 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10834676 memory=6935649255759568985 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11094708224 46761 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10834676 memory=7007706849797498708 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 1 13095 0 0 0 0 5 3 20 0 15 0 417036468 11094708224 46761 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
[startup+6.03075 s]
# the end of solver process 15175 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.8891 s, system=0.381506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20202 s]
/proc/loadavg: 1.78 1.51 1.49 6/227 15241
/proc/meminfo: memFree=28065472/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10842888 memory=343920 CPUtime=6.91 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 45856 13095 0 0 665 18 5 3 20 0 15 0 417036453 11103117312 85980 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2710722 85980 3608 1 0 2672781 0
[pid=15175/tid=15228] ppid=15172 vsize=10842888 memory=140246184759162 CPUtime=3.11 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 22494 13095 0 0 294 9 5 3 20 0 15 0 417036462 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142662548944 140142253958243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10842888 memory=280492369498640 CPUtime=0.11 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 45 13095 0 0 2 1 5 3 20 0 15 0 417036463 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10842888 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 113 13095 0 0 2 0 5 3 20 0 15 0 417036463 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 325 13095 0 0 1 0 5 3 20 0 15 0 417036463 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10842888 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 178 13095 0 0 2 0 5 3 20 0 15 0 417036463 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10842888 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 298 13095 0 0 2 0 5 3 20 0 15 0 417036464 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10842888 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 41 13095 0 0 0 0 5 3 20 0 15 0 417036465 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142148773344 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10842888 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 4 13095 0 0 0 0 5 3 20 0 15 0 417036465 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142031398400 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10842888 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11103117312 85980 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10842888 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) R 15172 15175 12027 0 -1 4202560 8083 13095 0 0 126 2 5 3 20 0 15 0 417036467 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142115197936 140142675006433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10842888 memory=6943526294502006880 CPUtime=1.43 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) R 15172 15175 12027 0 -1 4202560 4987 13095 0 0 134 1 5 3 20 0 15 0 417036467 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142114150672 140142670378096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10842888 memory=248764 CPUtime=1.06 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) S 15172 15175 12027 0 -1 1077944384 7071 13095 0 0 97 1 5 3 20 0 15 0 417036467 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142113110256 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10842888 memory=280492368946016 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11103117312 85980 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10842888 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 7 13095 0 0 0 0 5 3 20 0 15 0 417036468 11103117312 85980 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 6.91 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 343920 KiB
[startup+4.80075 s]
/proc/loadavg: 1.78 1.51 1.49 5/227 15241
/proc/meminfo: memFree=27997840/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10846984 memory=515720 CPUtime=10.97 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 60163 13095 0 0 1062 27 5 3 20 0 15 0 417036453 11107311616 128930 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2711746 128930 3617 1 0 2673805 0
[pid=15175/tid=15228] ppid=15172 vsize=10846984 memory=6791534058613427641 CPUtime=4.65 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 23957 13095 0 0 446 11 5 3 20 0 15 0 417036462 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142662397840 140142260895470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10846984 memory=6944656575208382560 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 78 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10846984 memory=6944656592387989600 CPUtime=0.13 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 160 13095 0 0 4 1 5 3 20 0 15 0 417036463 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10846984 memory=6944656592455360604 CPUtime=0.13 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 359 13095 0 0 4 1 5 3 20 0 15 0 417036463 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10846984 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 211 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10846984 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 2869 13095 0 0 4 0 5 3 20 0 15 0 417036464 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10846984 memory=68 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 41 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142148773344 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 4 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142031398400 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11107311616 128930 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10846984 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) S 15172 15175 12027 0 -1 1077944384 12853 13095 0 0 232 3 5 3 20 0 15 0 417036467 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10846984 memory=-7679004722349093442 CPUtime=2.49 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) R 15172 15175 12027 0 -1 4202560 9577 13095 0 0 240 1 5 3 20 0 15 0 417036467 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142114162800 140142674104534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10846984 memory=6935649255759568985 CPUtime=1.29 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) S 15172 15175 12027 0 -1 1077944384 7834 13095 0 0 119 2 5 3 20 0 15 0 417036467 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142113110256 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10846984 memory=7007706849797498708 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 128930 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10846984 memory=280492369068576 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 10 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 128930 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 515720 KiB
[startup+5.60078 s]
/proc/loadavg: 1.96 1.56 1.51 3/227 15241
/proc/meminfo: memFree=27859224/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10846984 memory=528576 CPUtime=12.43 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 60314 13095 0 0 1206 29 5 3 20 0 15 0 417036453 11107311616 132144 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2711746 132144 3617 1 0 2673805 0
[pid=15175/tid=15228] ppid=15172 vsize=10846984 memory=6791534058613427641 CPUtime=5.44 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 23967 13095 0 0 525 11 5 3 20 0 15 0 417036462 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142662551176 140142261066621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10846984 memory=2008 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 84 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10846984 memory=1436 CPUtime=0.15 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 166 13095 0 0 5 2 5 3 20 0 15 0 417036463 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10846984 memory=580 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 365 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10846984 memory=1720 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 217 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10846984 memory=10604 CPUtime=0.12 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 2869 13095 0 0 4 0 5 3 20 0 15 0 417036464 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10846984 memory=3360 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 41 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142148773344 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 4 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142031398400 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10846984 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11107311616 132144 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10846984 memory=5976 CPUtime=2.75 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) R 15172 15175 12027 0 -1 4202560 12891 13095 0 0 264 3 5 3 20 0 15 0 417036467 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142115215344 140142670015729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10846984 memory=1060 CPUtime=2.77 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) S 15172 15175 12027 0 -1 1077944384 9616 13095 0 0 268 1 5 3 20 0 15 0 417036467 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142114162800 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10846984 memory=2828 CPUtime=1.32 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) S 15172 15175 12027 0 -1 1077944384 7873 13095 0 0 122 2 5 3 20 0 15 0 417036467 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142113110256 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10846984 memory=528456 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 132144 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10846984 memory=408040 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 11 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 132144 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 528576 KiB
[startup+6.00078 s]*
/proc/loadavg: 1.96 1.56 1.51 5/227 15241
/proc/meminfo: memFree=27700408/32770624 swapFree=66959224/67108860
[pid=15175] ppid=15172 vsize=10846984 memory=676668 CPUtime=13.23 cores=1,3,5,7
/proc/15175/stat : 15175 (java) S 15172 15175 12027 0 -1 1077944320 60603 13095 0 0 1282 33 5 3 20 0 15 0 417036453 11107311616 169167 33554432000 4194304 4196468 140724207035248 140724207017792 140142690717431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
/proc/15175/statm: 2711746 169167 3620 1 0 2673805 0
[pid=15175/tid=15228] ppid=15172 vsize=10846984 memory=6791534058613427641 CPUtime=5.85 cores=1,3,5,7
/proc/15175/task/15228/stat : 15228 (java) R 15172 15175 12027 0 -1 4202560 24083 13095 0 0 564 13 5 3 20 0 15 0 417036462 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142662542688 140142250531120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15229] ppid=15172 vsize=10846984 memory=-7003737579269690708 CPUtime=0.16 cores=1,3,5,7
/proc/15175/task/15229/stat : 15229 (java) S 15172 15175 12027 0 -1 1077944384 91 13095 0 0 5 3 5 3 20 0 15 0 417036463 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142694959376 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15230] ppid=15172 vsize=10846984 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15175/task/15230/stat : 15230 (java) S 15172 15175 12027 0 -1 1077944384 172 13095 0 0 5 2 5 3 20 0 15 0 417036463 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142583232912 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15231] ppid=15172 vsize=10846984 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15175/task/15231/stat : 15231 (java) S 15172 15175 12027 0 -1 1077944384 371 13095 0 0 4 2 5 3 20 0 15 0 417036463 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142582180368 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15232] ppid=15172 vsize=10846984 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15175/task/15232/stat : 15232 (java) S 15172 15175 12027 0 -1 1077944384 223 13095 0 0 5 2 5 3 20 0 15 0 417036463 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142581127824 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15233] ppid=15172 vsize=10846984 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15175/task/15233/stat : 15233 (java) S 15172 15175 12027 0 -1 1077944384 2936 13095 0 0 4 0 5 3 20 0 15 0 417036464 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142149827056 140142690728578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15234] ppid=15172 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15234/stat : 15234 (java) S 15172 15175 12027 0 -1 1077944384 43 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142148773344 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15235] ppid=15172 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15235/stat : 15235 (java) S 15172 15175 12027 0 -1 1077944384 4 13095 0 0 0 0 5 3 20 0 15 0 417036465 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142031398400 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15236] ppid=15172 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15236/stat : 15236 (java) S 15172 15175 12027 0 -1 1077944384 2 13095 0 0 0 0 5 3 20 0 15 0 417036467 11107311616 169167 33554432000 4194304 4196468 140724207035248 140141427419856 140142690736027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15237] ppid=15172 vsize=10846984 memory=0 CPUtime=2.93 cores=1,3,5,7
/proc/15175/task/15237/stat : 15237 (java) S 15172 15175 12027 0 -1 1077944384 12936 13095 0 0 282 3 5 3 20 0 15 0 417036467 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142115215344 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15238] ppid=15172 vsize=10846984 memory=-1 CPUtime=2.95 cores=1,3,5,7
/proc/15175/task/15238/stat : 15238 (java) S 15172 15175 12027 0 -1 1077944384 9637 13095 0 0 286 1 5 3 20 0 15 0 417036467 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142114162800 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15239] ppid=15172 vsize=10846984 memory=140246338201216 CPUtime=1.33 cores=1,3,5,7
/proc/15175/task/15239/stat : 15239 (java) R 15172 15175 12027 0 -1 4202560 7886 13095 0 0 123 2 5 3 20 0 15 0 417036467 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142113110256 140142675882976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15240] ppid=15172 vsize=10846984 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15240/stat : 15240 (java) S 15172 15175 12027 0 -1 1077944384 3 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 169167 33554432000 4194304 4196468 140724207035248 140140957657696 140142690727637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
[pid=15175/tid=15241] ppid=15172 vsize=10846984 memory=140246338201216 CPUtime=0.08 cores=1,3,5,7
/proc/15175/task/15241/stat : 15241 (java) S 15172 15175 12027 0 -1 1077944384 11 13095 0 0 0 0 5 3 20 0 15 0 417036468 11107311616 169167 33554432000 4194304 4196468 140724207035248 140142112058160 140142690728578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31870976 140724207041264 140724207043781 140724207043781 140724207046607 0
Current children cumulated CPU time: 13.23 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 676668 KiB
Child status: 0
Real time (s): 6.03082
CPU time (s): 13.2706
CPU user time (s): 12.8891
CPU system time (s): 0.381506
CPU usage (%): 220.047
Max. virtual memory (cumulated for all children) (KiB): 10847560
Max. memory (cumulated for all children) (KiB): 676668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8891
system time used= 0.381506
maximum resident set size= 678964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5570
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 15175
# total CPU time (s): 13.2706
# total CPU user time (s): 12.8891
# total CPU system time (s): 0.381506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063349 second user time and 0.098914 second system time
The end