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 (12170 MiB free)
memory of node 1: 16384 MiB (15684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396297-1568409666/watcher-4396297-1568409666 -o /tmp/evaluation-result-4396297-1568409666/solver-4396297-1568409666 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568399035-29407 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1341706268 HOME/instance-4396297-1568409666.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=32474, runsolver pid=32471
Current StackSize limit: 8192 KiB
[startup+0.100427 s]*
/proc/loadavg: 1.18 1.38 1.42 3/218 32531
/proc/meminfo: memFree=28515484/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 4544 13275 0 0 1 0 5 2 20 0 6 0 417231465 10212057088 4270 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2493178 4270 1935 1 0 2481616 0
[pid=32474/tid=32527] ppid=32471 vsize=9972712 memory=4279135703913364878 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 2333 13275 0 0 0 0 5 2 20 0 6 0 417231474 10212057088 4270 33554432000 4194304 4196468 140733317911248 140475032994384 140475061181213 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 6 0 417231475 10212057088 4336 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=9972712 memory=140067930871424 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 6 0 417231475 10212057088 4336 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 6 0 417231475 10212057088 4336 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 6 0 417231475 10212057088 4336 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209886 s]*
/proc/loadavg: 1.18 1.38 1.42 3/227 32540
/proc/meminfo: memFree=28496884/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10819664 memory=39208 CPUtime=0.26 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 7199 13275 0 0 17 2 5 2 20 0 15 0 417231465 11079335936 9802 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2704916 9802 3129 1 0 2667149 0
[pid=32474/tid=32527] ppid=32471 vsize=10819664 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 3696 13275 0 0 10 1 5 2 20 0 15 0 417231474 11079335936 9802 33554432000 4194304 4196468 140733317911248 140475032990088 140475045238110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079335936 9802 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10819664 memory=140067930871424 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10819664 memory=140067930871424 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 13 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474421601056 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079335936 9802 33554432000 4194304 4196468 140733317911248 140473817621616 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11079335936 9802 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 460 13275 0 0 1 0 5 2 20 0 15 0 417231480 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) R 32471 32474 29375 0 -1 1077944384 194 13275 0 0 1 0 5 2 20 0 15 0 417231480 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10819664 memory=140067930871424 CPUtime=0.1 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) R 32471 32474 29375 0 -1 4202560 611 13275 0 0 3 0 5 2 20 0 15 0 417231480 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474517551984 140475061171487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11079335936 9802 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10819664 memory=140067930871424 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231481 11079335936 9802 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39208 KiB
[startup+0.310441 s]*
/proc/loadavg: 1.18 1.38 1.42 3/227 32540
/proc/meminfo: memFree=28484676/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10820148 memory=50612 CPUtime=0.4 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 10899 13275 0 0 29 4 5 2 20 0 15 0 417231465 11079831552 12653 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2705037 12653 3292 1 0 2667149 0
[pid=32474/tid=32527] ppid=32471 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 7377 13275 0 0 18 3 5 2 20 0 15 0 417231474 11079831552 12653 33554432000 4194304 4196468 140733317911248 140475032980016 140475061179549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10820148 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079831552 12653 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10820148 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 15 0 417231475 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 13 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474421601056 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231477 11079831552 12653 33554432000 4194304 4196468 140733317911248 140473817621616 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11079831552 12653 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 460 13275 0 0 1 0 5 2 20 0 15 0 417231480 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 204 13275 0 0 2 0 5 2 20 0 15 0 417231480 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 620 13275 0 0 5 0 5 2 20 0 15 0 417231480 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11079831552 12653 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231481 11079831552 12653 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50612 KiB
[startup+0.702007 s]
/proc/loadavg: 1.18 1.38 1.42 3/227 32540
/proc/meminfo: memFree=28470024/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10824360 memory=83760 CPUtime=1.14 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 15152 13275 0 0 101 6 5 2 20 0 15 0 417231465 11084144640 20940 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2706090 20940 3502 1 0 2668173 0
[pid=32474/tid=32527] ppid=32471 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 10331 13275 0 0 54 5 5 2 20 0 15 0 417231474 11084144640 20940 33554432000 4194304 4196468 140733317911248 140475032966080 140475061171505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11084144640 20940 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10824360 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231475 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 2 13275 0 0 0 0 5 2 20 0 15 0 417231475 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10824360 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 5 13275 0 0 0 0 5 2 20 0 15 0 417231477 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10824360 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 13 13275 0 0 0 0 5 2 20 0 15 0 417231477 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474421601056 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10824360 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231477 11084144640 20940 33554432000 4194304 4196468 140733317911248 140473817621616 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10824360 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11084144640 20940 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10824360 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) R 32471 32474 29375 0 -1 4202560 935 13275 0 0 13 0 5 2 20 0 15 0 417231480 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474519657072 140475061171483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10824360 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 757 13275 0 0 15 0 5 2 20 0 15 0 417231480 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10824360 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 888 13275 0 0 17 0 5 2 20 0 15 0 417231480 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10824360 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11084144640 20940 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10824360 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231481 11084144640 20940 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83760 KiB
[startup+1.50098 s]
/proc/loadavg: 1.18 1.38 1.42 3/227 32540
/proc/meminfo: memFree=28424240/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10834676 memory=172152 CPUtime=2.53 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 22107 13275 0 0 235 11 5 2 20 0 15 0 417231465 11094708224 43038 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2708669 43038 3579 1 0 2670733 0
[pid=32474/tid=32527] ppid=32471 vsize=10834676 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 15230 13275 0 0 128 7 5 2 20 0 15 0 417231474 11094708224 43038 33554432000 4194304 4196468 140733317911248 140475032957456 140475039160483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 350 13275 0 0 1 0 5 2 20 0 15 0 417231475 11094708224 43038 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 24 13275 0 0 1 0 5 2 20 0 15 0 417231475 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 52 13275 0 0 1 0 5 2 20 0 15 0 417231475 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 88 13275 0 0 1 0 5 2 20 0 15 0 417231475 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10834676 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 142 13275 0 0 1 0 5 2 20 0 15 0 417231477 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10834676 memory=280135618078976 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 14 13275 0 0 0 0 5 2 20 0 15 0 417231477 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474421601120 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231477 11094708224 43038 33554432000 4194304 4196468 140733317911248 140473817621632 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10834676 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11094708224 43038 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10834676 memory=2832 CPUtime=0.35 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 1098 13275 0 0 28 0 5 2 20 0 15 0 417231480 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10834676 memory=1712 CPUtime=0.38 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 1169 13275 0 0 31 0 5 2 20 0 15 0 417231480 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10834676 memory=1220 CPUtime=0.47 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) R 32471 32474 29375 0 -1 4202560 1722 13275 0 0 40 0 5 2 20 0 15 0 417231480 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474517546368 140475047293477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10834676 memory=992 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11094708224 43038 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10834676 memory=5988 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1 13275 0 0 0 0 5 2 20 0 15 0 417231481 11094708224 43038 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 63642 13275 0 0 235830 51 5 2 20 0 15 0 417231474 11111518208 182504 33554432000 4194304 4196468 140733317911248 140475032991584 140474653855958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.2 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 10713 13275 0 0 1058 55 5 2 20 0 15 0 417231475 11111518208 182504 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.19 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 7687 13275 0 0 1057 55 5 2 20 0 15 0 417231475 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.17 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 9971 13275 0 0 1057 53 5 2 20 0 15 0 417231475 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.16 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 8696 13275 0 0 1056 53 5 2 20 0 15 0 417231475 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10851092 memory=0 CPUtime=10.08 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 10449 13275 0 0 945 56 5 2 20 0 15 0 417231477 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10851092 memory=730016 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 20 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474421601120 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10851092 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 182504 33554432000 4194304 4196468 140733317911248 140473817621632 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10851092 memory=730016 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 182504 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10851092 memory=730016 CPUtime=6.74 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 31743 13275 0 0 660 7 5 2 20 0 15 0 417231480 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10851092 memory=730016 CPUtime=7.43 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 33242 13275 0 0 728 8 5 2 20 0 15 0 417231480 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10851092 memory=730016 CPUtime=5.41 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 34573 13275 0 0 525 9 5 2 20 0 15 0 417231480 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10851092 memory=730016 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 182504 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10851092 memory=3580 CPUtime=1.31 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1116 13275 0 0 58 66 5 2 20 0 15 0 417231481 11111518208 182504 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 2434.02 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 730016 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.39 1.42 3/228 468
/proc/meminfo: memFree=27942156/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10851092 memory=732064 CPUtime=2494.87 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 215436 13275 0 0 249119 361 5 2 20 0 15 0 417231465 11111518208 183016 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2712773 183016 3630 1 0 2674829 0
[pid=32474/tid=32527] ppid=32471 vsize=10851092 memory=732064 CPUtime=2418.3 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 64266 13275 0 0 241771 52 5 2 20 0 15 0 417231474 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475032992416 140474653861540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.48 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 10995 13275 0 0 1085 56 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10851092 memory=730016 CPUtime=11.48 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 7819 13275 0 0 1085 56 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.45 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 10035 13275 0 0 1084 54 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.44 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 8716 13275 0 0 1082 55 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10851092 memory=732064 CPUtime=10.33 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 10672 13275 0 0 968 58 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 20 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474421601120 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473817621632 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10851092 memory=732064 CPUtime=6.74 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 31745 13275 0 0 660 7 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10851092 memory=732064 CPUtime=7.43 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 33244 13275 0 0 728 8 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10851092 memory=732064 CPUtime=5.41 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 34575 13275 0 0 525 9 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10851092 memory=732064 CPUtime=1.34 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1130 13275 0 0 59 68 5 2 20 0 15 0 417231481 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 2494.87 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 732064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.11 s]
/proc/loadavg: 1.53 1.42 1.43 3/228 472
/proc/meminfo: memFree=27942332/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10851092 memory=732064 CPUtime=2520.04 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 215639 13275 0 0 251632 365 5 2 20 0 15 0 417231465 11111518208 183016 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2712773 183016 3630 1 0 2674829 0
[pid=32474/tid=32527] ppid=32471 vsize=10851092 memory=732064 CPUtime=2442.87 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 64462 13275 0 0 244228 52 5 2 20 0 15 0 417231474 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475032991744 140474653209665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.6 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 10995 13275 0 0 1096 57 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.59 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 7819 13275 0 0 1096 56 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.57 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 10035 13275 0 0 1095 55 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.56 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 8716 13275 0 0 1094 55 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10851092 memory=732064 CPUtime=10.43 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 10677 13275 0 0 978 58 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 20 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474421601120 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473817621632 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10851092 memory=732064 CPUtime=6.74 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 31745 13275 0 0 660 7 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10851092 memory=3136 CPUtime=7.43 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 33244 13275 0 0 728 8 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10851092 memory=732064 CPUtime=5.41 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 34575 13275 0 0 525 9 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10851092 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10851092 memory=732064 CPUtime=1.35 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1132 13275 0 0 60 68 5 2 20 0 15 0 417231481 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 732064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.14 s]
# the end of solver process 32474 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.4 s, system=3.68594 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.11 s]
/proc/loadavg: 1.53 1.42 1.43 3/228 472
/proc/meminfo: memFree=27942332/32770624 swapFree=66999920/67108860
[pid=32474] ppid=32471 vsize=10851092 memory=732064 CPUtime=2520.04 cores=1,3,5,7
/proc/32474/stat : 32474 (java) S 32471 32474 29375 0 -1 1077944320 215639 13275 0 0 251632 365 5 2 20 0 15 0 417231465 11111518208 183016 33554432000 4194304 4196468 140733317911248 140733317893792 140475061157623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
/proc/32474/statm: 2712773 183016 3630 1 0 2674829 0
[pid=32474/tid=32527] ppid=32471 vsize=10851092 memory=732064 CPUtime=2442.87 cores=1,3,5,7
/proc/32474/task/32527/stat : 32527 (java) R 32471 32474 29375 0 -1 4202560 64462 13275 0 0 244228 52 5 2 20 0 15 0 417231474 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475032991744 140474653209665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32528] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.6 cores=1,3,5,7
/proc/32474/task/32528/stat : 32528 (java) S 32471 32474 29375 0 -1 1077944384 10995 13275 0 0 1096 57 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140475065400208 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32529] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.59 cores=1,3,5,7
/proc/32474/task/32529/stat : 32529 (java) S 32471 32474 29375 0 -1 1077944384 7819 13275 0 0 1096 56 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474964290320 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32530] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.57 cores=1,3,5,7
/proc/32474/task/32530/stat : 32530 (java) S 32471 32474 29375 0 -1 1077944384 10035 13275 0 0 1095 55 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474963238032 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32531] ppid=32471 vsize=10851092 memory=732064 CPUtime=11.56 cores=1,3,5,7
/proc/32474/task/32531/stat : 32531 (java) S 32471 32474 29375 0 -1 1077944384 8716 13275 0 0 1094 55 5 2 20 0 15 0 417231475 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474962185232 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32532] ppid=32471 vsize=10851092 memory=732064 CPUtime=10.43 cores=1,3,5,7
/proc/32474/task/32532/stat : 32532 (java) S 32471 32474 29375 0 -1 1077944384 10677 13275 0 0 978 58 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474520709232 140475061168770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32533] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32533/stat : 32533 (java) S 32471 32474 29375 0 -1 1077944384 20 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474421601120 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32534] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32534/stat : 32534 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231477 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473817621632 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32535] ppid=32471 vsize=10851092 memory=732064 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32535/stat : 32535 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473577330768 140475061176219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32536] ppid=32471 vsize=10851092 memory=732064 CPUtime=6.74 cores=1,3,5,7
/proc/32474/task/32536/stat : 32536 (java) S 32471 32474 29375 0 -1 1077944384 31745 13275 0 0 660 7 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474519657072 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32537] ppid=32471 vsize=10851092 memory=3136 CPUtime=7.43 cores=1,3,5,7
/proc/32474/task/32537/stat : 32537 (java) S 32471 32474 29375 0 -1 1077944384 33244 13275 0 0 728 8 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474518604272 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32538] ppid=32471 vsize=10851092 memory=732064 CPUtime=5.41 cores=1,3,5,7
/proc/32474/task/32538/stat : 32538 (java) S 32471 32474 29375 0 -1 1077944384 34575 13275 0 0 525 9 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474517551984 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32539] ppid=32471 vsize=10851092 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/32474/task/32539/stat : 32539 (java) S 32471 32474 29375 0 -1 1077944384 3 13275 0 0 0 0 5 2 20 0 15 0 417231480 11111518208 183016 33554432000 4194304 4196468 140733317911248 140473543773152 140475061167829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
[pid=32474/tid=32540] ppid=32471 vsize=10851092 memory=732064 CPUtime=1.35 cores=1,3,5,7
/proc/32474/task/32540/stat : 32540 (java) S 32471 32474 29375 0 -1 1077944384 1132 13275 0 0 60 68 5 2 20 0 15 0 417231481 11111518208 183016 33554432000 4194304 4196468 140733317911248 140474516498864 140475061168770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733317917423 140733317919941 140733317919941 140733317922767 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 732064 KiB
Child status: 143
Real time (s): 2467.14
CPU time (s): 2520.09
CPU user time (s): 2516.4
CPU system time (s): 3.68594
CPU usage (%): 102.146
Max. virtual memory (cumulated for all children) (KiB): 10854848
Max. memory (cumulated for all children) (KiB): 853852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.68594
maximum resident set size= 854888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 286650
involuntary context switches= 5120
# summary of solver processes directly reported to runsolver:
# pid: 32474
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.4
# total CPU system time (s): 3.68594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4303 second user time and 22.9507 second system time
The end