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 (13875 MiB free)
memory of node 1: 16384 MiB (13641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395854-1568394544/watcher-4395854-1568394544 -o /tmp/evaluation-result-4395854-1568394544/solver-4395854-1568394544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568393313-9342 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=818792365 HOME/instance-4395854-1568394544.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10589, runsolver pid=10586
[startup+0.100087 s]*
/proc/loadavg: 1.75 1.70 1.65 3/218 10646
/proc/meminfo: memFree=28172060/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 4483 13124 0 0 1 1 5 3 20 0 6 0 415394585 10212057088 4204 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2493178 4204 1935 1 0 2481616 0
[pid=10589/tid=10642] ppid=10586 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 2298 13124 0 0 0 0 5 3 20 0 6 0 415394594 10212057088 4270 33554432000 4194304 4196468 140720453515888 140354213753424 140354241938589 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=9972712 memory=5793855242425813433 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 6 0 415394594 10212057088 4270 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=9972712 memory=139991415920256 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 6 0 415394594 10212057088 4270 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 6 0 415394594 10212057088 4270 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 6 0 415394594 10212057088 4270 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211623 s]*
/proc/loadavg: 1.75 1.70 1.65 3/227 10655
/proc/meminfo: memFree=28151168/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10819664 memory=41660 CPUtime=0.26 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 7231 13124 0 0 17 1 5 3 20 0 15 0 415394585 11079335936 10415 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2704916 10415 3157 1 0 2667149 0
[pid=10589/tid=10642] ppid=10586 vsize=10819664 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 3734 13124 0 0 11 1 5 3 20 0 15 0 415394594 11079335936 10415 33554432000 4194304 4196468 140720453515888 140354213712848 140354225997150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10819664 memory=4211973717620710794 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079335936 10415 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10819664 memory=139991415920256 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079335936 10415 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079335936 10415 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10819664 memory=139991415920256 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 415394596 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 415394596 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353155884704 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394597 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353021666544 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11079335936 10415 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 475 13124 0 0 1 0 5 3 20 0 15 0 415394599 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 188 13124 0 0 1 0 5 3 20 0 15 0 415394599 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10819664 memory=139991415920256 CPUtime=0.11 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 607 13124 0 0 3 0 5 3 20 0 15 0 415394599 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11079335936 10415 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10819664 memory=139991415920256 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394600 11079335936 10415 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41660 KiB
[startup+0.310624 s]*
/proc/loadavg: 1.75 1.70 1.65 5/227 10655
/proc/meminfo: memFree=28138448/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10820148 memory=50548 CPUtime=0.41 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 10873 13124 0 0 29 4 5 3 20 0 15 0 415394585 11079831552 12637 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2705037 12637 3289 1 0 2667149 0
[pid=10589/tid=10642] ppid=10586 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 7348 13124 0 0 18 3 5 3 20 0 15 0 415394594 11079831552 12637 33554432000 4194304 4196468 140720453515888 140354213728176 140354223480238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079831552 12637 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079831552 12637 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079831552 12637 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 415394594 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10820148 memory=139991415920255 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 415394596 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 415394596 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353155884704 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10820148 memory=139991415920256 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394597 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353021666544 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11079831552 12637 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 484 13124 0 0 2 0 5 3 20 0 15 0 415394599 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 189 13124 0 0 1 0 5 3 20 0 15 0 415394599 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 615 13124 0 0 5 0 5 3 20 0 15 0 415394599 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11079831552 12637 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394600 11079831552 12637 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50548 KiB
[startup+0.700719 s]
/proc/loadavg: 1.75 1.70 1.65 3/227 10655
/proc/meminfo: memFree=28123528/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10824360 memory=83808 CPUtime=1.15 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 15161 13124 0 0 100 7 5 3 20 0 15 0 415394585 11084144640 20952 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2706090 20952 3510 1 0 2668173 0
[pid=10589/tid=10642] ppid=10586 vsize=10824360 memory=1660 CPUtime=0.67 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 10400 13124 0 0 54 5 5 3 20 0 15 0 415394594 11084144640 20952 33554432000 4194304 4196468 140720453515888 140354213746208 140354241938589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10824360 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11084144640 20952 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10824360 memory=139991305200129 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11084144640 20952 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10824360 memory=139994459014037 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394594 11084144640 20952 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10824360 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 415394594 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10824360 memory=5794559664533100645 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 415394596 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10824360 memory=7739276948477931367 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 415394596 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353155884704 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10824360 memory=5787219428069434709 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394597 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353021666544 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10824360 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11084144640 20952 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10824360 memory=8326441112149131693 CPUtime=0.24 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 1064 13124 0 0 16 0 5 3 20 0 15 0 415394599 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10824360 memory=7679937539659563834 CPUtime=0.19 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 623 13124 0 0 11 0 5 3 20 0 15 0 415394599 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10824360 memory=6944656425123485561 CPUtime=0.25 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 834 13124 0 0 17 0 5 3 20 0 15 0 415394599 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10824360 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11084144640 20952 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394600 11084144640 20952 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83808 KiB
[startup+1.50081 s]
/proc/loadavg: 1.75 1.70 1.65 5/227 10655
/proc/meminfo: memFree=28067720/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10832628 memory=197304 CPUtime=3.04 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 23038 13124 0 0 283 13 5 3 20 0 15 0 415394585 11092611072 49326 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2708157 49326 3582 1 0 2670221 0
[pid=10589/tid=10642] ppid=10586 vsize=10832628 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 15155 13124 0 0 128 7 5 3 20 0 15 0 415394594 11092611072 49326 33554432000 4194304 4196468 140720453515888 140354213748256 140354225997150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10832628 memory=99204 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 36 13124 0 0 1 0 5 3 20 0 15 0 415394594 11092611072 49326 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10832628 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 242 13124 0 0 1 0 5 3 20 0 15 0 415394594 11092611072 49326 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 23 13124 0 0 1 0 5 3 20 0 15 0 415394594 11092611072 49326 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 60 13124 0 0 1 0 5 3 20 0 15 0 415394594 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 109 13124 0 0 1 0 5 3 20 0 15 0 415394596 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10832628 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 14 13124 0 0 0 0 5 3 20 0 15 0 415394596 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353155884704 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10832628 memory=2580 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394597 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353021666544 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10832628 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11092611072 49326 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10832628 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 1780 13124 0 0 50 1 5 3 20 0 15 0 415394599 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10832628 memory=185719821754294 CPUtime=0.6 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 1541 13124 0 0 52 0 5 3 20 0 15 0 415394599 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10832628 memory=3093419 CPUtime=0.5 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 1862 13124 0 0 42 0 5 3 20 0 15 0 415394599 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10832628 memory=6935649255759568985 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11092611072 49326 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10832628 memory=7007706849797497172 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 415394600 11092611072 49326 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 133063 13124 0 0 235672 77 5 3 20 0 15 0 415394594 11109408768 625997 33554432000 4194304 4196468 140720453515888 140354213752160 140353850359262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10849032 memory=2503988 CPUtime=12.82 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 46027 13124 0 0 1221 53 5 3 20 0 15 0 415394594 11109408768 625997 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10849032 memory=2503988 CPUtime=12.88 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 46117 13124 0 0 1223 57 5 3 20 0 15 0 415394594 11109408768 625997 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10849032 memory=2503988 CPUtime=12.86 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 37286 13124 0 0 1221 57 5 3 20 0 15 0 415394594 11109408768 625997 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10849032 memory=2501940 CPUtime=12.79 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 50082 13124 0 0 1218 53 5 3 20 0 15 0 415394594 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10849032 memory=2503988 CPUtime=8.8 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 34119 13124 0 0 820 52 5 3 20 0 15 0 415394596 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10849032 memory=2503988 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 415394596 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353155884832 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10849032 memory=2503988 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 14 13124 0 0 0 0 5 3 20 0 15 0 415394597 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353021666560 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10849032 memory=2503988 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11109408768 625997 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10849032 memory=2501940 CPUtime=7.42 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 41093 13124 0 0 728 6 5 3 20 0 15 0 415394599 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10849032 memory=776 CPUtime=8.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 44102 13124 0 0 796 5 5 3 20 0 15 0 415394599 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10849032 memory=3620 CPUtime=2.55 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 30845 13124 0 0 242 5 5 3 20 0 15 0 415394599 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10849032 memory=1660 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11109408768 625997 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10849032 memory=2008 CPUtime=1.57 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 2011 13124 0 0 74 75 5 3 20 0 15 0 415394600 11109408768 625997 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 2436.75 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2503988 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.59 1.63 3/227 11012
/proc/meminfo: memFree=23727692/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10849032 memory=2502948 CPUtime=2497.81 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 471256 13124 0 0 249383 390 5 3 20 0 15 0 415394585 11109408768 625737 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2712258 625737 3636 1 0 2674317 0
[pid=10589/tid=10642] ppid=10586 vsize=10849032 memory=2500900 CPUtime=2416.88 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 134556 13124 0 0 241603 77 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354213752256 140353857703847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10849032 memory=2500900 CPUtime=13.2 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 46649 13124 0 0 1259 53 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10849032 memory=2500900 CPUtime=13.25 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 46466 13124 0 0 1259 58 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10849032 memory=2500900 CPUtime=13.24 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 37684 13124 0 0 1257 59 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10849032 memory=2500900 CPUtime=13.16 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 50901 13124 0 0 1253 55 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10849032 memory=2500900 CPUtime=9.03 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 34367 13124 0 0 842 53 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10849032 memory=2500900 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353155884832 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10849032 memory=2500900 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 14 13124 0 0 0 0 5 3 20 0 15 0 415394597 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353021666560 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10849032 memory=2502948 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10849032 memory=776 CPUtime=7.42 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 41097 13124 0 0 728 6 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10849032 memory=3620 CPUtime=8.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 44106 13124 0 0 796 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10849032 memory=2500900 CPUtime=2.55 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 31141 13124 0 0 242 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10849032 memory=2500900 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10849032 memory=2500900 CPUtime=1.61 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 2039 13124 0 0 77 76 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 2497.81 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2502948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.11 s]
/proc/loadavg: 1.52 1.58 1.63 3/227 11014
/proc/meminfo: memFree=23729436/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10849032 memory=2502948 CPUtime=2520.01 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 473087 13124 0 0 251600 393 5 3 20 0 15 0 415394585 11109408768 625737 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2712258 625737 3636 1 0 2674317 0
[pid=10589/tid=10642] ppid=10586 vsize=10849032 memory=2502948 CPUtime=2438.43 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 135226 13124 0 0 243757 78 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354213752224 140353853145513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10849032 memory=2502948 CPUtime=13.33 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 47018 13124 0 0 1272 53 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10849032 memory=2502948 CPUtime=13.39 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 46795 13124 0 0 1272 59 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10849032 memory=1660 CPUtime=13.37 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 37918 13124 0 0 1270 59 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10849032 memory=91499983295286 CPUtime=13.29 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 50998 13124 0 0 1266 55 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10849032 memory=2502948 CPUtime=9.12 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 34479 13124 0 0 850 54 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10849032 memory=2502948 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353155884832 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10849032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 14 13124 0 0 0 0 5 3 20 0 15 0 415394597 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353021666560 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10849032 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10849032 memory=2502948 CPUtime=7.42 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 41099 13124 0 0 728 6 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10849032 memory=2502948 CPUtime=8.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 44108 13124 0 0 796 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10849032 memory=988 CPUtime=2.55 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 31143 13124 0 0 242 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10849032 memory=2008 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10849032 memory=1436 CPUtime=1.63 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 2053 13124 0 0 78 77 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2502948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.15 s]
# the end of solver process 10589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.09 s, system=3.98456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.11 s]
/proc/loadavg: 1.52 1.58 1.63 3/227 11014
/proc/meminfo: memFree=23729436/32770624 swapFree=66959224/67108860
[pid=10589] ppid=10586 vsize=10849032 memory=2502948 CPUtime=2520.01 cores=0,2,4,6
/proc/10589/stat : 10589 (java) S 10586 10589 6698 0 -1 1077944320 473087 13124 0 0 251600 393 5 3 20 0 15 0 415394585 11109408768 625737 33554432000 4194304 4196468 140720453515888 140720453498432 140354241916663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
/proc/10589/statm: 2712258 625737 3636 1 0 2674317 0
[pid=10589/tid=10642] ppid=10586 vsize=10849032 memory=2502948 CPUtime=2438.43 cores=0,2,4,6
/proc/10589/task/10642/stat : 10642 (java) R 10586 10589 6698 0 -1 4202560 135226 13124 0 0 243757 78 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354213752224 140353853145513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10643] ppid=10586 vsize=10849032 memory=2502948 CPUtime=13.33 cores=0,2,4,6
/proc/10589/task/10643/stat : 10643 (java) S 10586 10589 6698 0 -1 1077944384 47018 13124 0 0 1272 53 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354246158864 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10644] ppid=10586 vsize=10849032 memory=2502948 CPUtime=13.39 cores=0,2,4,6
/proc/10589/task/10644/stat : 10644 (java) S 10586 10589 6698 0 -1 1077944384 46795 13124 0 0 1272 59 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354164910736 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10645] ppid=10586 vsize=10849032 memory=1660 CPUtime=13.37 cores=0,2,4,6
/proc/10589/task/10645/stat : 10645 (java) S 10586 10589 6698 0 -1 1077944384 37918 13124 0 0 1270 59 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140354163857680 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10646] ppid=10586 vsize=10849032 memory=91499983295286 CPUtime=13.29 cores=0,2,4,6
/proc/10589/task/10646/stat : 10646 (java) S 10586 10589 6698 0 -1 1077944384 50998 13124 0 0 1266 55 5 3 20 0 15 0 415394594 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353813272976 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10647] ppid=10586 vsize=10849032 memory=2502948 CPUtime=9.12 cores=0,2,4,6
/proc/10589/task/10647/stat : 10647 (java) S 10586 10589 6698 0 -1 1077944384 34479 13124 0 0 850 54 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353768594160 140354241927810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10648] ppid=10586 vsize=10849032 memory=2502948 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10648/stat : 10648 (java) S 10586 10589 6698 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 415394596 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353155884832 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10649] ppid=10586 vsize=10849032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10649/stat : 10649 (java) S 10586 10589 6698 0 -1 1077944384 14 13124 0 0 0 0 5 3 20 0 15 0 415394597 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353021666560 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10650] ppid=10586 vsize=10849032 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10650/stat : 10650 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352781375952 140354241935259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10651] ppid=10586 vsize=10849032 memory=2502948 CPUtime=7.42 cores=0,2,4,6
/proc/10589/task/10651/stat : 10651 (java) S 10586 10589 6698 0 -1 1077944384 41099 13124 0 0 728 6 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353767540976 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10652] ppid=10586 vsize=10849032 memory=2502948 CPUtime=8.09 cores=0,2,4,6
/proc/10589/task/10652/stat : 10652 (java) S 10586 10589 6698 0 -1 1077944384 44108 13124 0 0 796 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353766488432 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10653] ppid=10586 vsize=10849032 memory=988 CPUtime=2.55 cores=0,2,4,6
/proc/10589/task/10653/stat : 10653 (java) S 10586 10589 6698 0 -1 1077944384 31143 13124 0 0 242 5 5 3 20 0 15 0 415394599 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353765435376 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10654] ppid=10586 vsize=10849032 memory=2008 CPUtime=0.08 cores=0,2,4,6
/proc/10589/task/10654/stat : 10654 (java) S 10586 10589 6698 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140352747817312 140354241926869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
[pid=10589/tid=10655] ppid=10586 vsize=10849032 memory=1436 CPUtime=1.63 cores=0,2,4,6
/proc/10589/task/10655/stat : 10655 (java) S 10586 10589 6698 0 -1 1077944384 2053 13124 0 0 78 77 5 3 20 0 15 0 415394600 11109408768 625737 33554432000 4194304 4196468 140720453515888 140353764383792 140354241927810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8339456 140720453524208 140720453526725 140720453526725 140720453529551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2502948 KiB
Child status: 143
Real time (s): 2464.15
CPU time (s): 2520.07
CPU user time (s): 2516.09
CPU system time (s): 3.98456
CPU usage (%): 102.269
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 2611648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.09
system time used= 3.98456
maximum resident set size= 2613696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254030
involuntary context switches= 11976
# summary of solver processes directly reported to runsolver:
# pid: 10589
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.09
# total CPU system time (s): 3.98456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3451 second user time and 24.1011 second system time
The end