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 (120 MiB free)
memory of node 1: 16384 MiB (7221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387789-1568290257/watcher-4387789-1568290257 -o /tmp/evaluation-result-4387789-1568290257/solver-4387789-1568290257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387789-1568290257.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
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB
solver pid=5923, runsolver pid=5920
[startup+0.100553 s]*
/proc/loadavg: 2.47 2.25 2.19 3/235 5940
/proc/meminfo: memFree=7456612/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15012696 memory=73192 CPUtime=0.11 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 6549 0 0 0 9 2 0 0 20 0 15 0 404940604 15373000704 18298 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3753174 18298 2939 1 0 3715579 0
[pid=5926/tid=5927] ppid=5923 vsize=15012696 memory=-7828588039587137883 CPUtime=0.08 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) R 5923 5923 3344 0 -1 4202560 4422 0 0 0 7 1 0 0 20 0 15 0 404940604 15373000704 18364 33554432000 4194304 4196468 140734056775424 140291808811656 140291837039194 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 18364 33554432000 4194304 4196468 140734056775424 140291841259920 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 18364 33554432000 4194304 4196468 140734056775424 140291632343312 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 18364 33554432000 4194304 4196468 140734056775424 140291631291024 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 18364 33554432000 4194304 4196468 140734056775424 140291630238224 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940607 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290807540336 140291837028994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290409096480 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 18364 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290806487152 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290805434352 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0.01 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) R 5923 5923 3344 0 -1 4202560 445 0 0 0 1 0 0 0 20 0 15 0 404940610 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290804382064 140291829254974 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 18364 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 18364 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74588 KiB
[startup+0.211102 s]*
/proc/loadavg: 2.47 2.25 2.19 3/235 5940
/proc/meminfo: memFree=7438144/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15012696 memory=88528 CPUtime=0.25 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 11680 0 0 0 22 3 0 0 20 0 15 0 404940604 15373000704 22132 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3753174 22132 2957 1 0 3715579 0
[pid=5926/tid=5927] ppid=5923 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) R 5923 5923 3344 0 -1 4202560 9404 0 0 0 17 3 0 0 20 0 15 0 404940604 15373000704 22132 33554432000 4194304 4196468 140734056775424 140291808841808 140291837039773 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22132 33554432000 4194304 4196468 140734056775424 140291841259920 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15012696 memory=139627766103401 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22132 33554432000 4194304 4196468 140734056775424 140291632343312 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22132 33554432000 4194304 4196468 140734056775424 140291631291024 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22132 33554432000 4194304 4196468 140734056775424 140291630238224 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940607 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290807540336 140291837028994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290409096480 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 22132 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290806487152 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290805434352 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15012696 memory=139627764594304 CPUtime=0.03 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) S 5923 5923 3344 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 404940610 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290804382064 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 22132 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 22132 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89924 KiB
[startup+0.313561 s]*
/proc/loadavg: 2.47 2.25 2.19 3/235 5940
/proc/meminfo: memFree=7435600/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15012696 memory=91944 CPUtime=0.43 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 12555 0 0 0 39 4 0 0 20 0 15 0 404940604 15373000704 22986 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3753174 22986 3022 1 0 3715579 0
[pid=5926/tid=5927] ppid=5923 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) R 5923 5923 3344 0 -1 4202560 10096 0 0 0 27 3 0 0 20 0 15 0 404940604 15373000704 22986 33554432000 4194304 4196468 140734056775424 140291808800864 140291817293169 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22986 33554432000 4194304 4196468 140734056775424 140291841259920 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22986 33554432000 4194304 4196468 140734056775424 140291632343312 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22986 33554432000 4194304 4196468 140734056775424 140291631291024 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15012696 memory=7367707135548368274 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15373000704 22986 33554432000 4194304 4196468 140734056775424 140291630238224 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940607 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290807540336 140291837028994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290409096480 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940608 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15373000704 22986 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15012696 memory=-7384621950708166502 CPUtime=0.03 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 404940610 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290806487152 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 404940610 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290805434352 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) S 5923 5923 3344 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 404940610 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290804382064 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 22986 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940611 15373000704 22986 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93340 KiB
[startup+0.704509 s]
/proc/loadavg: 2.47 2.25 2.19 3/235 5940
/proc/meminfo: memFree=7414132/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15018968 memory=129672 CPUtime=1.05 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 19668 0 0 0 99 6 0 0 20 0 15 0 404940604 15379423232 32418 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3754742 32418 3190 1 0 3716091 0
[pid=5926/tid=5927] ppid=5923 vsize=15018968 memory=297312208 CPUtime=0.68 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) R 5923 5923 3344 0 -1 4202560 16629 0 0 0 63 5 0 0 20 0 15 0 404940604 15379423232 32418 33554432000 4194304 4196468 140734056775424 140291808856672 140291298435004 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15379423232 32418 33554432000 4194304 4196468 140734056775424 140291841259920 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15379423232 32418 33554432000 4194304 4196468 140734056775424 140291632343312 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15018968 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940606 15379423232 32418 33554432000 4194304 4196468 140734056775424 140291631291024 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15018968 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) S 5923 5923 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404940606 15379423232 32418 33554432000 4194304 4196468 140734056775424 140291630238224 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404940607 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290807540336 140291837028994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404940608 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290409096480 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940608 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15379423232 32418 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15018968 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) R 5923 5923 3344 0 -1 4202560 667 0 0 0 10 0 0 0 20 0 15 0 404940610 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290806480344 140291817653744 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15018968 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) R 5923 5923 3344 0 -1 4202560 395 0 0 0 7 0 0 0 20 0 15 0 404940610 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290805425680 140291830114683 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15018968 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) R 5923 5923 3344 0 -1 4202560 645 0 0 0 17 0 0 0 20 0 15 0 404940610 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290804377792 140291815985974 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15379423232 32418 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404940611 15379423232 32418 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50155 s]
/proc/loadavg: 2.47 2.25 2.19 6/235 5940
/proc/meminfo: memFree=7346156/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 3.93 3.68 2.94 6/235 6016
/proc/meminfo: memFree=1328500/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15025188 memory=12059984 CPUtime=2146.54 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 7143727 0 0 0 212336 2318 0 0 20 0 15 0 404940604 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3756297 3014996 3309 1 0 3717627 0
[pid=5926/tid=5927] ppid=5923 vsize=15025188 memory=12059984 CPUtime=447.25 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) S 5923 5923 3344 0 -1 1077944384 186280 0 0 0 44654 71 0 0 20 0 15 0 404940604 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140291808848096 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15025188 memory=12059984 CPUtime=419.32 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) R 5923 5923 3344 0 -1 4202560 1229192 0 0 0 41348 584 0 0 20 0 15 0 404940606 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140291841259728 140291829646055 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15025188 memory=1396 CPUtime=420.65 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) R 5923 5923 3344 0 -1 4202560 904313 0 0 0 41548 517 0 0 20 0 15 0 404940606 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140291632343120 140291829646055 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15025188 memory=12059984 CPUtime=427.13 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) R 5923 5923 3344 0 -1 4202560 3255814 0 0 0 42146 567 0 0 20 0 15 0 404940606 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140291631291224 140291822014192 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15025188 memory=12059984 CPUtime=419.94 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) R 5923 5923 3344 0 -1 4202560 1246337 0 0 0 41456 538 0 0 20 0 15 0 404940606 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140291630238032 140291829646055 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15025188 memory=12059984 CPUtime=2.8 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 283416 0 0 0 261 19 0 0 20 0 15 0 404940607 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290807538880 140291837028053 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15025188 memory=12059984 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290409096544 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15025188 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15025188 memory=2257 CPUtime=3.43 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 8574 0 0 0 341 2 0 0 20 0 15 0 404940610 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290806487200 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15025188 memory=1396 CPUtime=4.29 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 13368 0 0 0 428 1 0 0 20 0 15 0 404940610 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290805434400 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15025188 memory=9580 CPUtime=1.15 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) S 5923 5923 3344 0 -1 1077944384 14506 0 0 0 114 1 0 0 20 0 15 0 404940610 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290804381824 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15025188 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15025188 memory=776 CPUtime=0.48 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 598 0 0 0 24 24 0 0 20 0 15 0 404940611 15385792512 3014996 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 2146.54 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12061380 KiB
[startup+942.301 s]
/proc/loadavg: 4.25 3.81 3.03 6/234 6021
/proc/meminfo: memFree=1303868/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15025188 memory=12060060 CPUtime=2366.31 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 7598628 0 0 0 234236 2395 0 0 20 0 15 0 404940604 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3756297 3015015 3309 1 0 3717627 0
[pid=5926/tid=5927] ppid=5923 vsize=15025188 memory=12060060 CPUtime=451.76 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) S 5923 5923 3344 0 -1 1077944384 187053 0 0 0 45105 71 0 0 20 0 15 0 404940604 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140291808847200 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15025188 memory=12060060 CPUtime=472.65 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) R 5923 5923 3344 0 -1 4202560 1248222 0 0 0 46662 603 0 0 20 0 15 0 404940606 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140291841260040 140291829646055 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15025188 memory=1396 CPUtime=474.66 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) R 5923 5923 3344 0 -1 4202560 922697 0 0 0 46939 527 0 0 20 0 15 0 404940606 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140291632343512 140291821718575 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15025188 memory=12060060 CPUtime=481.5 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) R 5923 5923 3344 0 -1 4202560 3641396 0 0 0 47555 595 0 0 20 0 15 0 404940606 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140291631291144 140291829646055 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15025188 memory=1396 CPUtime=473.24 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) R 5923 5923 3344 0 -1 4202560 1271303 0 0 0 46767 557 0 0 20 0 15 0 404940606 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140291630238032 140291829646055 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15025188 memory=12060060 CPUtime=3.01 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 289527 0 0 0 282 19 0 0 20 0 15 0 404940607 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290807538880 140291837028053 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290409096544 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15025188 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15025188 memory=37224 CPUtime=3.43 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 8576 0 0 0 341 2 0 0 20 0 15 0 404940610 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290806487200 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15025188 memory=55 CPUtime=4.29 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 13371 0 0 0 428 1 0 0 20 0 15 0 404940610 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290805434112 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15025188 memory=8099559430035039568 CPUtime=1.15 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) S 5923 5923 3344 0 -1 1077944384 14508 0 0 0 114 1 0 0 20 0 15 0 404940610 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290804382112 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15025188 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15025188 memory=1436 CPUtime=0.5 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 646 0 0 0 25 25 0 0 20 0 15 0 404940611 15385792512 3015015 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 2366.31 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12061456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+986.501 s]
/proc/loadavg: 4.46 3.92 3.10 3/234 6025
/proc/meminfo: memFree=1293064/32770624 swapFree=66939824/67108860
[pid=5923] ppid=5920 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5923/stat : 5923 (scop.sh) S 5920 5923 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404940604 115843072 349 33554432000 4194304 5098028 140727001033312 140727001030568 139717018182268 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27017216 140727001039715 140727001039984 140727001039984 140727001042893 0
/proc/5923/statm: 28282 349 296 221 0 87 0
[pid=5926] ppid=5923 vsize=15025188 memory=12060076 CPUtime=2520.02 cores=1,3,5,7
/proc/5926/stat : 5926 (java) S 5923 5923 3344 0 -1 1077944320 8332002 0 0 0 249533 2469 0 0 20 0 15 0 404940604 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140734056757968 140291837017847 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
/proc/5926/statm: 3756297 3015019 3309 1 0 3717627 0
[pid=5926/tid=5927] ppid=5923 vsize=15025188 memory=1396 CPUtime=457.78 cores=1,3,5,7
/proc/5926/task/5927/stat : 5927 (java) R 5923 5923 3344 0 -1 4202560 192450 0 0 0 45706 72 0 0 20 0 15 0 404940604 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140291808847040 140291299430192 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5928] ppid=5923 vsize=15025188 memory=12060076 CPUtime=509.2 cores=1,3,5,7
/proc/5926/task/5928/stat : 5928 (java) S 5923 5923 3344 0 -1 1077944384 1410190 0 0 0 50297 623 0 0 20 0 15 0 404940606 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140291841259920 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5929] ppid=5923 vsize=15025188 memory=12060060 CPUtime=511.05 cores=1,3,5,7
/proc/5926/task/5929/stat : 5929 (java) S 5923 5923 3344 0 -1 1077944384 1070066 0 0 0 50558 547 0 0 20 0 15 0 404940606 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140291632343312 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5930] ppid=5923 vsize=15025188 memory=12060076 CPUtime=519.13 cores=1,3,5,7
/proc/5926/task/5930/stat : 5930 (java) S 5923 5923 3344 0 -1 1077944384 3853747 0 0 0 51306 607 0 0 20 0 15 0 404940606 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140291631291024 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5931] ppid=5923 vsize=15025188 memory=12060076 CPUtime=509.95 cores=1,3,5,7
/proc/5926/task/5931/stat : 5931 (java) S 5923 5923 3344 0 -1 1077944384 1431004 0 0 0 50418 577 0 0 20 0 15 0 404940606 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140291630238224 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5932] ppid=5923 vsize=15025188 memory=1396 CPUtime=3.41 cores=1,3,5,7
/proc/5926/task/5932/stat : 5932 (java) S 5923 5923 3344 0 -1 1077944384 335978 0 0 0 321 20 0 0 20 0 15 0 404940607 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290807540336 140291837028994 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5933] ppid=5923 vsize=15025188 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5933/stat : 5933 (java) S 5923 5923 3344 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290409096544 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5934] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5934/stat : 5934 (java) S 5923 5923 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 404940608 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290140661360 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5935] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5935/stat : 5935 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940610 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140289766152784 140291837036443 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5936] ppid=5923 vsize=15025188 memory=1396 CPUtime=3.43 cores=1,3,5,7
/proc/5926/task/5936/stat : 5936 (java) S 5923 5923 3344 0 -1 1077944384 8581 0 0 0 341 2 0 0 20 0 15 0 404940610 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290806487152 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5937] ppid=5923 vsize=15025188 memory=1396 CPUtime=4.29 cores=1,3,5,7
/proc/5926/task/5937/stat : 5937 (java) S 5923 5923 3344 0 -1 1077944384 13480 0 0 0 428 1 0 0 20 0 15 0 404940610 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290805434352 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5938] ppid=5923 vsize=15025188 memory=1396 CPUtime=1.15 cores=1,3,5,7
/proc/5926/task/5938/stat : 5938 (java) S 5923 5923 3344 0 -1 1077944384 14511 0 0 0 114 1 0 0 20 0 15 0 404940610 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290804382064 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5939] ppid=5923 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5926/task/5939/stat : 5939 (java) S 5923 5923 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404940611 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140289268247008 140291837028053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
[pid=5926/tid=5940] ppid=5923 vsize=15025188 memory=12060060 CPUtime=0.52 cores=1,3,5,7
/proc/5926/task/5940/stat : 5940 (java) S 5923 5923 3344 0 -1 1077944384 666 0 0 0 26 26 0 0 20 0 15 0 404940611 15385792512 3015019 33554432000 4194304 4196468 140734056775424 140290803329968 140291837028994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140734056776490 140734056776858 140734056776858 140734056779727 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12061472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+986.511 s]
# the end of solver process 5923 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.003384 s, system=0.000329 s
[startup+986.753 s]
# the end of solver process 5926 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2495.34 s, system=24.9434 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+986.61 s]*
/proc/loadavg: 4.46 3.92 3.10 3/220 6027
/proc/meminfo: memFree=6510920/32770624 swapFree=66939824/67108860
Current cumulated CPU time of completed processes: 0.003713 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+986.71 s]
/proc/loadavg: 4.46 3.92 3.10 3/220 6027
/proc/meminfo: memFree=6510920/32770624 swapFree=66939824/67108860
Current cumulated CPU time of completed processes: 0.003713 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): 986.753
CPU time (s): 2520.29
CPU user time (s): 2495.34
CPU system time (s): 24.9434
CPU usage (%): 255.412
Max. virtual memory (cumulated for all children) (KiB): 15139340
Max. memory (cumulated for all children) (KiB): 12061472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2495.34
system time used= 24.9434
maximum resident set size= 12062436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8334485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63182
involuntary context switches= 31173
# summary of solver processes directly reported to runsolver:
# pid: 5923,5926
# total CPU time (s): 2520.29
# total CPU user time (s): 2495.34
# total CPU system time (s): 24.9434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17885 second user time and 10.4871 second system time
The end