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 (12207 MiB free)
memory of node 1: 16384 MiB (11388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305487-1534077038/watcher-4305487-1534077038 -o /tmp/evaluation-result-4305487-1534077038/solver-4305487-1534077038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305487-1534077038.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
Starting watchdog thread
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=21379, runsolver pid=21376
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 5.02 4.52 4.09 3/223 21396
/proc/meminfo: memFree=24102588/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15012476 memory=72204 CPUtime=0.11 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 6150 0 0 0 9 2 0 0 20 0 15 0 225267001 15372775424 18051 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3753119 18051 2770 1 0 3715579 0
[pid=21382/tid=21383] ppid=21379 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) R 21379 21379 16605 0 -1 4202560 4236 0 0 0 7 1 0 0 20 0 15 0 225267002 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006885200264 140006894951831 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006917630352 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006374369552 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006373317264 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006372264464 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006252952176 140006913399426 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 18051 33554432000 4194304 4196468 140735298818080 140005498414368 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 18051 33554432000 4194304 4196468 140735298818080 140005263533680 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006251898992 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006250846192 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0.01 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006249793904 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 18051 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73600 KiB
[startup+0.21072 s]*
/proc/loadavg: 5.02 4.52 4.09 4/223 21396
/proc/meminfo: memFree=24088372/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15012476 memory=85800 CPUtime=0.26 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 9795 0 0 0 23 3 0 0 20 0 15 0 225267001 15372775424 21450 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3753119 21450 2927 1 0 3715579 0
[pid=21382/tid=21383] ppid=21379 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) R 21379 21379 16605 0 -1 4202560 7683 0 0 0 17 2 0 0 20 0 15 0 225267002 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006885214672 140006913400214 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006917630352 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15012476 memory=3544530944168130208 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006374369552 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006373317264 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006372264464 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006252952176 140006913399426 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 21450 33554432000 4194304 4196468 140735298818080 140005498414368 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 21450 33554432000 4194304 4196468 140735298818080 140005263533680 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006251898992 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006250846192 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15012476 memory=140625777358464 CPUtime=0.03 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) R 21379 21379 16605 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006249793904 140006897468766 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 21450 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87196 KiB
[startup+0.310817 s]*
/proc/loadavg: 5.02 4.52 4.09 3/223 21396
/proc/meminfo: memFree=24084588/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15012476 memory=89756 CPUtime=0.42 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 10414 0 0 0 39 3 0 0 20 0 15 0 225267001 15372775424 22439 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3753119 22439 2970 1 0 3715579 0
[pid=21382/tid=21383] ppid=21379 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) R 21379 21379 16605 0 -1 4202560 8118 0 0 0 26 3 0 0 20 0 15 0 225267002 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006885183280 140006897468766 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006917630352 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006374369552 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006373317264 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006372264464 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006252952176 140006913399426 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 22439 33554432000 4194304 4196468 140735298818080 140005498414368 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267005 15372775424 22439 33554432000 4194304 4196468 140735298818080 140005263533680 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006251898992 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006250846192 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 349 0 0 0 7 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006249793904 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267008 15372775424 22439 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91152 KiB
[startup+0.700822 s]
/proc/loadavg: 4.78 4.47 4.08 3/223 21396
/proc/meminfo: memFree=24060280/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15018748 memory=132832 CPUtime=1.01 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 17326 0 0 0 95 6 0 0 20 0 15 0 225267001 15379197952 33208 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3754687 33208 3127 1 0 3716091 0
[pid=21382/tid=21383] ppid=21379 vsize=15018748 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) R 21379 21379 16605 0 -1 4202560 14571 0 0 0 62 4 0 0 20 0 15 0 225267002 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006885218832 140006913410205 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) S 21379 21379 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225267003 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006917630352 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15018748 memory=61312 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006374369552 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15018748 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006373317264 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15018748 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267003 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006372264464 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15018748 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225267005 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006252952176 140006913399426 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15018748 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225267005 15379197952 33208 33554432000 4194304 4196468 140735298818080 140005498414368 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267005 15379197952 33208 33554432000 4194304 4196468 140735298818080 140005263533680 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15018748 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15018748 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 647 0 0 0 8 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006251898992 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15018748 memory=6120 CPUtime=0.07 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) R 21379 21379 16605 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006250846192 140006898286655 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15018748 memory=1724 CPUtime=0.15 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) R 21379 21379 16605 0 -1 4202560 434 0 0 0 15 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006249793904 140006897468766 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15018748 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15018748 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225267008 15379197952 33208 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134228 KiB
[startup+1.50084 s]
/proc/loadavg: 4.78 4.47 4.08 5/223 21396
/proc/meminfo: memFree=23927672/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
################
# More data... #
################
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 16015 0 0 0 108 3 0 0 20 0 15 0 225267008 15385567232 3022219 33554432000 4194304 4196468 140735298818080 140006249793952 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15024968 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022219 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15024968 memory=1396 CPUtime=0.66 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 643 0 0 0 33 33 0 0 20 0 15 0 225267008 15385567232 3022219 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 1976.21 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 12090272 KiB
[startup+882.302 s]
/proc/loadavg: 4.33 3.83 3.64 6/222 21417
/proc/meminfo: memFree=12048440/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15024968 memory=12088880 CPUtime=2198.66 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 307142 0 0 0 218857 1009 0 0 20 0 15 0 225267001 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3756242 3022220 3249 1 0 3717627 0
[pid=21382/tid=21383] ppid=21379 vsize=15024968 memory=1396 CPUtime=439.77 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) S 21379 21379 16605 0 -1 1077944384 52422 0 0 0 43927 50 0 0 20 0 15 0 225267002 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006885226384 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15024968 memory=12088880 CPUtime=435.36 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) R 21379 21379 16605 0 -1 4202560 32232 0 0 0 43299 237 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006917630240 140006898373575 0 4 2 25189581 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15024968 memory=12088880 CPUtime=436.19 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) R 21379 21379 16605 0 -1 4202560 30975 0 0 0 43370 249 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006374369752 140006898086031 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15024968 memory=12088880 CPUtime=436.35 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) R 21379 21379 16605 0 -1 4202560 34633 0 0 0 43397 238 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006373317464 140006894984724 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15024968 memory=12088880 CPUtime=435.89 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) R 21379 21379 16605 0 -1 4202560 29710 0 0 0 43382 207 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006372264664 140006894984737 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15024968 memory=12088880 CPUtime=3.58 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 71549 0 0 0 353 5 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006252950496 140006913398485 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15024968 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140005498414432 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15024968 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140005263533696 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15024968 memory=504 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15024968 memory=924 CPUtime=5.16 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 19440 0 0 0 514 2 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006251898752 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15024968 memory=1396 CPUtime=4.44 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 18113 0 0 0 441 3 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006250846240 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15024968 memory=12088880 CPUtime=1.11 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 16026 0 0 0 108 3 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006249793952 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15024968 memory=7288 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15024968 memory=804 CPUtime=0.72 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 676 0 0 0 36 36 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 2198.66 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 12090276 KiB
[startup+942.302 s]
/proc/loadavg: 5.27 4.21 3.78 6/222 21418
/proc/meminfo: memFree=12043600/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15024968 memory=12088880 CPUtime=2423.21 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 320171 0 0 0 241295 1026 0 0 20 0 15 0 225267001 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3756242 3022220 3249 1 0 3717627 0
[pid=21382/tid=21383] ppid=21379 vsize=15024968 memory=12088880 CPUtime=443.73 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) S 21379 21379 16605 0 -1 1077944384 52590 0 0 0 44323 50 0 0 20 0 15 0 225267002 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006885226608 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15024968 memory=12088880 CPUtime=490.35 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) R 21379 21379 16605 0 -1 4202560 34190 0 0 0 48794 241 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006917630472 140006906016487 0 4 2 25189581 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15024968 memory=1396 CPUtime=490.64 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) R 21379 21379 16605 0 -1 4202560 32270 0 0 0 48810 254 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006374369672 140006906016487 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15024968 memory=12088880 CPUtime=491.88 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) R 21379 21379 16605 0 -1 4202560 36103 0 0 0 48949 239 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006373317072 140006898377864 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15024968 memory=1396 CPUtime=491 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) R 21379 21379 16605 0 -1 4202560 30723 0 0 0 48888 212 0 0 20 0 15 0 225267003 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006372264272 140006906016487 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15024968 memory=1396 CPUtime=4.02 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) S 21379 21379 16605 0 -1 1077944384 78615 0 0 0 396 6 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006252950720 140006913398485 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140005498414432 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15024968 memory=159771 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140005263533696 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15024968 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15024968 memory=1740 CPUtime=5.16 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 19443 0 0 0 514 2 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006251899040 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15024968 memory=1396 CPUtime=4.45 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 18116 0 0 0 442 3 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006250846240 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15024968 memory=12088880 CPUtime=1.11 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 16038 0 0 0 108 3 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006249793664 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15024968 memory=12088880 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15024968 memory=3712 CPUtime=0.78 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 717 0 0 0 39 39 0 0 20 0 15 0 225267008 15385567232 3022220 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 2423.21 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 12090276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+968.301 s]
/proc/loadavg: 4.88 4.19 3.79 6/222 21419
/proc/meminfo: memFree=12043228/32770624 swapFree=67108860/67108860
[pid=21379] ppid=21376 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21379/stat : 21379 (scop.sh) S 21376 21379 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225267001 115843072 349 33554432000 4194304 5098028 140726813078352 140726813075608 139880610964092 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9416704 140726813082688 140726813082887 140726813082887 140726813085645 0
/proc/21379/statm: 28282 349 296 221 0 87 0
[pid=21382] ppid=21379 vsize=15024968 memory=12088924 CPUtime=2520.22 cores=1,3,5,7
/proc/21382/stat : 21382 (java) S 21379 21379 16605 0 -1 1077944320 331297 0 0 0 250991 1031 0 0 20 0 15 0 225267001 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140735298800624 140006913388279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
/proc/21382/statm: 3756242 3022231 3249 1 0 3717627 0
[pid=21382/tid=21383] ppid=21379 vsize=15024968 memory=1396 CPUtime=445.63 cores=1,3,5,7
/proc/21382/task/21383/stat : 21383 (java) S 21379 21379 16605 0 -1 1077944384 53326 0 0 0 44513 50 0 0 20 0 15 0 225267002 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006885222224 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21384] ppid=21379 vsize=15024968 memory=1396 CPUtime=514.13 cores=1,3,5,7
/proc/21382/task/21384/stat : 21384 (java) S 21379 21379 16605 0 -1 1077944384 34886 0 0 0 51171 242 0 0 20 0 15 0 225267003 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006917630352 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21385] ppid=21379 vsize=15024968 memory=12088924 CPUtime=514.25 cores=1,3,5,7
/proc/21382/task/21385/stat : 21385 (java) S 21379 21379 16605 0 -1 1077944384 32855 0 0 0 51171 254 0 0 20 0 15 0 225267003 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006374369552 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21386] ppid=21379 vsize=15024968 memory=3712 CPUtime=515.49 cores=1,3,5,7
/proc/21382/task/21386/stat : 21386 (java) S 21379 21379 16605 0 -1 1077944384 37104 0 0 0 51308 241 0 0 20 0 15 0 225267003 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006373317264 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21387] ppid=21379 vsize=15024968 memory=1396 CPUtime=514.81 cores=1,3,5,7
/proc/21382/task/21387/stat : 21387 (java) S 21379 21379 16605 0 -1 1077944384 31139 0 0 0 51267 214 0 0 20 0 15 0 225267003 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006372264464 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21388] ppid=21379 vsize=15024968 memory=12088924 CPUtime=4.29 cores=1,3,5,7
/proc/21382/task/21388/stat : 21388 (java) R 21379 21379 16605 0 -1 4202560 84131 0 0 0 423 6 0 0 20 0 15 0 225267005 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006252950720 140006897845865 0 0 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21389] ppid=21379 vsize=15024968 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21389/stat : 21389 (java) S 21379 21379 16605 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140005498414432 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21390] ppid=21379 vsize=15024968 memory=61332 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21390/stat : 21390 (java) S 21379 21379 16605 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 225267005 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140005263533696 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21391] ppid=21379 vsize=15024968 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21391/stat : 21391 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140004889025104 140006913406875 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21392] ppid=21379 vsize=15024968 memory=12088896 CPUtime=5.16 cores=1,3,5,7
/proc/21382/task/21392/stat : 21392 (java) S 21379 21379 16605 0 -1 1077944384 19872 0 0 0 514 2 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006251899040 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21393] ppid=21379 vsize=15024968 memory=1396 CPUtime=4.45 cores=1,3,5,7
/proc/21382/task/21393/stat : 21393 (java) S 21379 21379 16605 0 -1 1077944384 18119 0 0 0 442 3 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006250845952 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21394] ppid=21379 vsize=15024968 memory=12088924 CPUtime=1.12 cores=1,3,5,7
/proc/21382/task/21394/stat : 21394 (java) S 21379 21379 16605 0 -1 1077944384 17757 0 0 0 109 3 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006249793952 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21395] ppid=21379 vsize=15024968 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21382/task/21395/stat : 21395 (java) S 21379 21379 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140004391119328 140006913398485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
[pid=21382/tid=21396] ppid=21379 vsize=15024968 memory=12088924 CPUtime=0.8 cores=1,3,5,7
/proc/21382/task/21396/stat : 21396 (java) S 21379 21379 16605 0 -1 1077944384 742 0 0 0 40 40 0 0 20 0 15 0 225267008 15385567232 3022231 33554432000 4194304 4196468 140735298818080 140006248741808 140006913399426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140735298823174 140735298823473 140735298823473 140735298826191 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 12090320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+968.312 s]
# the end of solver process 21379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002226 s, system=0.001914 s
[startup+968.425 s]
# the end of solver process 21382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510 s, system=10.3676 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+968.41 s]*
/proc/loadavg: 4.88 4.19 3.79 3/208 21422
/proc/meminfo: memFree=22575512/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00414 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): 968.426
CPU time (s): 2520.36
CPU user time (s): 2510
CPU system time (s): 10.3676
CPU usage (%): 260.254
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12090320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510
system time used= 10.3676
maximum resident set size= 12093348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31922
involuntary context switches= 17903
# summary of solver processes directly reported to runsolver:
# pid: 21379,21382
# total CPU time (s): 2520.36
# total CPU user time (s): 2510
# total CPU system time (s): 10.3676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91656 second user time and 10.3322 second system time
The end