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 (13780 MiB free)
memory of node 1: 16384 MiB (14018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387965-1568292857/watcher-4387965-1568292857 -o /tmp/evaluation-result-4387965-1568292857/solver-4387965-1568292857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6146 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387965-1568292857.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=8890, runsolver pid=8887
[startup+0.100125 s]*
/proc/loadavg: 2.40 2.76 3.11 3/236 8907
/proc/meminfo: memFree=28407796/32770624 swapFree=67004752/67108860
[pid=8890] ppid=8887 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8890/stat : 8890 (scop.sh) S 8887 8890 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405553536 115843072 349 33554432000 4194304 5098028 140725845059488 140725845056744 140241059209852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8413184 140725845066536 140725845066864 140725845066864 140725845069773 0
/proc/8890/statm: 28282 349 296 221 0 87 0
[pid=8893] ppid=8890 vsize=15012696 memory=70464 CPUtime=0.11 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8890 8890 5150 0 -1 1077944320 6424 0 0 0 10 1 0 0 20 0 15 0 405553536 15373000704 17616 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3753174 17616 2892 1 0 3715579 0
[pid=8893/tid=8894] ppid=8890 vsize=15013720 memory=-2915660033818482078 CPUtime=0.09 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) R 8890 8890 5150 0 -1 4202560 4416 0 0 0 8 1 0 0 20 0 15 0 405553537 15374049280 17879 33554432000 4194304 4196468 140721767646448 139803108836656 139803129732125 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8890 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15374049280 17879 33554432000 4194304 4196468 140721767646448 139803141294608 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8890 vsize=15013720 memory=140118867392128 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802932378256 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8890 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802596161808 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8890 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802595109264 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8890 vsize=15013720 memory=140118867392128 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553540 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802107276016 139803137063554 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8890 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8890 8890 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405553540 15374049280 17879 33554432000 4194304 4196468 140721767646448 139801588131488 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8890 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8890 8890 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405553540 15374049280 17879 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8890 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139801079405008 139803137071003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8890 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8890 8890 5150 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802106222832 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8890 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8890 8890 5150 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802105170288 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8890 vsize=15013720 memory=140118867392128 CPUtime=0.01 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8890 8890 5150 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802104117232 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8890 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8890 vsize=15013720 memory=140118867392128 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553543 15374049280 17879 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71860 KiB
[startup+0.211844 s]*
/proc/loadavg: 2.40 2.76 3.11 3/236 8907
/proc/meminfo: memFree=28391376/32770624 swapFree=67004752/67108860
[pid=8890] ppid=8887 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8890/stat : 8890 (scop.sh) S 8887 8890 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405553536 115843072 349 33554432000 4194304 5098028 140725845059488 140725845056744 140241059209852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8413184 140725845066536 140725845066864 140725845066864 140725845069773 0
/proc/8890/statm: 28282 349 296 221 0 87 0
[pid=8893] ppid=8890 vsize=15012696 memory=83436 CPUtime=0.25 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8890 8890 5150 0 -1 1077944320 10946 0 0 0 22 3 0 0 20 0 15 0 405553536 15373000704 20859 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3753174 20859 2897 1 0 3715579 0
[pid=8893/tid=8894] ppid=8890 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) R 8890 8890 5150 0 -1 4202560 8677 0 0 0 17 2 0 0 20 0 15 0 405553537 15373000704 20859 33554432000 4194304 4196468 140721767646448 139803108835968 139803121132894 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8890 vsize=15012696 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 20859 33554432000 4194304 4196468 140721767646448 139803141294608 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8890 vsize=15012696 memory=140118867401271 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802932378256 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802596161808 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8890 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802595109264 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8890 vsize=15012696 memory=140118867392128 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802107276016 139803137063554 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8890 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8890 8890 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 20859 33554432000 4194304 4196468 140721767646448 139801588131488 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8890 8890 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 20859 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139801079405008 139803137071003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) R 8890 8890 5150 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802106222832 139803137063554 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8890 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8890 8890 5150 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802105170288 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8890 vsize=15012696 memory=140118867392128 CPUtime=0.02 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8890 8890 5150 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802104117232 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8890 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 20859 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 84832 KiB
[startup+0.310685 s]*
/proc/loadavg: 2.40 2.76 3.11 3/236 8907
/proc/meminfo: memFree=28388040/32770624 swapFree=67004752/67108860
[pid=8890] ppid=8887 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8890/stat : 8890 (scop.sh) S 8887 8890 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405553536 115843072 349 33554432000 4194304 5098028 140725845059488 140725845056744 140241059209852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8413184 140725845066536 140725845066864 140725845066864 140725845069773 0
/proc/8890/statm: 28282 349 296 221 0 87 0
[pid=8893] ppid=8890 vsize=15012696 memory=87716 CPUtime=0.43 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8890 8890 5150 0 -1 1077944320 12039 0 0 0 39 4 0 0 20 0 15 0 405553536 15373000704 21929 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3753174 21929 3040 1 0 3715579 0
[pid=8893/tid=8894] ppid=8890 vsize=15012696 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) R 8890 8890 5150 0 -1 4202560 9553 0 0 0 26 3 0 0 20 0 15 0 405553537 15373000704 21929 33554432000 4194304 4196468 140721767646448 139803108835424 139803137066256 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8890 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 21929 33554432000 4194304 4196468 140721767646448 139803141294608 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8890 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802932378256 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8890 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802596161808 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8890 vsize=15012696 memory=7151815828344251794 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802595109264 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8890 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802107276016 139803137063554 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8890 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8890 8890 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 21929 33554432000 4194304 4196468 140721767646448 139801588131488 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8890 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8890 8890 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405553540 15373000704 21929 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8890 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139801079405008 139803137071003 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8890 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8890 8890 5150 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802106222832 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8890 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8890 8890 5150 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802105170288 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8890 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8890 8890 5150 0 -1 1077944384 525 0 0 0 7 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802104117232 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8890 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553543 15373000704 21929 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89112 KiB
[startup+0.7048 s]
/proc/loadavg: 2.40 2.76 3.11 4/236 8907
/proc/meminfo: memFree=28364816/32770624 swapFree=67004752/67108860
[pid=8890] ppid=8887 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8890/stat : 8890 (scop.sh) S 8887 8890 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405553536 115843072 349 33554432000 4194304 5098028 140725845059488 140725845056744 140241059209852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8413184 140725845066536 140725845066864 140725845066864 140725845069773 0
/proc/8890/statm: 28282 349 296 221 0 87 0
[pid=8893] ppid=8890 vsize=15018968 memory=125344 CPUtime=1.01 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8890 8890 5150 0 -1 1077944320 19627 0 0 0 95 6 0 0 20 0 15 0 405553536 15379423232 31336 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3754742 31336 3182 1 0 3716091 0
[pid=8893/tid=8894] ppid=8890 vsize=15018968 memory=3620 CPUtime=0.67 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) R 8890 8890 5150 0 -1 4202560 16644 0 0 0 62 5 0 0 20 0 15 0 405553537 15379423232 31336 33554432000 4194304 4196468 140721767646448 139803108889920 139803137064342 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15379423232 31336 33554432000 4194304 4196468 140721767646448 139803141294608 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8890 vsize=15018968 memory=6438155977927 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802932378256 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8890 vsize=15018968 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) S 8890 8890 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405553538 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802596161808 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8890 vsize=15018968 memory=15822200779310916 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553538 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802595109264 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8890 8890 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405553540 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802107276016 139803137063554 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8890 8890 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405553540 15379423232 31336 33554432000 4194304 4196468 140721767646448 139801588131488 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8890 8890 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405553540 15379423232 31336 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139801079405008 139803137071003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8890 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8890 8890 5150 0 -1 1077944384 591 0 0 0 8 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802106222832 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8890 vsize=15018968 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8890 8890 5150 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802105170288 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8890 vsize=15018968 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) R 8890 8890 5150 0 -1 4202560 606 0 0 0 14 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802104113600 139803121132894 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8890 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8890 8890 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405553543 15379423232 31336 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 126740 KiB
[startup+1.50556 s]
/proc/loadavg: 2.37 2.75 3.10 6/236 8907
/proc/meminfo: memFree=28315272/32770624 swapFree=67004752/67108860
[pid=8890] ppid=8887 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8890/stat : 8890 (scop.sh) S 8887 8890 5150 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405553536 115843072 349 33554432000 4194304 5098028 140725845059488 140725845056744 140241059209852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8413184 140725845066536 140725845066864 140725845066864 140725845069773 0
/proc/8890/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8893/task/8897/stat : 8897 (java) R 8890 8890 5150 0 -1 4202560 304578 0 0 0 43331 266 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802596162008 139803122037703 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8890 vsize=15025188 memory=0 CPUtime=436.62 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) R 8890 8890 5150 0 -1 4202560 209768 0 0 0 43377 285 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802595109152 139803118649418 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8890 vsize=15025188 memory=140118745770880 CPUtime=2.48 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8890 8890 5150 0 -1 1077944384 185736 0 0 0 236 12 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802107274336 139803137062613 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8890 vsize=15025188 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8890 8890 5150 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801588131552 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8890 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8890 8890 5150 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8890 vsize=15025188 memory=12072996 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801079405008 139803137071003 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8890 vsize=15025188 memory=1060 CPUtime=4.72 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8890 8890 5150 0 -1 1077944384 10835 0 0 0 471 1 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802106222880 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8890 vsize=15025188 memory=12072596 CPUtime=4.99 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8890 8890 5150 0 -1 1077944384 13097 0 0 0 497 2 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802105170048 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8890 vsize=15025188 memory=12072572 CPUtime=1.3 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8890 8890 5150 0 -1 1077944384 18843 0 0 0 126 4 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802104117280 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8890 vsize=15025188 memory=984 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8890 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8890 vsize=15025188 memory=1720 CPUtime=0.64 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8890 8890 5150 0 -1 1077944384 725 0 0 0 41 23 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12074392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1205.36 s]
# the end of solver process 8890 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.003653 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1207.39 s]
# the end of solver process 8893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.95 s, system=11.3051 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1206.5 s]
/proc/loadavg: 4.09 3.94 3.36 6/233 9240
/proc/meminfo: memFree=13488256/32770624 swapFree=67004752/67108860
[pid=8893] ppid=8887 vsize=15025188 memory=12072996 CPUtime=2525 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8887 8890 5150 0 -1 1077944320 1348066 0 0 0 251379 1121 0 0 20 0 15 0 405553536 15385792512 3018249 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3756297 3018249 3303 1 0 3717627 0
[pid=8893/tid=8894] ppid=8887 vsize=15025188 memory=12072996 CPUtime=755.46 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) S 8887 8890 5150 0 -1 1077944384 76137 0 0 0 75486 60 0 0 20 0 15 0 405553537 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803108886560 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8887 vsize=15025188 memory=12028 CPUtime=440.12 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) R 8887 8890 5150 0 -1 4202560 214563 0 0 0 43780 232 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803141294808 139803118648326 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8887 vsize=15025188 memory=2004 CPUtime=440.19 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) R 8887 8890 5150 0 -1 4202560 312334 0 0 0 43779 240 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802932378456 139803118649160 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8887 vsize=15025188 memory=3620 CPUtime=437.17 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) R 8887 8890 5150 0 -1 4202560 304613 0 0 0 43451 266 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802596162008 139803122037703 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8887 vsize=15025188 memory=37424 CPUtime=437.82 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) R 8887 8890 5150 0 -1 4202560 209768 0 0 0 43497 285 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802595109152 139803122003012 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8887 vsize=15025188 memory=1276 CPUtime=2.48 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8887 8890 5150 0 -1 1077944384 185736 0 0 0 236 12 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802107274336 139803137062613 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8887 vsize=15025188 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8887 8890 5150 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801588131552 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8887 vsize=15025188 memory=752 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8887 8890 5150 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8887 vsize=15025188 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8887 8890 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801079404656 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8887 vsize=15025188 memory=1540 CPUtime=4.72 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8887 8890 5150 0 -1 1077944384 10835 0 0 0 471 1 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802106222880 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8887 vsize=15025188 memory=1720 CPUtime=4.99 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8887 8890 5150 0 -1 1077944384 13097 0 0 0 497 2 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802105170048 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8887 vsize=15025188 memory=12072996 CPUtime=1.3 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8887 8890 5150 0 -1 1077944384 18843 0 0 0 126 4 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802104117280 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8887 vsize=15025188 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8887 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8887 vsize=15025188 memory=1276 CPUtime=0.64 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8887 8890 5150 0 -1 1077944384 725 0 0 0 41 23 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current cumulated CPU time of completed processes: 0.003653 s
Current children cumulated CPU time: 2525 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12072996 KiB
[startup+1206.9 s]
/proc/loadavg: 4.09 3.94 3.36 6/233 9240
/proc/meminfo: memFree=13488256/32770624 swapFree=67004752/67108860
[pid=8893] ppid=8887 vsize=15025188 memory=12072996 CPUtime=2526.57 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8887 8890 5150 0 -1 1077944320 1353358 0 0 0 251535 1122 0 0 20 0 15 0 405553536 15385792512 3018249 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3756297 3018249 3303 1 0 3717627 0
[pid=8893/tid=8894] ppid=8887 vsize=15025188 memory=7522819388842922322 CPUtime=755.46 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) S 8887 8890 5150 0 -1 1077944384 76137 0 0 0 75486 60 0 0 20 0 15 0 405553537 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803108886560 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8887 vsize=15025188 memory=8112282956445269571 CPUtime=440.5 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) R 8887 8890 5150 0 -1 4202560 214563 0 0 0 43818 232 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803141294808 139803122042087 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8887 vsize=15025188 memory=1660 CPUtime=440.58 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) R 8887 8890 5150 0 -1 4202560 312334 0 0 0 43818 240 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802932378256 139803122048904 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8887 vsize=15025188 memory=1984 CPUtime=437.55 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) R 8887 8890 5150 0 -1 4202560 304613 0 0 0 43489 266 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802596161808 139803122048759 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8887 vsize=15025188 memory=2472 CPUtime=438.21 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) R 8887 8890 5150 0 -1 4202560 209768 0 0 0 43536 285 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802595109264 139803122048804 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8887 vsize=15025188 memory=1440 CPUtime=2.51 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8887 8890 5150 0 -1 1077944384 191028 0 0 0 238 13 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802107274560 139803137062613 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8887 vsize=15025188 memory=20552 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8887 8890 5150 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801588131552 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8887 vsize=15025188 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8887 8890 5150 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8887 vsize=15025188 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8887 8890 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801079404656 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8887 vsize=15025188 memory=496 CPUtime=4.72 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8887 8890 5150 0 -1 1077944384 10835 0 0 0 471 1 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802106222880 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8887 vsize=15025188 memory=1564 CPUtime=4.99 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8887 8890 5150 0 -1 1077944384 13097 0 0 0 497 2 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802105170048 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8887 vsize=15025188 memory=2217540 CPUtime=1.3 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8887 8890 5150 0 -1 1077944384 18843 0 0 0 126 4 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802104117280 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8887 vsize=15025188 memory=1780 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8887 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8887 vsize=15025188 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8887 8890 5150 0 -1 1077944384 725 0 0 0 41 23 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current cumulated CPU time of completed processes: 0.003653 s
Current children cumulated CPU time: 2526.57 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12072996 KiB
[startup+1207.3 s]
/proc/loadavg: 4.09 3.94 3.36 6/233 9240
/proc/meminfo: memFree=13488272/32770624 swapFree=67004752/67108860
[pid=8893] ppid=8887 vsize=15025188 memory=12072996 CPUtime=2528.14 cores=0,2,4,6
/proc/8893/stat : 8893 (java) S 8887 8890 5150 0 -1 1077944320 1353358 0 0 0 251692 1122 0 0 20 0 15 0 405553536 15385792512 3018249 33554432000 4194304 4196468 140721767646448 140721767628992 139803137052407 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
/proc/8893/statm: 3756297 3018249 3303 1 0 3717627 0
[pid=8893/tid=8894] ppid=8887 vsize=15025188 memory=12072996 CPUtime=755.46 cores=0,2,4,6
/proc/8893/task/8894/stat : 8894 (java) S 8887 8890 5150 0 -1 1077944384 76137 0 0 0 75486 60 0 0 20 0 15 0 405553537 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803108886560 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8895] ppid=8887 vsize=15025188 memory=3620 CPUtime=440.89 cores=0,2,4,6
/proc/8893/task/8895/stat : 8895 (java) R 8887 8890 5150 0 -1 4202560 214563 0 0 0 43857 232 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139803141294728 139803129680615 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8896] ppid=8887 vsize=15025188 memory=8112282956445269571 CPUtime=440.97 cores=0,2,4,6
/proc/8893/task/8896/stat : 8896 (java) R 8887 8890 5150 0 -1 4202560 312334 0 0 0 43857 240 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802932378256 139803121752272 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8897] ppid=8887 vsize=15025188 memory=772 CPUtime=437.95 cores=0,2,4,6
/proc/8893/task/8897/stat : 8897 (java) R 8887 8890 5150 0 -1 4202560 304613 0 0 0 43529 266 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802596161616 139803129680615 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8898] ppid=8887 vsize=15025188 memory=952 CPUtime=438.61 cores=0,2,4,6
/proc/8893/task/8898/stat : 8898 (java) R 8887 8890 5150 0 -1 4202560 209768 0 0 0 43576 285 0 0 20 0 15 0 405553538 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802595109264 139803118662022 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8899] ppid=8887 vsize=15025188 memory=14008 CPUtime=2.51 cores=0,2,4,6
/proc/8893/task/8899/stat : 8899 (java) S 8887 8890 5150 0 -1 1077944384 191028 0 0 0 238 13 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802107274560 139803137062613 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8900] ppid=8887 vsize=15025188 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8900/stat : 8900 (java) S 8887 8890 5150 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801588131552 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8901] ppid=8887 vsize=15025188 memory=2213444 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8901/stat : 8901 (java) S 8887 8890 5150 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 405553540 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801453909232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8902] ppid=8887 vsize=15025188 memory=1780 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8902/stat : 8902 (java) S 8887 8890 5150 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139801079404656 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8903] ppid=8887 vsize=15025188 memory=1398722017469774279 CPUtime=4.72 cores=0,2,4,6
/proc/8893/task/8903/stat : 8903 (java) S 8887 8890 5150 0 -1 1077944384 10835 0 0 0 471 1 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802106222880 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8904] ppid=8887 vsize=15025188 memory=1276 CPUtime=4.99 cores=0,2,4,6
/proc/8893/task/8904/stat : 8904 (java) S 8887 8890 5150 0 -1 1077944384 13097 0 0 0 497 2 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802105170048 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8905] ppid=8887 vsize=15025188 memory=1060 CPUtime=1.3 cores=0,2,4,6
/proc/8893/task/8905/stat : 8905 (java) S 8887 8890 5150 0 -1 1077944384 18843 0 0 0 126 4 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802104117280 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8906] ppid=8887 vsize=15025188 memory=752 CPUtime=0 cores=0,2,4,6
/proc/8893/task/8906/stat : 8906 (java) S 8887 8890 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139800581499232 139803137062613 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
[pid=8893/tid=8907] ppid=8887 vsize=15025188 memory=1228 CPUtime=0.64 cores=0,2,4,6
/proc/8893/task/8907/stat : 8907 (java) S 8887 8890 5150 0 -1 1077944384 725 0 0 0 41 23 0 0 20 0 15 0 405553543 15385792512 3018249 33554432000 4194304 4196468 140721767646448 139802103065648 139803137063554 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16105472 140721767650031 140721767650458 140721767650458 140721767653327 0
Current cumulated CPU time of completed processes: 0.003653 s
Current children cumulated CPU time: 2528.14 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12072996 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1207.39
CPU time (s): 2528.25
CPU user time (s): 2516.95
CPU system time (s): 11.3051
CPU usage (%): 209.399
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12074392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.95
system time used= 11.3051
maximum resident set size= 12073248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1354467
page faults= 0
swaps= 0
block input operations= 8
block output operations= 17936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61301
involuntary context switches= 27121
# summary of solver processes directly reported to runsolver:
# pid: 8890,8893
# total CPU time (s): 2528.25
# total CPU user time (s): 2516.95
# total CPU system time (s): 11.3051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72085 second user time and 11.1754 second system time
The end