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 (8690 MiB free)
memory of node 1: 16384 MiB (9248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387974-1568292976/watcher-4387974-1568292976 -o /tmp/evaluation-result-4387974-1568292976/solver-4387974-1568292976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6277 --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-4387974-1568292976.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8429, runsolver pid=8426
[startup+0.100136 s]*
/proc/loadavg: 2.17 2.41 2.91 3/234 8446
/proc/meminfo: memFree=18309108/32770624 swapFree=66998516/67108860
[pid=8429] ppid=8426 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (scop.sh) S 8426 8429 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405566509 115843072 349 33554432000 4194304 5098028 140735894257872 140735894255128 140431152394876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25075712 140735894262568 140735894262896 140735894262896 140735894265805 0
/proc/8429/statm: 28282 349 296 221 0 87 0
[pid=8432] ppid=8429 vsize=15012696 memory=72860 CPUtime=0.12 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8429 8429 4978 0 -1 1077944320 6997 0 0 0 10 2 0 0 20 0 15 0 405566509 15373000704 18215 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3753174 18215 2924 1 0 3715579 0
[pid=8432/tid=8433] ppid=8429 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 4978 0 -1 4202560 4798 0 0 0 7 2 0 0 20 0 15 0 405566509 15373000704 18281 33554432000 4194304 4196468 140723613195152 140224115085264 140224143312029 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 18281 33554432000 4194304 4196468 140723613195152 140224147532944 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8429 vsize=15012696 memory=16239858178156184 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223603616784 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223602563984 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223601511184 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566512 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223180867952 140224143301250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 18281 33554432000 4194304 4196468 140723613195152 140222696252448 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 18281 33554432000 4194304 4196468 140723613195152 140222427816816 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 18281 33554432000 4194304 4196468 140723613195152 140222053308240 140224143308699 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8429 8429 4978 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223179815792 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223178762992 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8429 vsize=15012696 memory=140584646174336 CPUtime=0.01 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) R 8429 8429 4978 0 -1 4202560 457 0 0 0 1 0 0 0 20 0 15 0 405566515 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223177707400 140224143302038 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 18281 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 18281 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74256 KiB
[startup+0.210857 s]*
/proc/loadavg: 2.17 2.41 2.91 3/234 8446
/proc/meminfo: memFree=18290596/32770624 swapFree=66998516/67108860
[pid=8429] ppid=8426 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (scop.sh) S 8426 8429 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405566509 115843072 349 33554432000 4194304 5098028 140735894257872 140735894255128 140431152394876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25075712 140735894262568 140735894262896 140735894262896 140735894265805 0
/proc/8429/statm: 28282 349 296 221 0 87 0
[pid=8432] ppid=8429 vsize=15012696 memory=88252 CPUtime=0.26 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8429 8429 4978 0 -1 1077944320 12110 0 0 0 22 4 0 0 20 0 15 0 405566509 15373000704 22063 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3753174 22063 2930 1 0 3715579 0
[pid=8432/tid=8433] ppid=8429 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 4978 0 -1 4202560 9861 0 0 0 17 3 0 0 20 0 15 0 405566509 15373000704 22063 33554432000 4194304 4196468 140723613195152 140224115105744 140224127370590 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8429 vsize=15012696 memory=547 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 22063 33554432000 4194304 4196468 140723613195152 140224147532944 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8429 vsize=15012696 memory=140584646187498 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223603616784 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223602563984 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223601511184 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8429 vsize=15012696 memory=140584646174336 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566512 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223180867952 140224143301250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 22063 33554432000 4194304 4196468 140723613195152 140222696252448 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 22063 33554432000 4194304 4196468 140723613195152 140222427816816 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 22063 33554432000 4194304 4196468 140723613195152 140222053308240 140224143308699 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8429 8429 4978 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223179815792 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8429 8429 4978 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 22063 33554432000 4194304 4196468 140723613195152 140223178762992 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8429 vsize=15012696 memory=140584646174336 CPUtime=0.03 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8429 8429 4978 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 405566515 15373000704 22129 33554432000 4194304 4196468 140723613195152 140223177710192 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8429 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 22129 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 22129 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89648 KiB
[startup+0.313514 s]*
/proc/loadavg: 2.17 2.41 2.91 3/234 8446
/proc/meminfo: memFree=18287784/32770624 swapFree=66998516/67108860
[pid=8429] ppid=8426 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (scop.sh) S 8426 8429 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405566509 115843072 349 33554432000 4194304 5098028 140735894257872 140735894255128 140431152394876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25075712 140735894262568 140735894262896 140735894262896 140735894265805 0
/proc/8429/statm: 28282 349 296 221 0 87 0
[pid=8432] ppid=8429 vsize=15012696 memory=92032 CPUtime=0.44 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8429 8429 4978 0 -1 1077944320 13091 0 0 0 40 4 0 0 20 0 15 0 405566509 15373000704 23008 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3753174 23008 3029 1 0 3715579 0
[pid=8432/tid=8433] ppid=8429 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 4978 0 -1 4202560 10628 0 0 0 27 3 0 0 20 0 15 0 405566509 15373000704 23008 33554432000 4194304 4196468 140723613195152 140224115073120 140224128455742 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8429 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 23008 33554432000 4194304 4196468 140723613195152 140224147532944 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8429 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223603616784 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8429 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223602563984 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8429 vsize=15012696 memory=7079758230011356562 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223601511184 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8429 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566512 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223180867952 140224143301250 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8429 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 23008 33554432000 4194304 4196468 140723613195152 140222696252448 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8429 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566513 15373000704 23008 33554432000 4194304 4196468 140723613195152 140222427816816 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8429 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566515 15373000704 23008 33554432000 4194304 4196468 140723613195152 140222053308240 140224143308699 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8429 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8429 8429 4978 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 405566515 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223179815792 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8429 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8429 8429 4978 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 405566515 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223178762992 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8429 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8429 8429 4978 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 15 0 405566515 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223177710192 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 23008 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8429 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566516 15373000704 23008 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93428 KiB
[startup+0.701062 s]
/proc/loadavg: 2.17 2.41 2.91 3/234 8446
/proc/meminfo: memFree=18265820/32770624 swapFree=66998516/67108860
[pid=8429] ppid=8426 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (scop.sh) S 8426 8429 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405566509 115843072 349 33554432000 4194304 5098028 140735894257872 140735894255128 140431152394876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25075712 140735894262568 140735894262896 140735894262896 140735894265805 0
/proc/8429/statm: 28282 349 296 221 0 87 0
[pid=8432] ppid=8429 vsize=15018968 memory=129160 CPUtime=1.01 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8429 8429 4978 0 -1 1077944320 20107 0 0 0 95 6 0 0 20 0 15 0 405566509 15379423232 32290 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3754742 32290 3183 1 0 3716091 0
[pid=8432/tid=8433] ppid=8429 vsize=15018968 memory=1204 CPUtime=0.67 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 4978 0 -1 4202560 17187 0 0 0 62 5 0 0 20 0 15 0 405566509 15379423232 32290 33554432000 4194304 4196468 140723613195152 140224115127552 140223648335347 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8429 vsize=15018968 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566511 15379423232 32290 33554432000 4194304 4196468 140723613195152 140224147532944 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8429 vsize=15018968 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223603616784 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8429 vsize=15018968 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223602563984 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8429 vsize=15018968 memory=780 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566511 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223601511184 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8429 vsize=15018968 memory=620 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405566512 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223180867952 140224143301250 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8429 vsize=15018968 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566513 15379423232 32290 33554432000 4194304 4196468 140723613195152 140222696252448 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8429 vsize=15018968 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566513 15379423232 32290 33554432000 4194304 4196468 140723613195152 140222427816816 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8429 vsize=15018968 memory=5900 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566515 15379423232 32290 33554432000 4194304 4196468 140723613195152 140222053308240 140224143308699 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8429 vsize=15018968 memory=14012 CPUtime=0.07 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) R 8429 8429 4978 0 -1 4202560 659 0 0 0 7 0 0 0 20 0 15 0 405566515 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223179815792 140224123990400 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8429 vsize=15018968 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) R 8429 8429 4978 0 -1 4202560 327 0 0 0 8 0 0 0 20 0 15 0 405566515 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223178763088 140224123991591 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8429 vsize=15018968 memory=20464 CPUtime=0.16 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) R 8429 8429 4978 0 -1 4202560 609 0 0 0 16 0 0 0 20 0 15 0 405566515 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223177708152 140224128455758 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8429 vsize=15018968 memory=140582869610414 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8429 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15379423232 32290 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8429 vsize=15018968 memory=140584547288944 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8429 8429 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566516 15379423232 32290 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130556 KiB
[startup+1.50085 s]
/proc/loadavg: 2.23 2.42 2.91 4/234 8446
/proc/meminfo: memFree=18224412/32770624 swapFree=66998516/67108860
[pid=8429] ppid=8426 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8429/stat : 8429 (scop.sh) S 8426 8429 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405566509 115843072 349 33554432000 4194304 5098028 140735894257872 140735894255128 140431152394876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25075712 140735894262568 140735894262896 140735894262896 140735894265805 0
/proc/8429/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 5.30 4.25 3.43 9/228 8659
/proc/meminfo: memFree=495852/32770624 swapFree=66998516/67108860
[pid=8432] ppid=8426 vsize=15025188 memory=12079192 CPUtime=2522.98 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8426 8429 4978 0 -1 1077944320 314190 0 0 0 251286 1012 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3756297 3019798 3302 1 0 3717627 0
[pid=8432/tid=8433] ppid=8426 vsize=15025188 memory=-3472574513799858007 CPUtime=750.78 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) S 8426 8429 4978 0 -1 1077944384 76135 0 0 0 75019 59 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224115124240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8426 vsize=15025188 memory=12079192 CPUtime=440.09 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) R 8426 8429 4978 0 -1 4202560 30459 0 0 0 43768 241 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224147533064 140224135918311 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8426 vsize=15025188 memory=1976 CPUtime=438.69 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) R 8426 8429 4978 0 -1 4202560 28203 0 0 0 43634 235 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223603616592 140224135918311 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8426 vsize=15025188 memory=3624 CPUtime=442.31 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) R 8426 8429 4978 0 -1 4202560 33739 0 0 0 44031 200 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223602564184 140224127989913 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8426 vsize=15025188 memory=12079192 CPUtime=436.68 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) R 8426 8429 4978 0 -1 4202560 24298 0 0 0 43426 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223601511384 140224127989981 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8426 vsize=15025188 memory=3624 CPUtime=2.65 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8426 8429 4978 0 -1 1077944384 74545 0 0 0 260 5 0 0 20 0 15 0 405566512 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223180866496 140224143300309 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8426 vsize=15025188 memory=37460 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8426 8429 4978 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222696252512 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8426 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8426 8429 4978 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222427816832 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8426 8429 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222053307888 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8426 vsize=15025188 memory=2024 CPUtime=5.41 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8426 8429 4978 0 -1 1077944384 15771 0 0 0 538 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223179815552 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8426 vsize=15025188 memory=1056 CPUtime=4.4 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8426 8429 4978 0 -1 1077944384 11294 0 0 0 439 1 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223178763040 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8426 vsize=15025188 memory=1204 CPUtime=1.26 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8426 8429 4978 0 -1 1077944384 17636 0 0 0 123 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223177710240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8426 vsize=15025188 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8426 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8426 vsize=15025188 memory=9592 CPUtime=0.63 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8426 8429 4978 0 -1 1077944384 744 0 0 0 30 33 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current cumulated CPU time of completed processes: 0.003651 s
Current children cumulated CPU time: 2522.98 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12079192 KiB
[startup+1204 s]*
/proc/loadavg: 5.30 4.25 3.43 6/228 8659
/proc/meminfo: memFree=495868/32770624 swapFree=66998516/67108860
[pid=8432] ppid=8426 vsize=15025188 memory=12079192 CPUtime=2526.15 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8426 8429 4978 0 -1 1077944320 314190 0 0 0 251601 1014 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3756297 3019798 3302 1 0 3717627 0
[pid=8432/tid=8433] ppid=8426 vsize=15025188 memory=8317482817917895235 CPUtime=750.78 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) S 8426 8429 4978 0 -1 1077944384 76135 0 0 0 75019 59 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224115124240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8426 vsize=15025188 memory=920 CPUtime=440.87 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) R 8426 8429 4978 0 -1 4202560 30459 0 0 0 43846 241 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224147533064 140224126673138 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8426 vsize=15025188 memory=3848 CPUtime=439.46 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) R 8426 8429 4978 0 -1 4202560 28203 0 0 0 43711 235 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223603616592 140224126673145 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8426 vsize=15025188 memory=2960 CPUtime=443.1 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) R 8426 8429 4978 0 -1 4202560 33739 0 0 0 44110 200 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223602564184 140224128279688 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8426 vsize=15025188 memory=2848 CPUtime=437.49 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) R 8426 8429 4978 0 -1 4202560 24298 0 0 0 43507 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223601511384 140224127989943 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8426 vsize=15025188 memory=4100 CPUtime=2.65 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8426 8429 4978 0 -1 1077944384 74545 0 0 0 260 5 0 0 20 0 15 0 405566512 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223180866496 140224143300309 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8426 vsize=15025188 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8426 8429 4978 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222696252512 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8426 vsize=15025188 memory=3260 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8426 8429 4978 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222427816832 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8426 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8426 8429 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222053307888 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8426 vsize=15025188 memory=12079192 CPUtime=5.41 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8426 8429 4978 0 -1 1077944384 15771 0 0 0 538 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223179815552 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8426 vsize=15025188 memory=1396 CPUtime=4.4 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8426 8429 4978 0 -1 1077944384 11294 0 0 0 439 1 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223178763040 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8426 vsize=15025188 memory=8317482817917895235 CPUtime=1.26 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8426 8429 4978 0 -1 1077944384 17636 0 0 0 123 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223177710240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8426 vsize=15025188 memory=780 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8426 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8426 vsize=15025188 memory=620 CPUtime=0.63 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8426 8429 4978 0 -1 1077944384 744 0 0 0 30 33 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current cumulated CPU time of completed processes: 0.003651 s
Current children cumulated CPU time: 2526.15 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12079192 KiB
[startup+1204.4 s]
/proc/loadavg: 5.30 4.25 3.43 6/228 8659
/proc/meminfo: memFree=495868/32770624 swapFree=66998516/67108860
[pid=8432] ppid=8426 vsize=15025188 memory=12079192 CPUtime=2527.68 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8426 8429 4978 0 -1 1077944320 314190 0 0 0 251754 1014 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3756297 3019798 3302 1 0 3717627 0
[pid=8432/tid=8433] ppid=8426 vsize=15025188 memory=1396 CPUtime=750.78 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) S 8426 8429 4978 0 -1 1077944384 76135 0 0 0 75019 59 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224115124240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8426 vsize=15025188 memory=1396 CPUtime=441.25 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) R 8426 8429 4978 0 -1 4202560 30459 0 0 0 43883 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224147532752 140224135918311 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8426 vsize=15025188 memory=8112282956445269571 CPUtime=439.85 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) R 8426 8429 4978 0 -1 4202560 28203 0 0 0 43749 236 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223603616592 140224135918311 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8426 vsize=15025188 memory=281169095692144 CPUtime=443.49 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) R 8426 8429 4978 0 -1 4202560 33739 0 0 0 44149 200 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223602564184 140224127990541 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8426 vsize=15025188 memory=8330969454845486047 CPUtime=437.88 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) R 8426 8429 4978 0 -1 4202560 24298 0 0 0 43546 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223601511384 140224127747673 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8426 vsize=15025188 memory=8547710663883855229 CPUtime=2.65 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8426 8429 4978 0 -1 1077944384 74545 0 0 0 260 5 0 0 20 0 15 0 405566512 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223180866496 140224143300309 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8426 vsize=15025188 memory=7377853041277693546 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8426 8429 4978 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222696252512 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8426 vsize=15025188 memory=7593726919471688038 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8426 8429 4978 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222427816832 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8426 vsize=15025188 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8426 8429 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222053307888 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8426 vsize=15025188 memory=920 CPUtime=5.41 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8426 8429 4978 0 -1 1077944384 15771 0 0 0 538 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223179815552 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8426 vsize=15025188 memory=3848 CPUtime=4.4 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8426 8429 4978 0 -1 1077944384 11294 0 0 0 439 1 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223178763040 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8426 vsize=15025188 memory=2960 CPUtime=1.26 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8426 8429 4978 0 -1 1077944384 17636 0 0 0 123 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223177710240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8426 vsize=15025188 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8426 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0.63 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8426 8429 4978 0 -1 1077944384 744 0 0 0 30 33 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current cumulated CPU time of completed processes: 0.003651 s
Current children cumulated CPU time: 2527.68 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12079192 KiB
[startup+1204.5 s]
/proc/loadavg: 5.30 4.25 3.43 6/228 8659
/proc/meminfo: memFree=495868/32770624 swapFree=66998516/67108860
[pid=8432] ppid=8426 vsize=15025188 memory=12079192 CPUtime=2528.07 cores=1,3,5,7
/proc/8432/stat : 8432 (java) S 8426 8429 4978 0 -1 1077944320 314190 0 0 0 251793 1014 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140723613177696 140224143290103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
/proc/8432/statm: 3756297 3019798 3302 1 0 3717627 0
[pid=8432/tid=8433] ppid=8426 vsize=15025188 memory=12079192 CPUtime=750.78 cores=1,3,5,7
/proc/8432/task/8433/stat : 8433 (java) S 8426 8429 4978 0 -1 1077944384 76135 0 0 0 75019 59 0 0 20 0 15 0 405566509 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224115124240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8434] ppid=8426 vsize=15025188 memory=12079192 CPUtime=441.35 cores=1,3,5,7
/proc/8432/task/8434/stat : 8434 (java) R 8426 8429 4978 0 -1 4202560 30459 0 0 0 43893 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140224147532752 140224135918311 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8435] ppid=8426 vsize=15025188 memory=12079192 CPUtime=439.94 cores=1,3,5,7
/proc/8432/task/8435/stat : 8435 (java) R 8426 8429 4978 0 -1 4202560 28203 0 0 0 43758 236 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223603616592 140224135918311 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8436] ppid=8426 vsize=15025188 memory=1396 CPUtime=443.59 cores=1,3,5,7
/proc/8432/task/8436/stat : 8436 (java) R 8426 8429 4978 0 -1 4202560 33739 0 0 0 44159 200 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223602564184 140224128286470 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8437] ppid=8426 vsize=15025188 memory=12079192 CPUtime=437.98 cores=1,3,5,7
/proc/8432/task/8437/stat : 8437 (java) R 8426 8429 4978 0 -1 4202560 24298 0 0 0 43556 242 0 0 20 0 15 0 405566511 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223601511384 140224127990707 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8438] ppid=8426 vsize=15025188 memory=1396 CPUtime=2.65 cores=1,3,5,7
/proc/8432/task/8438/stat : 8438 (java) S 8426 8429 4978 0 -1 1077944384 74545 0 0 0 260 5 0 0 20 0 15 0 405566512 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223180866496 140224143300309 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8439] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8439/stat : 8439 (java) S 8426 8429 4978 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222696252512 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8440] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8440/stat : 8440 (java) S 8426 8429 4978 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 405566513 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222427816832 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8441] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8441/stat : 8441 (java) S 8426 8429 4978 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140222053307888 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8442] ppid=8426 vsize=15025188 memory=12079192 CPUtime=5.41 cores=1,3,5,7
/proc/8432/task/8442/stat : 8442 (java) S 8426 8429 4978 0 -1 1077944384 15771 0 0 0 538 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223179815552 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8443] ppid=8426 vsize=15025188 memory=1396 CPUtime=4.4 cores=1,3,5,7
/proc/8432/task/8443/stat : 8443 (java) S 8426 8429 4978 0 -1 1077944384 11294 0 0 0 439 1 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223178763040 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8444] ppid=8426 vsize=15025188 memory=14012 CPUtime=1.26 cores=1,3,5,7
/proc/8432/task/8444/stat : 8444 (java) S 8426 8429 4978 0 -1 1077944384 17636 0 0 0 123 3 0 0 20 0 15 0 405566515 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223177710240 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8445] ppid=8426 vsize=15025188 memory=12079192 CPUtime=0 cores=1,3,5,7
/proc/8432/task/8445/stat : 8445 (java) S 8426 8429 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140221555403488 140224143300309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
[pid=8432/tid=8446] ppid=8426 vsize=15025188 memory=1396 CPUtime=0.63 cores=1,3,5,7
/proc/8432/task/8446/stat : 8446 (java) S 8426 8429 4978 0 -1 1077944384 744 0 0 0 30 33 0 0 20 0 15 0 405566516 15385792512 3019798 33554432000 4194304 4196468 140723613195152 140223176657584 140224143301250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17915904 140723613197039 140723613197466 140723613197466 140723613200335 0
Current cumulated CPU time of completed processes: 0.003651 s
Current children cumulated CPU time: 2528.07 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12079192 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1204.56
CPU time (s): 2528.17
CPU user time (s): 2517.98
CPU system time (s): 10.1958
CPU usage (%): 209.883
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12080588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.98
system time used= 10.1958
maximum resident set size= 12079368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60376
involuntary context switches= 35242
# summary of solver processes directly reported to runsolver:
# pid: 8429,8432
# total CPU time (s): 2528.17
# total CPU user time (s): 2517.98
# total CPU system time (s): 10.1958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20696 second user time and 12.6955 second system time
The end