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 (629 MiB free)
memory of node 1: 16384 MiB (7401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387629-1568286584/watcher-4387629-1568286584 -o /tmp/evaluation-result-4387629-1568286584/solver-4387629-1568286584 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568286203-6147 --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-4387629-1568286584.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=6321, runsolver pid=6318
[startup+0.10011 s]*
/proc/loadavg: 1.80 1.87 1.90 3/220 6329
/proc/meminfo: memFree=8180572/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=14052472 memory=54404 CPUtime=0.03 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 5270 0 0 0 2 1 0 0 20 0 8 0 404926439 14389731328 13601 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 6 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3513118 13601 2070 1 0 3501556 0
[pid=6324/tid=6325] ppid=6321 vsize=14052472 memory=8252710469714192971 CPUtime=0.02 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) R 6321 6321 5150 0 -1 4202560 3968 0 0 0 1 1 0 0 20 0 8 0 404926439 14389731328 13601 33554432000 4194304 4196468 140723550815248 140030567207344 140030595388573 0 4 6 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=14052472 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 404926441 14389731328 13601 33554432000 4194304 4196468 140723550815248 140030599608976 140030595376853 0 4 6 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=14052472 memory=140042739963520 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 404926441 14389731328 13601 33554432000 4194304 4196468 140723550815248 140030430857744 140030595376853 0 4 6 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=14052472 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 404926441 14389731328 13601 33554432000 4194304 4196468 140723550815248 140030055045520 140030595376853 0 4 6 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=14052472 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 404926441 14389731328 13601 33554432000 4194304 4196468 140723550815248 140030053992720 140030595376853 0 4 6 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=14052472 memory=140042739963520 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 404926442 14389731328 13601 33554432000 4194304 4196468 140723550815248 140029633002352 140030595377794 0 0 6 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=14052472 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 8 0 404926443 14389731328 13601 33554432000 4194304 4196468 140723550815248 140029154288080 140030595376853 0 4 6 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 14165600 KiB
Current children cumulated memory: 55800 KiB
[startup+0.210267 s]*
/proc/loadavg: 1.80 1.87 1.90 3/229 6338
/proc/meminfo: memFree=8157164/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15012696 memory=81136 CPUtime=0.16 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 9525 0 0 0 14 2 0 0 20 0 15 0 404926439 15373000704 20284 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3753174 20284 2929 1 0 3715579 0
[pid=6324/tid=6325] ppid=6321 vsize=15012696 memory=7883960649037381690 CPUtime=0.13 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) R 6321 6321 5150 0 -1 4202560 7437 0 0 0 11 2 0 0 20 0 15 0 404926439 15373000704 20416 33554432000 4194304 4196468 140723550815248 140030567171456 140030575642461 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15012696 memory=9361 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 20416 33554432000 4194304 4196468 140723550815248 140030599608976 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15012696 memory=1716458 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 20482 33554432000 4194304 4196468 140723550815248 140030430857744 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 20482 33554432000 4194304 4196468 140723550815248 140030055045520 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 20482 33554432000 4194304 4196468 140723550815248 140030053992720 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926442 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029633002352 140030595377794 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404926443 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029154289184 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6321 vsize=15012696 memory=140042739963520 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926443 15373000704 20482 33554432000 4194304 4196468 140723550815248 140028885853552 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926445 15373000704 20482 33554432000 4194304 4196468 140723550815248 140028511344976 140030595385243 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) S 6321 6321 5150 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 404926445 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029631949168 140030595377794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) S 6321 6321 5150 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 404926445 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029630896368 140030595377794 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6321 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) S 6321 6321 5150 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 404926446 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029629843568 140030595377794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15373000704 20482 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926446 15373000704 20482 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 82532 KiB
[startup+0.310419 s]*
/proc/loadavg: 1.80 1.87 1.90 4/229 6338
/proc/meminfo: memFree=8145116/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15012696 memory=90140 CPUtime=0.32 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 12608 0 0 0 28 4 0 0 20 0 15 0 404926439 15373000704 22535 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3753174 22535 2959 1 0 3715579 0
[pid=6324/tid=6325] ppid=6321 vsize=15012696 memory=1398722017469774279 CPUtime=0.23 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) R 6321 6321 5150 0 -1 4202560 10158 0 0 0 20 3 0 0 20 0 15 0 404926439 15373000704 22535 33554432000 4194304 4196468 140723550815248 140030567190768 140030595378582 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 22535 33554432000 4194304 4196468 140723550815248 140030599608976 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 22535 33554432000 4194304 4196468 140723550815248 140030430857744 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 22535 33554432000 4194304 4196468 140723550815248 140030055045520 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15373000704 22535 33554432000 4194304 4196468 140723550815248 140030053992720 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926442 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029633002352 140030595377794 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404926443 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029154289184 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6321 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926443 15373000704 22535 33554432000 4194304 4196468 140723550815248 140028885853552 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926445 15373000704 22535 33554432000 4194304 4196468 140723550815248 140028511344976 140030595385243 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6321 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) R 6321 6321 5150 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 15 0 404926445 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029631940816 140030580492047 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6321 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) R 6321 6321 5150 0 -1 4202560 192 0 0 0 1 0 0 0 20 0 15 0 404926445 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029630896368 140030576902789 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6321 vsize=15012696 memory=140042739963520 CPUtime=0.05 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) R 6321 6321 5150 0 -1 1077944384 568 0 0 0 5 0 0 0 20 0 15 0 404926446 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029629843568 140030595377794 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6321 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15373000704 22535 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6321 vsize=15012696 memory=140042739963520 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926446 15373000704 22535 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91536 KiB
[startup+0.701497 s]
/proc/loadavg: 1.81 1.87 1.90 3/229 6338
/proc/meminfo: memFree=8140032/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15018968 memory=126200 CPUtime=0.85 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 19824 0 0 0 80 5 0 0 20 0 15 0 404926439 15379423232 31550 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3754742 31550 3169 1 0 3716091 0
[pid=6324/tid=6325] ppid=6321 vsize=15018968 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) R 6321 6321 5150 0 -1 4202560 16812 0 0 0 57 4 0 0 20 0 15 0 404926439 15379423232 31550 33554432000 4194304 4196468 140723550815248 140030567186832 140030579447134 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926441 15379423232 31550 33554432000 4194304 4196468 140723550815248 140030599608976 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15018968 memory=-7374472289498985664 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15379423232 31550 33554432000 4194304 4196468 140723550815248 140030430857744 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15018968 memory=7733050341046899285 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15379423232 31550 33554432000 4194304 4196468 140723550815248 140030055045520 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15379423232 31550 33554432000 4194304 4196468 140723550815248 140030053992720 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15018968 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404926442 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029633002352 140030595377794 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=15018968 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404926443 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029154289184 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6321 vsize=15018968 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926443 15379423232 31550 33554432000 4194304 4196468 140723550815248 140028885853552 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6321 vsize=15018968 memory=7660992747008971605 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926445 15379423232 31550 33554432000 4194304 4196468 140723550815248 140028511344976 140030595385243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6321 vsize=15018968 memory=5787214948436758885 CPUtime=0.04 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) R 6321 6321 5150 0 -1 4202560 553 0 0 0 4 0 0 0 20 0 15 0 404926445 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029631927696 140030576910800 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6321 vsize=15018968 memory=5787213848925131109 CPUtime=0.05 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) R 6321 6321 5150 0 -1 4202560 411 0 0 0 5 0 0 0 20 0 15 0 404926445 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029630882912 140030574624324 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6321 vsize=15018968 memory=6154282490091891024 CPUtime=0.12 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) S 6321 6321 5150 0 -1 1077944384 713 0 0 0 12 0 0 0 20 0 15 0 404926446 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029629843568 140030595377794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6321 vsize=15018968 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15379423232 31550 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6321 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926446 15379423232 31550 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127596 KiB
[startup+1.5015 s]
/proc/loadavg: 1.81 1.87 1.90 4/229 6338
/proc/meminfo: memFree=7936752/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15021092 memory=574144 CPUtime=2.72 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 22874 0 0 0 257 15 0 0 20 0 15 0 404926439 15381598208 143536 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3755273 143536 3241 1 0 3716603 0
[pid=6324/tid=6325] ppid=6321 vsize=15021092 memory=1396 CPUtime=1.4 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) R 6321 6321 5150 0 -1 4202560 17865 0 0 0 128 12 0 0 20 0 15 0 404926439 15381598208 143536 33554432000 4194304 4196468 140723550815248 140030567203944 140030101219681 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15021092 memory=126200 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) S 6321 6321 5150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404926441 15381598208 143536 33554432000 4194304 4196468 140723550815248 140030599608976 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15381598208 143536 33554432000 4194304 4196468 140723550815248 140030430857744 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15381598208 143536 33554432000 4194304 4196468 140723550815248 140030055045520 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15021092 memory=-7374472289498985664 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) S 6321 6321 5150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404926441 15381598208 143536 33554432000 4194304 4196468 140723550815248 140030053992720 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15021092 memory=7733050341046899285 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12066264 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 3.93 3.08 6/235 6542
/proc/meminfo: memFree=16367176/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15025188 memory=12064964 CPUtime=2519.53 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 9328373 0 0 0 249853 2100 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3756297 3016241 3303 1 0 3717627 0
[pid=6324/tid=6325] ppid=6321 vsize=15025188 memory=12064964 CPUtime=643.93 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) S 6321 6321 5150 0 -1 1077944384 102334 0 0 0 64327 66 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030567199712 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15025188 memory=12064964 CPUtime=465.25 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) R 6321 6321 5150 0 -1 4202560 2730699 0 0 0 46013 512 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030599609096 140030587994855 0 4 2 25189581 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15025188 memory=1396 CPUtime=465.16 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) R 6321 6321 5150 0 -1 4202560 2153772 0 0 0 46027 489 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030430857552 140030587994855 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15025188 memory=12064964 CPUtime=463.26 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) R 6321 6321 5150 0 -1 4202560 2175178 0 0 0 45795 531 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030055045328 140030587994855 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15025188 memory=1396 CPUtime=465.04 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) R 6321 6321 5150 0 -1 4202560 1895456 0 0 0 46047 457 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030053992920 140030580356274 0 4 2 25189581 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15025188 memory=3620 CPUtime=2.39 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 217403 0 0 0 222 17 0 0 20 0 15 0 404926442 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029633000896 140030595376853 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=15025188 memory=37264 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029154289248 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6321 6321 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028885853568 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028511344976 140030595385243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6321 vsize=15025188 memory=1396 CPUtime=6.33 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) S 6321 6321 5150 0 -1 1077944384 16539 0 0 0 631 2 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029631948928 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6321 vsize=15025188 memory=12064964 CPUtime=6.34 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) S 6321 6321 5150 0 -1 1077944384 18297 0 0 0 631 3 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029630896416 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6321 vsize=15025188 memory=1396 CPUtime=1.17 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) S 6321 6321 5150 0 -1 1077944384 16567 0 0 0 114 3 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029629843616 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6321 vsize=15025188 memory=1396 CPUtime=0.58 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6321 6321 5150 0 -1 1077944384 772 0 0 0 30 28 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 142 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 2519.53 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12066360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1122.5 s]
/proc/loadavg: 4.13 3.93 3.08 6/235 6542
/proc/meminfo: memFree=16367176/32770624 swapFree=67004752/67108860
[pid=6321] ppid=6318 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (scop.sh) S 6318 6321 5150 0 -1 4202496 556 321 0 1 0 0 0 0 20 0 1 0 404926432 115843072 349 33554432000 4194304 5098028 140727141496928 140727141494184 140549415277180 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9703424 140727141499688 140727141500016 140727141500016 140727141502925 0
/proc/6321/statm: 28282 349 296 221 0 87 0
[pid=6324] ppid=6321 vsize=15025188 memory=12064964 CPUtime=2520.31 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6321 6321 5150 0 -1 1077944320 9328373 0 0 0 249931 2100 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3756297 3016241 3303 1 0 3717627 0
[pid=6324/tid=6325] ppid=6321 vsize=15025188 memory=12064964 CPUtime=643.93 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) S 6321 6321 5150 0 -1 1077944384 102334 0 0 0 64327 66 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030567199712 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6321 vsize=15025188 memory=12064964 CPUtime=465.44 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) R 6321 6321 5150 0 -1 4202560 2730699 0 0 0 46032 512 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030599609096 140030587994855 0 4 2 25189581 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6321 vsize=15025188 memory=12064964 CPUtime=465.35 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) R 6321 6321 5150 0 -1 4202560 2153772 0 0 0 46046 489 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030430857552 140030587994855 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6321 vsize=15025188 memory=1396 CPUtime=463.46 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) R 6321 6321 5150 0 -1 4202560 2175178 0 0 0 45814 532 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030055045328 140030587994855 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6321 vsize=15025188 memory=3620 CPUtime=465.24 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) R 6321 6321 5150 0 -1 4202560 1895456 0 0 0 46067 457 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030053992920 140030580363200 0 4 2 25189581 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6321 vsize=15025188 memory=37264 CPUtime=2.39 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6321 6321 5150 0 -1 1077944384 217403 0 0 0 222 17 0 0 20 0 15 0 404926442 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029633000896 140030595376853 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6321 6321 5150 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029154289248 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6321 6321 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028885853568 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6321 vsize=15025188 memory=12064964 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028511344976 140030595385243 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6321 vsize=15025188 memory=1396 CPUtime=6.33 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) S 6321 6321 5150 0 -1 1077944384 16539 0 0 0 631 2 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029631948928 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6321 vsize=15025188 memory=1396 CPUtime=6.34 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) S 6321 6321 5150 0 -1 1077944384 18297 0 0 0 631 3 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029630896416 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6321 vsize=15025188 memory=12064964 CPUtime=1.17 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) S 6321 6321 5150 0 -1 1077944384 16567 0 0 0 114 3 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029629843616 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6321 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6321 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6321 vsize=15025188 memory=1396 CPUtime=0.58 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6321 6321 5150 0 -1 1077944384 772 0 0 0 30 28 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 142 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12066360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1122.52 s]
# the end of solver process 6321 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001646 s, system=0.001982 s
[startup+1123.2 s]
# the end of solver process 6324 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.66 s, system=21.2957 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1122.8 s]
/proc/loadavg: 4.13 3.93 3.08 6/234 6543
/proc/meminfo: memFree=16367208/32770624 swapFree=67004752/67108860
[pid=6324] ppid=6318 vsize=15025188 memory=12064964 CPUtime=2521.47 cores=1,3,5,7
/proc/6324/stat : 6324 (java) S 6318 6321 5150 0 -1 1077944320 9328389 0 0 0 250046 2101 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140723550797792 140030595366647 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
/proc/6324/statm: 3756297 3016241 3303 1 0 3717627 0
[pid=6324/tid=6325] ppid=6318 vsize=15025188 memory=6791534058613427641 CPUtime=643.93 cores=1,3,5,7
/proc/6324/task/6325/stat : 6325 (java) S 6318 6321 5150 0 -1 1077944384 102334 0 0 0 64327 66 0 0 20 0 15 0 404926439 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030567199712 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6326] ppid=6318 vsize=15025188 memory=288230617509003574 CPUtime=465.71 cores=1,3,5,7
/proc/6324/task/6326/stat : 6326 (java) R 6318 6321 5150 0 -1 4202560 2730699 0 0 0 46059 512 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030599609096 140030587994855 0 4 2 25189581 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6327] ppid=6318 vsize=15025188 memory=15822200779310916 CPUtime=465.63 cores=1,3,5,7
/proc/6324/task/6327/stat : 6327 (java) R 6318 6321 5150 0 -1 4202560 2153772 0 0 0 46074 489 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030430857552 140030587994855 0 4 2 25189581 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6328] ppid=6318 vsize=15025188 memory=37548 CPUtime=463.75 cores=1,3,5,7
/proc/6324/task/6328/stat : 6328 (java) R 6318 6321 5150 0 -1 4202560 2175178 0 0 0 45843 532 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030055045328 140030587994855 0 4 2 25189581 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6329] ppid=6318 vsize=15025188 memory=1780 CPUtime=465.53 cores=1,3,5,7
/proc/6324/task/6329/stat : 6329 (java) R 6318 6321 5150 0 -1 4202560 1895467 0 0 0 46096 457 0 0 20 0 15 0 404926441 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140030053992920 140030580356309 0 4 2 25189581 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6330] ppid=6318 vsize=15025188 memory=1398722017469774279 CPUtime=2.39 cores=1,3,5,7
/proc/6324/task/6330/stat : 6330 (java) S 6318 6321 5150 0 -1 1077944384 217403 0 0 0 222 17 0 0 20 0 15 0 404926442 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029633000896 140030595376853 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6331] ppid=6318 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6331/stat : 6331 (java) S 6318 6321 5150 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029154289248 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6332] ppid=6318 vsize=15025188 memory=12064964 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6332/stat : 6332 (java) S 6318 6321 5150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404926443 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028885853568 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6333] ppid=6318 vsize=15025188 memory=7737870686360260952 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6333/stat : 6333 (java) S 6318 6321 5150 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028511344624 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6334] ppid=6318 vsize=15025188 memory=7737870686360260952 CPUtime=6.33 cores=1,3,5,7
/proc/6324/task/6334/stat : 6334 (java) S 6318 6321 5150 0 -1 1077944384 16539 0 0 0 631 2 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029631948928 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6335] ppid=6318 vsize=15025188 memory=7884503807502739793 CPUtime=6.34 cores=1,3,5,7
/proc/6324/task/6335/stat : 6335 (java) S 6318 6321 5150 0 -1 1077944384 18297 0 0 0 631 3 0 0 20 0 15 0 404926445 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029630896416 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6336] ppid=6318 vsize=15025188 memory=7588944052514154607 CPUtime=1.17 cores=1,3,5,7
/proc/6324/task/6336/stat : 6336 (java) S 6318 6321 5150 0 -1 1077944384 16567 0 0 0 114 3 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029629843616 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6337] ppid=6318 vsize=15025188 memory=7588944052514154607 CPUtime=0 cores=1,3,5,7
/proc/6324/task/6337/stat : 6337 (java) S 6318 6321 5150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140028013439200 140030595376853 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
[pid=6324/tid=6338] ppid=6318 vsize=15025188 memory=7588944052514154607 CPUtime=0.58 cores=1,3,5,7
/proc/6324/task/6338/stat : 6338 (java) S 6318 6321 5150 0 -1 1077944384 772 0 0 0 30 28 0 0 20 0 15 0 404926446 15385792512 3016241 33554432000 4194304 4196468 140723550815248 140029628791984 140030595377794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 142 0 0 6293624 6294260 18649088 140723550819055 140723550819482 140723550819482 140723550822351 0
Current cumulated CPU time of completed processes: 0.003628 s
Current children cumulated CPU time: 2521.47 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12064964 KiB
[startup+1123 s]*
/proc/loadavg: 4.13 3.93 3.08 3/221 6545
/proc/meminfo: memFree=20579644/32770624 swapFree=67004752/67108860
Current cumulated CPU time of completed processes: 0.003628 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1123.11 s]
/proc/loadavg: 4.13 3.93 3.08 3/221 6545
/proc/meminfo: memFree=20579644/32770624 swapFree=67004752/67108860
Current cumulated CPU time of completed processes: 0.003628 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 1123.2
CPU time (s): 2521.96
CPU user time (s): 2500.66
CPU system time (s): 21.2957
CPU usage (%): 224.534
Max. virtual memory (cumulated for all children) (KiB): 15139340
Max. memory (cumulated for all children) (KiB): 12066936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.66
system time used= 21.2957
maximum resident set size= 12069320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9340221
page faults= 1
swaps= 0
block input operations= 64
block output operations= 71376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64776
involuntary context switches= 35189
# summary of solver processes directly reported to runsolver:
# pid: 6321,6324
# total CPU time (s): 2521.96
# total CPU user time (s): 2500.66
# total CPU system time (s): 21.2957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57766 second user time and 10.7692 second system time
The end