0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-6423-serial-file.bin HOME/instance-4387879-1568291582.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 14:32:25 CEST 2019
0.66/0.56 c PID: 6426
0.66/0.56 c IP: 172.20.3.119
0.66/0.56 c HOST: node119.alineos.net
0.66/0.56 c (0,0) Parsing Begin
120.52/94.61 c (94,87) Parsing End
120.52/94.63 c (94,87) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
120.52/94.63 c (94,87) Heap : 3405 MiB used (max 10752 MiB), NonHeap : 24 MiB used (max 0 MiB)
120.52/94.63 c (94,87) Constraint Name Generate Begin
125.49/99.43 c (98,92) Ctr:HOME/instance-4387879-1568291582.xml,Eq:Imp:Le:Num:Var
125.49/99.43 c (98,92) Constraint Name Generate End
125.49/99.43 c (98,92) Heap : 4785 MiB used (max 10752 MiB), NonHeap : 23 MiB used (max 0 MiB)
125.49/99.43 c (98,92) CSP to CSPinCNF Begin
137.71/107.15 c (106,99) translated 199800 (10%) constraints
147.45/114.17 c (113,105) translated 399600 (20%) constraints
153.55/120.28 c (119,111) translated 599400 (30%) constraints
160.98/126.70 c (126,117) translated 799200 (40%) constraints
168.34/133.12 c (132,123) translated 999000 (50%) constraints
174.74/139.37 c (138,129) translated 1198800 (60%) constraints
182.34/145.92 c (145,135) translated 1398600 (70%) constraints
188.55/152.12 c (151,142) translated 1598400 (80%) constraints
194.76/158.32 c (157,148) translated 1798200 (90%) constraints
202.62/164.94 c (164,154) translated 1998000 (100%) constraints
202.62/164.94 c (164,154) ===========================================
202.96/165.20 c (164,154) Hybrid: #OE=1000, #LE=0
202.96/165.20 c (164,154) Hybrid
202.96/165.20 c (164,154) ===========================================
206.80/168.49 c (167,158) translated 199800 (10%) constraints
211.64/172.15 c (171,161) translated 399600 (20%) constraints
214.88/175.35 c (174,164) translated 599400 (30%) constraints
218.08/178.55 c (178,167) translated 799200 (40%) constraints
221.28/181.76 c (181,171) translated 999000 (50%) constraints
239.84/196.71 c (196,185) translated 1198800 (60%) constraints
257.66/211.57 c (211,198) translated 1398600 (70%) constraints
275.53/226.24 c (225,212) translated 1598400 (80%) constraints
291.79/240.98 c (240,226) translated 1798200 (90%) constraints
309.96/255.72 c (255,240) translated 1998000 (100%) constraints
309.96/255.73 c (255,240) CSP to CSPinCNF End
310.18/256.00 c (255,240) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
310.18/256.00 c (255,240) Heap : 8214 MiB used (max 10831 MiB), NonHeap : 26 MiB used (max 0 MiB)
310.18/256.00 c (255,240) CSPinCNF Propagation Begin
1234.56/1085.79 c (1085,1038) 1784456 values, 2694951 unsatisfiable literals, and 3665387 valid clauses are removed
1234.56/1085.79 c (1085,1038) CSPinCNF Propagation End
1234.97/1086.14 c (1085,1039) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1234.97/1086.14 c (1085,1039) Heap : 6908 MiB used (max 10773 MiB), NonHeap : 26 MiB used (max 0 MiB)
1235.08/1086.28 c (1085,1039) Hybrid: #OE=1000000, #LE=0
1235.08/1086.28 c (1085,1039) Simplify CSPinCNF Begin
1235.88/1086.84 c (1086,1039) Simplify CSPinCNF End
1236.19/1087.19 c (1086,1040) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1236.19/1087.19 c (1086,1040) Heap : 7195 MiB used (max 10773 MiB), NonHeap : 26 MiB used (max 0 MiB)
1236.19/1087.19 c (1086,1040) Calculate Precise Domain Begin
1236.19/1087.19 c (1086,1040) 0 values are removed by re-calculation
1236.19/1087.19 c (1086,1040) Calculate Precise Domain End
1236.58/1087.54 c (1087,1040) CSP: 984 int (0 aux), 999016 bool (999000 aux), 330613 ctr, max domain size 691
1236.58/1087.54 c (1087,1040) Heap : 7195 MiB used (max 10773 MiB), NonHeap : 26 MiB used (max 0 MiB)
1236.58/1087.54 c (1087,1040) CSPinCNF to SatSolver Begin
1239.91/1089.25 c (1088,1042) 33062 (10 %) CSP clauses are encoded (0 SAT variables, 137932 SAT clauses)
1240.27/1089.50 c (1088,1042) 66123 (20 %) CSP clauses are encoded (0 SAT variables, 170993 SAT clauses)
1240.47/1089.73 c (1089,1042) 99184 (30 %) CSP clauses are encoded (0 SAT variables, 204054 SAT clauses)
1245.40/1091.17 c (1090,1043) 132246 (40 %) CSP clauses are encoded (0 SAT variables, 237116 SAT clauses)
1245.59/1091.39 c (1090,1043) 165307 (50 %) CSP clauses are encoded (0 SAT variables, 270177 SAT clauses)
1245.89/1091.60 c (1091,1043) 198368 (60 %) CSP clauses are encoded (0 SAT variables, 303238 SAT clauses)
1246.09/1091.82 c (1091,1043) 231430 (70 %) CSP clauses are encoded (0 SAT variables, 336300 SAT clauses)
1246.30/1092.04 c (1091,1043) 264491 (80 %) CSP clauses are encoded (0 SAT variables, 369361 SAT clauses)
1246.49/1092.26 c (1091,1044) 297552 (90 %) CSP clauses are encoded (0 SAT variables, 402422 SAT clauses)
1246.69/1092.48 c (1091,1044) 330613 (100 %) CSP clauses are encoded (0 SAT variables, 435483 SAT clauses)
1246.69/1092.48 c (1091,1044) CSPinCNF to SatSolver End
1246.69/1092.48 c (1091,1044) Heap : 7667 MiB used (max 10819 MiB), NonHeap : 29 MiB used (max 0 MiB)
1246.69/1092.48 c (1091,1044) 212544 bool, 435484 clause
1246.69/1092.48 c (1091,1044) Export Begin
1247.02/1092.63 c (1092,1044) Export to HOME/scop-6423-serial-file.bin
1247.02/1092.63 c (1092,1044) Export End
1247.02/1092.63 c (1092,1044) Export File Size: 0.16 MB
1247.02/1092.63 c (1092,1044) 94,98,255,1085,1086,1087,1091,STOP-AFTER(DIMACS)
1247.02/1092.63 c END-Prog: Thu Sep 12 14:50:37 CEST 2019
0.00/1092.70 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6423-serial-file.bin
1247.73/1093.16 c (0,0) Read Serial File Begin
1247.73/1093.16 c (0,0) HOME/scop-6423-serial-file.bin
1248.19/1093.54 c (0,0) Read Serial File End
1248.19/1093.55
1248.19/1093.55 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
1248.19/1093.55 (Solving Process)
1248.19/1093.55
1248.19/1093.58 c BEGIN-Prog: Thu Sep 12 14:50:38 CEST 2019
1248.19/1093.58 c PID: 6642
1248.19/1093.58 c IP: 172.20.3.119
1248.19/1093.58 c HOST: node119.alineos.net
1248.19/1093.58 c (0,0) SatSolver.solve Begin
1248.19/1093.58 c (0,0) HOME/cryptominisat5 HOME/instance-4387879-1568291582.xml-scop-6426.cnf
1248.46/1093.61 c (0,0) c Outputting solution to console
1248.46/1093.61 c (0,0) c CryptoMiniSat version 5.6.8
1248.46/1093.61 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
1248.46/1093.61 c (0,0) c CMS SHA revision GIT-notfound
1248.46/1093.61 c (0,0) c CMS is MIT licensed
1248.46/1093.61 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
1248.46/1093.61 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
1248.46/1093.61 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387879-1568291582.xml-scop-6426.cnf
1248.46/1093.61 c (0,0) c Reading file 'HOME/instance-4387879-1568291582.xml-scop-6426.cnf'
1248.46/1093.61 c (0,0) c -- header says num vars: 212544
1248.46/1093.61 c (0,0) c -- header says num clauses: 435484
1248.60/1093.78 c (0,0) c -- clauses added: 435484
1248.60/1093.78 c (0,0) c -- xor clauses added: 0
1248.60/1093.78 c (0,0) c -- vars added 212544
1248.60/1093.78 c (0,0) c Parsing time: 0.15 s
1248.61/1093.85 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
1248.61/1093.85 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
1248.61/1093.85 c (0,0) c UIP search time : 0.07 (31.06 % time)
1248.61/1093.85 c (0,0) c restarts : 1 (8.00 confls per restart)
1248.61/1093.85 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
1248.61/1093.85 c (0,0) c time : 0.07
1248.61/1093.85 c (0,0) c decisions : 7 (0.00 % random)
1248.61/1093.85 c (0,0) c propagations : 406506
1248.61/1093.85 c (0,0) c decisions/conflicts : 0.88
1248.61/1093.85 c (0,0) c conflicts : 8 (114.31 / sec)
1248.61/1093.85 c (0,0) c conf lits non-minim : 170 (21.25 lit/confl)
1248.61/1093.85 c (0,0) c conf lits final : 8.00
1248.61/1093.85 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
1248.61/1093.85 c (0,0) c red which0 : 3 (37.50 % of confl)
1248.61/1093.85 c (0,0) c props/decision : 0.00
1248.61/1093.85 c (0,0) c props/conflict : 0.00
1248.61/1093.85 c (0,0) c 0-depth assigns : 180903 (85.11 % vars)
1248.61/1093.85 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
1248.61/1093.85 c (0,0) c reduceDB time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c [occur] 0.00 is overhead
1248.61/1093.85 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
1248.61/1093.85 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
1248.61/1093.85 c (0,0) c SCC time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c [scc] new: 0 BP 0M T: 0.00
1248.61/1093.85 c (0,0) c vrep replace time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c vrep tree roots : 0
1248.61/1093.85 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
1248.61/1093.85 c (0,0) c distill time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
1248.61/1093.85 c (0,0) c Conflicts in UIP : 8 (35.51 confl/time_this_thread)
1248.61/1093.85 c (0,0) c Mem used : 57.06 MB
1248.61/1093.85 c (0,0) c Total time (this thread) : 0.23
1248.61/1093.85 c (0,0) s UNSATISFIABLE
1248.61/1093.87 c (0,0) SatSolver.solve End
1248.61/1093.88 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1248.61/1093.88 c (0,0) Show results Begin
1248.61/1093.88 s UNSATISFIABLE
1248.61/1093.88 c (0,0) Show results End
1248.61/1093.88 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1248.61/1093.88 c (0,0) 0,0,STOP-AFTER(ALL)
1248.61/1093.88 c END-Prog: Thu Sep 12 14:50:38 CEST 2019
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 (1068 MiB free)
memory of node 1: 16384 MiB (11789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387879-1568291582/watcher-4387879-1568291582 -o /tmp/evaluation-result-4387879-1568291582/solver-4387879-1568291582 -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-4387879-1568291582.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6423, runsolver pid=6420
[startup+0.10006 s]*
/proc/loadavg: 2.02 2.65 2.79 3/235 6440
/proc/meminfo: memFree=13106684/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
[pid=6426] ppid=6423 vsize=15012696 memory=73204 CPUtime=0.11 cores=1,3,5,7
/proc/6426/stat : 6426 (java) S 6423 6423 3344 0 -1 1077944320 7042 0 0 0 10 1 0 0 20 0 15 0 405073292 15373000704 18301 33554432000 4194304 4196468 140732612607264 140732612589808 139720152518391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
/proc/6426/statm: 3753174 18301 2916 1 0 3715579 0
[pid=6426/tid=6427] ppid=6423 vsize=15012696 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/6426/task/6427/stat : 6427 (java) R 6423 6423 3344 0 -1 4202560 4927 0 0 0 8 1 0 0 20 0 15 0 405073292 15373000704 18367 33554432000 4194304 4196468 140732612607264 139720124312296 139720136598878 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6428] ppid=6423 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6428/stat : 6428 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 18367 33554432000 4194304 4196468 140732612607264 139720156760976 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6429] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 18367 33554432000 4194304 4196468 140732612607264 139718708683552 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073296 15373000704 18367 33554432000 4194304 4196468 140732612607264 139718440248432 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 18367 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) S 6423 6423 3344 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719189129840 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719188077040 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0.01 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) R 6423 6423 3344 0 -1 4202560 441 0 0 0 1 0 0 0 20 0 15 0 405073298 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719187021688 139720131459838 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 18367 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073299 15373000704 18367 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74600 KiB
[startup+0.210969 s]*
/proc/loadavg: 2.02 2.65 2.79 3/235 6440
/proc/meminfo: memFree=13087904/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
[pid=6426] ppid=6423 vsize=15012696 memory=88832 CPUtime=0.25 cores=1,3,5,7
/proc/6426/stat : 6426 (java) S 6423 6423 3344 0 -1 1077944320 12212 0 0 0 22 3 0 0 20 0 15 0 405073292 15373000704 22208 33554432000 4194304 4196468 140732612607264 140732612589808 139720152518391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
/proc/6426/statm: 3753174 22208 2973 1 0 3715579 0
[pid=6426/tid=6427] ppid=6423 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6426/task/6427/stat : 6427 (java) R 6423 6423 3344 0 -1 4202560 9923 0 0 0 18 2 0 0 20 0 15 0 405073292 15373000704 22208 33554432000 4194304 4196468 140732612607264 139720124337632 139720152540317 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6428] ppid=6423 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6428/stat : 6428 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 22208 33554432000 4194304 4196468 140732612607264 139720156760976 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6429] ppid=6423 vsize=15012696 memory=140174119753150 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 22208 33554432000 4194304 4196468 140732612607264 139718708683552 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073296 15373000704 22208 33554432000 4194304 4196468 140732612607264 139718440248432 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 22208 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) S 6423 6423 3344 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 405073298 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719189129840 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) S 6423 6423 3344 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719188077040 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15012696 memory=140174119741056 CPUtime=0.03 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) R 6423 6423 3344 0 -1 4202560 471 0 0 0 3 0 0 0 20 0 15 0 405073298 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719187024752 139720131148385 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 22208 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073299 15373000704 22208 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90228 KiB
[startup+0.310857 s]*
/proc/loadavg: 2.02 2.65 2.79 4/235 6440
/proc/meminfo: memFree=13084864/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
[pid=6426] ppid=6423 vsize=15012696 memory=93088 CPUtime=0.43 cores=1,3,5,7
/proc/6426/stat : 6426 (java) S 6423 6423 3344 0 -1 1077944320 12762 0 0 0 40 3 0 0 20 0 15 0 405073292 15373000704 23272 33554432000 4194304 4196468 140732612607264 140732612589808 139720152518391 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
/proc/6426/statm: 3753174 23272 3067 1 0 3715579 0
[pid=6426/tid=6427] ppid=6423 vsize=15012696 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6426/task/6427/stat : 6427 (java) R 6423 6423 3344 0 -1 4202560 10197 0 0 0 27 2 0 0 20 0 15 0 405073292 15373000704 23272 33554432000 4194304 4196468 140732612607264 139720124332256 139720136626256 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6428] ppid=6423 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6428/stat : 6428 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 23272 33554432000 4194304 4196468 140732612607264 139720156760976 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6429] ppid=6423 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15012696 memory=7367707135548368274 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405073295 15373000704 23272 33554432000 4194304 4196468 140732612607264 139718708683552 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073296 15373000704 23272 33554432000 4194304 4196468 140732612607264 139718440248432 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 23272 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15012696 memory=-7384621950708166502 CPUtime=0.01 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) S 6423 6423 3344 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 405073298 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719189129840 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) S 6423 6423 3344 0 -1 1077944384 138 0 0 0 3 0 0 0 20 0 15 0 405073298 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719188077040 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) S 6423 6423 3344 0 -1 1077944384 596 0 0 0 7 0 0 0 20 0 15 0 405073298 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719187024752 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15373000704 23272 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073299 15373000704 23272 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94484 KiB
[startup+0.70427 s]
/proc/loadavg: 2.02 2.65 2.79 3/235 6440
/proc/meminfo: memFree=13063124/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
[pid=6426] ppid=6423 vsize=15018968 memory=131228 CPUtime=1.03 cores=1,3,5,7
/proc/6426/stat : 6426 (java) S 6423 6423 3344 0 -1 1077944320 20502 0 0 0 97 6 0 0 20 0 15 0 405073292 15379423232 32807 33554432000 4194304 4196468 140732612607264 140732612589808 139720152518391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
/proc/6426/statm: 3754742 32807 3188 1 0 3716091 0
[pid=6426/tid=6427] ppid=6423 vsize=15018968 memory=297312208 CPUtime=0.67 cores=1,3,5,7
/proc/6426/task/6427/stat : 6427 (java) R 6423 6423 3344 0 -1 4202560 17233 0 0 0 63 4 0 0 20 0 15 0 405073292 15379423232 32807 33554432000 4194304 4196468 140732612607264 139720124354512 139720152540317 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6428] ppid=6423 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6428/stat : 6428 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15379423232 32807 33554432000 4194304 4196468 140732612607264 139720156760976 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6429] ppid=6423 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15018968 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15018968 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405073293 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405073295 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405073295 15379423232 32807 33554432000 4194304 4196468 140732612607264 139718708683552 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073296 15379423232 32807 33554432000 4194304 4196468 140732612607264 139718440248432 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15379423232 32807 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15018968 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) R 6423 6423 3344 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 15 0 405073298 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719189121792 139720134167339 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) R 6423 6423 3344 0 -1 4202560 361 0 0 0 8 0 0 0 20 0 15 0 405073298 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719188066512 139720134049620 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15018968 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) R 6423 6423 3344 0 -1 1077944384 843 0 0 0 17 0 0 0 20 0 15 0 405073298 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719187020608 139720152528597 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15379423232 32807 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405073299 15379423232 32807 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132624 KiB
[startup+1.50083 s]
/proc/loadavg: 2.02 2.65 2.79 3/235 6440
/proc/meminfo: memFree=12946960/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 30357 0 0 0 4353 217 0 0 20 0 15 0 405073293 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15027304 memory=1396 CPUtime=45.73 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 26089 0 0 0 4367 206 0 0 20 0 15 0 405073293 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15027304 memory=4872558044660077418 CPUtime=45.76 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 29312 0 0 0 4369 207 0 0 20 0 15 0 405073293 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15027304 memory=776 CPUtime=0.5 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 13681 0 0 0 46 4 0 0 20 0 15 0 405073295 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15027304 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405073295 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139718708683616 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15027304 memory=668 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 405073296 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139718440248448 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15027304 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15027304 memory=1396 CPUtime=5.65 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) R 6423 6423 3344 0 -1 4202560 24295 0 0 0 562 3 0 0 20 0 15 0 405073298 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719189129840 139720133217237 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15027304 memory=4164 CPUtime=5.62 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) R 6423 6423 3344 0 -1 4202560 22807 0 0 0 559 3 0 0 20 0 15 0 405073298 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719188065472 139720134038017 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15027304 memory=1548 CPUtime=1.25 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) R 6423 6423 3344 0 -1 1077944384 12124 0 0 0 122 3 0 0 20 0 15 0 405073298 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719187024752 139720152529538 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15027304 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15027304 memory=7980 CPUtime=0.65 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 788 0 0 0 28 37 0 0 20 0 15 0 405073299 15387959296 2942821 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 1237.86 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11772680 KiB
[startup+1091.2 s]
/proc/loadavg: 2.00 2.04 2.29 4/235 6641
/proc/meminfo: memFree=8731388/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405073291 115843072 349 33554432000 4194304 5098028 140723539850704 140723539847960 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 349 296 221 0 87 0
[pid=6426] ppid=6423 vsize=15027304 memory=11772284 CPUtime=1245.49 cores=1,3,5,7
/proc/6426/stat : 6426 (java) S 6423 6423 3344 0 -1 1077944320 286228 0 0 0 123598 951 0 0 20 0 15 0 405073292 15387959296 2943071 33554432000 4194304 4196468 140732612607264 140732612589808 139720152518391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
/proc/6426/statm: 3756826 2943071 3323 1 0 3717627 0
[pid=6426/tid=6427] ppid=6423 vsize=15027304 memory=1396 CPUtime=1043.57 cores=1,3,5,7
/proc/6426/task/6427/stat : 6427 (java) R 6423 6423 3344 0 -1 4202560 98239 0 0 0 104286 71 0 0 20 0 15 0 405073292 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139720124348880 139719664610222 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6428] ppid=6423 vsize=15027304 memory=3504 CPUtime=46.46 cores=1,3,5,7
/proc/6426/task/6428/stat : 6428 (java) S 6423 6423 3344 0 -1 1077944384 25470 0 0 0 4445 201 0 0 20 0 15 0 405073293 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139720156760976 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6429] ppid=6423 vsize=15027304 memory=37268 CPUtime=46.9 cores=1,3,5,7
/proc/6426/task/6429/stat : 6429 (java) S 6423 6423 3344 0 -1 1077944384 30759 0 0 0 4472 218 0 0 20 0 15 0 405073293 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719985855248 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6430] ppid=6423 vsize=15027304 memory=988 CPUtime=46.92 cores=1,3,5,7
/proc/6426/task/6430/stat : 6430 (java) S 6423 6423 3344 0 -1 1077944384 26546 0 0 0 4485 207 0 0 20 0 15 0 405073293 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719611595920 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6431] ppid=6423 vsize=15027304 memory=2008 CPUtime=46.96 cores=1,3,5,7
/proc/6426/task/6431/stat : 6431 (java) S 6423 6423 3344 0 -1 1077944384 29681 0 0 0 4487 209 0 0 20 0 15 0 405073293 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719610543120 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6432] ppid=6423 vsize=15027304 memory=11772284 CPUtime=0.5 cores=1,3,5,7
/proc/6426/task/6432/stat : 6432 (java) S 6423 6423 3344 0 -1 1077944384 13682 0 0 0 46 4 0 0 20 0 15 0 405073295 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719190182000 139720152529538 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6433] ppid=6423 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6433/stat : 6433 (java) S 6423 6423 3344 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405073295 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139718708683616 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6434] ppid=6423 vsize=15027304 memory=11771504 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6434/stat : 6434 (java) S 6423 6423 3344 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405073296 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139718440248448 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6435] ppid=6423 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6435/stat : 6435 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139718065739856 139720152536987 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6436] ppid=6423 vsize=15027304 memory=9580 CPUtime=6.05 cores=1,3,5,7
/proc/6426/task/6436/stat : 6436 (java) S 6423 6423 3344 0 -1 1077944384 24397 0 0 0 602 3 0 0 20 0 15 0 405073298 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719189129840 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6437] ppid=6423 vsize=15027304 memory=1052 CPUtime=6.08 cores=1,3,5,7
/proc/6426/task/6437/stat : 6437 (java) S 6423 6423 3344 0 -1 1077944384 22980 0 0 0 605 3 0 0 20 0 15 0 405073298 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719188077040 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6438] ppid=6423 vsize=15027304 memory=776 CPUtime=1.31 cores=1,3,5,7
/proc/6426/task/6438/stat : 6438 (java) S 6423 6423 3344 0 -1 1077944384 12287 0 0 0 128 3 0 0 20 0 15 0 405073298 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719187024752 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6439] ppid=6423 vsize=15027304 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/6426/task/6439/stat : 6439 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405073298 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139717567835104 139720152528597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
[pid=6426/tid=6440] ppid=6423 vsize=15027304 memory=37268 CPUtime=0.65 cores=1,3,5,7
/proc/6426/task/6440/stat : 6440 (java) S 6423 6423 3344 0 -1 1077944384 788 0 0 0 28 37 0 0 20 0 15 0 405073299 15387959296 2943071 33554432000 4194304 4196468 140732612607264 139719185971632 139720152529538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20705280 140732612612906 140732612613274 140732612613274 140732612616143 0
Current children cumulated CPU time: 1245.49 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11773680 KiB
[startup+1092.8 s]
/proc/loadavg: 2.00 2.04 2.29 3/235 6641
/proc/meminfo: memFree=8731204/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1476 CPUtime=1247.19 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 583 288602 0 0 0 0 123758 961 20 0 1 0 405073291 115843072 369 33554432000 4194304 5098028 140723539850704 140723539847448 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 1247.19 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+1093.6 s]
/proc/loadavg: 2.00 2.04 2.29 3/235 6656
/proc/meminfo: memFree=20457272/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1476 CPUtime=1247.19 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 583 288602 0 0 0 0 123758 961 20 0 1 0 405073291 115843072 369 33554432000 4194304 5098028 140723539850704 140723539847448 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 369 311 221 0 87 0
[pid=6642] ppid=6423 vsize=7410792 memory=107248 CPUtime=1.27 cores=1,3,5,7
/proc/6642/stat : 6642 (java) S 6423 6423 3344 0 -1 1077944320 20307 0 0 0 119 8 0 0 20 0 15 0 405182562 7588651008 26812 33554432000 4194304 4196468 140720998676656 140720998659200 140038587207415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
/proc/6642/statm: 1852698 26812 3193 1 0 1814042 0
[pid=6642/tid=6643] ppid=6423 vsize=7410792 memory=1232 CPUtime=0.76 cores=1,3,5,7
/proc/6642/task/6643/stat : 6643 (java) R 6423 6423 3344 0 -1 4202560 17095 0 0 0 70 6 0 0 20 0 15 0 405182562 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038559042688 140038568613732 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6644] ppid=6423 vsize=7410792 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405182563 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038591450000 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6645] ppid=6423 vsize=7410792 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405182563 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038072072976 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6646] ppid=6423 vsize=7410792 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405182563 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038071020688 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6647] ppid=6423 vsize=7410792 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6647/stat : 6647 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405182563 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038069967888 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6648] ppid=6423 vsize=7410792 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6648/stat : 6648 (java) S 6423 6423 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405182565 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038033680496 140038587218562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6649] ppid=6423 vsize=7410792 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6649/stat : 6649 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405182565 7588651008 26812 33554432000 4194304 4196468 140720998676656 140037408678688 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6650] ppid=6423 vsize=7410792 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6650/stat : 6650 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405182565 7588651008 26812 33554432000 4194304 4196468 140720998676656 140037140243568 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6651] ppid=6423 vsize=7410792 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6651/stat : 6651 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405182568 7588651008 26812 33554432000 4194304 4196468 140720998676656 140036765734992 140038587226011 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6652] ppid=6423 vsize=7410792 memory=804 CPUtime=0.16 cores=1,3,5,7
/proc/6642/task/6652/stat : 6652 (java) S 6423 6423 3344 0 -1 1077944384 979 0 0 0 16 0 0 0 20 0 15 0 405182568 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038032628336 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6653] ppid=6423 vsize=7410792 memory=2580 CPUtime=0.11 cores=1,3,5,7
/proc/6642/task/6653/stat : 6653 (java) S 6423 6423 3344 0 -1 1077944384 352 0 0 0 11 0 0 0 20 0 15 0 405182568 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038031575536 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6654] ppid=6423 vsize=7410792 memory=1760 CPUtime=0.21 cores=1,3,5,7
/proc/6642/task/6654/stat : 6654 (java) R 6423 6423 3344 0 -1 4202560 549 0 0 0 21 0 0 0 20 0 15 0 405182568 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038030523248 140038566023787 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6655] ppid=6423 vsize=7410792 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6655/stat : 6655 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405182568 7588651008 26812 33554432000 4194304 4196468 140720998676656 140036267830240 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6656] ppid=6423 vsize=7410792 memory=808 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6656/stat : 6656 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405182569 7588651008 26812 33554432000 4194304 4196468 140720998676656 140038029470128 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
Current children cumulated CPU time: 1248.46 s
Current children cumulated vsize: 7523920 KiB
Current children cumulated memory: 108724 KiB
[startup+1093.8 s]
/proc/loadavg: 2.00 2.04 2.29 3/235 6656
/proc/meminfo: memFree=20457272/32770624 swapFree=66939824/67108860
[pid=6423] ppid=6420 vsize=113128 memory=1476 CPUtime=1247.19 cores=1,3,5,7
/proc/6423/stat : 6423 (scop.sh) S 6420 6423 3344 0 -1 4202496 583 288602 0 0 0 0 123758 961 20 0 1 0 405073291 115843072 369 33554432000 4194304 5098028 140723539850704 140723539847448 139770448142972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38895616 140723539858275 140723539858544 140723539858544 140723539861453 0
/proc/6423/statm: 28282 369 311 221 0 87 0
[pid=6642] ppid=6423 vsize=8068440 memory=123020 CPUtime=1.42 cores=1,3,5,7
/proc/6642/stat : 6642 (java) S 6423 6423 3344 0 -1 1077944320 20724 0 0 0 133 9 0 0 20 0 19 0 405182562 8262082560 30755 33554432000 4194304 4196468 140720998676656 140720998659200 140038587207415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
/proc/6642/statm: 2017110 30755 3214 1 0 1978454 0
[pid=6642/tid=6643] ppid=6423 vsize=8068440 memory=3852 CPUtime=0.81 cores=1,3,5,7
/proc/6642/task/6643/stat : 6643 (java) S 6423 6423 3344 0 -1 1077944384 17357 0 0 0 74 7 0 0 20 0 19 0 405182562 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038559047584 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6644] ppid=6423 vsize=8068440 memory=2648 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405182563 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038591450000 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6645] ppid=6423 vsize=8068440 memory=2900 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405182563 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038072072976 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6646] ppid=6423 vsize=8068440 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405182563 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038071020688 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6647] ppid=6423 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6647/stat : 6647 (java) S 6423 6423 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405182563 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038069967888 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6648] ppid=6423 vsize=8068440 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6648/stat : 6648 (java) S 6423 6423 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405182565 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038033680496 140038587218562 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6649] ppid=6423 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6649/stat : 6649 (java) S 6423 6423 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405182565 8262082560 30755 33554432000 4194304 4196468 140720998676656 140037408678688 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6650] ppid=6423 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6650/stat : 6650 (java) S 6423 6423 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405182565 8262082560 30755 33554432000 4194304 4196468 140720998676656 140037140243568 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6651] ppid=6423 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6651/stat : 6651 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405182568 8262082560 30755 33554432000 4194304 4196468 140720998676656 140036765734992 140038587226011 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6652] ppid=6423 vsize=8068440 memory=288230583166042426 CPUtime=0.19 cores=1,3,5,7
/proc/6642/task/6652/stat : 6652 (java) S 6423 6423 3344 0 -1 1077944384 1006 0 0 0 19 0 0 0 20 0 19 0 405182568 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038032628336 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6653] ppid=6423 vsize=8068440 memory=16105857616185767 CPUtime=0.15 cores=1,3,5,7
/proc/6642/task/6653/stat : 6653 (java) S 6423 6423 3344 0 -1 1077944384 396 0 0 0 15 0 0 0 20 0 19 0 405182568 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038031575536 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6654] ppid=6423 vsize=8068440 memory=1808 CPUtime=0.22 cores=1,3,5,7
/proc/6642/task/6654/stat : 6654 (java) S 6423 6423 3344 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 19 0 405182568 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038030523248 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6655] ppid=6423 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6655/stat : 6655 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405182568 8262082560 30755 33554432000 4194304 4196468 140720998676656 140036267830240 140038587217621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
[pid=6642/tid=6656] ppid=6423 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6642/task/6656/stat : 6656 (java) S 6423 6423 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405182569 8262082560 30755 33554432000 4194304 4196468 140720998676656 140038029470128 140038587218562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38567936 140720998683644 140720998683802 140720998683802 140720998686671 0
Current children cumulated CPU time: 1248.61 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124496 KiB
Child status: 0
Real time (s): 1093.89
CPU time (s): 1248.94
CPU user time (s): 1239.19
CPU system time (s): 9.74379
CPU usage (%): 114.174
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11775236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.19
system time used= 9.74379
maximum resident set size= 11774236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32688
involuntary context switches= 2138
# summary of solver processes directly reported to runsolver:
# pid: 6423
# total CPU time (s): 1248.94
# total CPU user time (s): 1239.19
# total CPU system time (s): 9.74379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95834 second user time and 10.9503 second system time
The end