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-9234-serial-file.bin HOME/instance-4388434-1568298485.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 16:27:26 CEST 2019
0.66/0.56 c PID: 9237
0.66/0.56 c IP: 172.20.3.119
0.66/0.56 c HOST: node119.alineos.net
0.66/0.57 c (0,0) Parsing Begin
2.14/1.19 c (0,0) Parsing End
2.44/1.20 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
2.44/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.44/1.20 c (0,0) Constraint Name Generate Begin
2.44/1.21 c (0,0) Ctr:HOME/instance-4388434-1568298485.xml,Add:Le:Num:Or:Var
2.44/1.21 c (0,0) Constraint Name Generate End
2.44/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.44/1.21 c (0,0) CSP to CSPinCNF Begin
2.67/1.34 c (0,0) translated 33 (10%) constraints
2.67/1.37 c (0,0) translated 65 (20%) constraints
2.67/1.39 c (0,0) translated 98 (30%) constraints
2.95/1.41 c (0,0) translated 130 (40%) constraints
2.95/1.42 c (0,0) translated 163 (50%) constraints
2.95/1.43 c (0,0) translated 195 (60%) constraints
2.95/1.43 c (0,0) translated 228 (70%) constraints
2.95/1.44 c (0,0) translated 260 (80%) constraints
2.95/1.45 c (0,0) translated 293 (90%) constraints
2.95/1.46 c (0,0) translated 325 (100%) constraints
2.95/1.46 c (0,0) ===========================================
2.95/1.49 c (0,0) Hybrid: #OE=52, #LE=0
2.95/1.49 c (0,0) Hybrid
2.95/1.49 c (0,0) ===========================================
2.95/1.50 c (0,0) translated 33 (10%) constraints
3.27/1.50 c (0,0) translated 65 (20%) constraints
3.27/1.51 c (0,0) translated 98 (30%) constraints
3.27/1.52 c (0,0) translated 130 (40%) constraints
3.27/1.52 c (0,0) translated 163 (50%) constraints
3.27/1.53 c (0,0) translated 195 (60%) constraints
3.27/1.53 c (0,0) translated 228 (70%) constraints
3.27/1.53 c (0,0) translated 260 (80%) constraints
3.27/1.54 c (0,0) translated 293 (90%) constraints
3.27/1.54 c (1,0) translated 325 (100%) constraints
3.27/1.54 c (1,1) CSP to CSPinCNF End
3.27/1.54 c (1,1) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
3.27/1.54 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.54 c (1,1) CSPinCNF Propagation Begin
3.27/1.57 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.27/1.57 c (1,1) CSPinCNF Propagation End
3.27/1.57 c (1,1) CSP: 52 int (0 aux), 0 bool (0 aux), 325 ctr, max domain size 80
3.27/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.27/1.58 c (1,1) Hybrid: #OE=52, #LE=0
3.27/1.58 c (1,1) Simplify CSPinCNF Begin
3.56/1.68 c (1,1) Simplify CSPinCNF End
3.56/1.68 c (1,1) CSP: 52 int (0 aux), 1300 bool (1300 aux), 1625 ctr, max domain size 80
3.56/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.56/1.68 c (1,1) Calculate Precise Domain Begin
3.56/1.68 c (1,1) 0 values are removed by re-calculation
3.56/1.68 c (1,1) Calculate Precise Domain End
3.56/1.68 c (1,1) CSP: 52 int (0 aux), 1300 bool (1300 aux), 1625 ctr, max domain size 80
3.56/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.56/1.68 c (1,1) CSPinCNF to SatSolver Begin
4.43/1.96 c (1,1) 163 (10 %) CSP clauses are encoded (0 SAT variables, 12281 SAT clauses)
4.76/2.06 c (1,1) 325 (20 %) CSP clauses are encoded (0 SAT variables, 20719 SAT clauses)
5.08/2.12 c (1,1) 488 (30 %) CSP clauses are encoded (0 SAT variables, 28788 SAT clauses)
5.08/2.18 c (1,1) 650 (40 %) CSP clauses are encoded (0 SAT variables, 36701 SAT clauses)
5.36/2.22 c (1,1) 813 (50 %) CSP clauses are encoded (0 SAT variables, 44262 SAT clauses)
5.36/2.26 c (1,1) 975 (60 %) CSP clauses are encoded (0 SAT variables, 51425 SAT clauses)
5.36/2.29 c (1,1) 1138 (70 %) CSP clauses are encoded (0 SAT variables, 58216 SAT clauses)
5.57/2.32 c (1,1) 1300 (80 %) CSP clauses are encoded (0 SAT variables, 64495 SAT clauses)
5.57/2.35 c (1,1) 1463 (90 %) CSP clauses are encoded (0 SAT variables, 70297 SAT clauses)
5.57/2.37 c (1,1) 1625 (100 %) CSP clauses are encoded (0 SAT variables, 75200 SAT clauses)
5.57/2.37 c (1,1) CSPinCNF to SatSolver End
5.57/2.37 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.57/2.37 c (1,1) 4758 bool, 75231 clause
5.57/2.37 c (1,1) Export Begin
5.77/2.45 c (1,1) Export to HOME/scop-9234-serial-file.bin
5.77/2.45 c (1,1) Export End
5.77/2.46 c (1,1) Export File Size: 0.01 MB
5.77/2.46 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.77/2.46 c END-Prog: Thu Sep 12 16:27:28 CEST 2019
5.77/2.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9234-serial-file.bin
5.91/2.94 c (0,0) Read Serial File Begin
5.91/2.94 c (0,0) HOME/scop-9234-serial-file.bin
6.76/3.13 c (0,0) Read Serial File End
6.76/3.15
6.76/3.15 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.76/3.15 (Solving Process)
6.76/3.15
6.76/3.17 c BEGIN-Prog: Thu Sep 12 16:27:29 CEST 2019
6.76/3.17 c PID: 9252
6.76/3.17 c IP: 172.20.3.119
6.76/3.17 c HOST: node119.alineos.net
6.76/3.17 c (0,0) SatSolver.solve Begin
6.76/3.17 c (0,0) HOME/cryptominisat5 HOME/instance-4388434-1568298485.xml-scop-9237.cnf
6.92/3.20 c (0,0) c Outputting solution to console
6.92/3.20 c (0,0) c CryptoMiniSat version 5.6.8
6.92/3.20 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
6.92/3.20 c (0,0) c CMS SHA revision GIT-notfound
6.92/3.20 c (0,0) c CMS is MIT licensed
6.92/3.20 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
6.92/3.20 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
6.92/3.20 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388434-1568298485.xml-scop-9237.cnf
6.92/3.20 c (0,0) c Reading file 'HOME/instance-4388434-1568298485.xml-scop-9237.cnf'
6.92/3.20 c (0,0) c -- header says num vars: 4758
6.92/3.20 c (0,0) c -- header says num clauses: 75231
6.92/3.23 c (0,0) c -- clauses added: 75231
6.92/3.23 c (0,0) c -- xor clauses added: 0
6.92/3.23 c (0,0) c -- vars added 4758
6.92/3.23 c (0,0) c Parsing time: 0.02 s
6.92/3.23 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
6.92/3.23 c (0,0) c [distill] long cls tried: 0/0 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
7.02/3.34 c (0,0) c [distill] long cls tried: 34/34 cl-short:34 lit-r:3 T: 0.00 T-out: N T-r: 99.99%
7.02/3.43 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
7.02/3.43 c (0,0) c UIP search time : 0.21 (89.11 % time)
7.02/3.43 c (0,0) c restarts : 39 (153.18 confls per restart)
7.02/3.43 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
7.02/3.43 c (0,0) c time : 0.21
7.02/3.43 c (0,0) c decisions : 23800 (0.00 % random)
7.02/3.43 c (0,0) c propagations : 1030820
7.02/3.43 c (0,0) c decisions/conflicts : 3.98
7.02/3.43 c (0,0) c conflicts : 5974 (28855.16 / sec)
7.02/3.43 c (0,0) c conf lits non-minim : 164372 (27.51 lit/confl)
7.02/3.43 c (0,0) c conf lits final : 23.66
7.02/3.43 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
7.02/3.43 c (0,0) c red which0 : 73 (1.22 % of confl)
7.02/3.43 c (0,0) c props/decision : 0.00
7.02/3.43 c (0,0) c props/conflict : 0.00
7.02/3.43 c (0,0) c 0-depth assigns : 0 (0.00 % vars)
7.02/3.43 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
7.02/3.43 c (0,0) c reduceDB time : 0.00 (0.00 % time)
7.02/3.43 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
7.02/3.43 c (0,0) c [occur] 0.00 is overhead
7.02/3.43 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
7.02/3.43 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
7.02/3.43 c (0,0) c SCC time : 0.00 (0.00 % time)
7.02/3.43 c (0,0) c [scc] new: 0 BP 0M T: 0.00
7.02/3.43 c (0,0) c vrep replace time : 0.00 (0.00 % time)
7.02/3.43 c (0,0) c vrep tree roots : 0
7.02/3.43 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
7.02/3.43 c (0,0) c distill time : 0.00 (0.43 % time)
7.02/3.43 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
7.02/3.43 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
7.02/3.43 c (0,0) c Conflicts in UIP : 5974 (25712.76 confl/time_this_thread)
7.02/3.43 c (0,0) c Mem used : 12.56 MB
7.02/3.43 c (0,0) c Total time (this thread) : 0.23
7.02/3.43 c (0,0) s SATISFIABLE
7.02/3.50 c (0,0) SatSolver.solve End
7.02/3.50 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.02/3.50 c (0,0) Show results Begin
7.45/3.59 c (0,0) x[0] = 44
7.45/3.59 c (0,0) x[1] = 21
7.45/3.59 c (0,0) x[2] = 65
7.45/3.59 c (0,0) x[3] = 40
7.45/3.59 c (0,0) x[4] = 65
7.45/3.59 c (0,0) x[5] = 1
7.45/3.59 c (0,0) x[6] = 0
7.45/3.59 c (0,0) x[7] = 71
7.45/3.59 c (0,0) x[8] = 56
7.45/3.59 c (0,0) x[9] = 44
7.45/3.59 c (0,0) x[10] = 45
7.45/3.59 c (0,0) x[11] = 45
7.45/3.59 c (0,0) x[12] = 45
7.45/3.59 c (0,0) x[13] = 7
7.45/3.59 c (0,0) x[14] = 25
7.45/3.59 c (0,0) x[15] = 38
7.45/3.59 c (0,0) x[16] = 40
7.45/3.59 c (0,0) x[17] = 20
7.45/3.59 c (0,0) x[18] = 25
7.45/3.59 c (0,0) x[19] = 0
7.45/3.59 c (0,0) x[20] = 0
7.45/3.59 c (0,0) x[21] = 58
7.45/3.59 c (0,0) x[22] = 57
7.45/3.59 c (0,0) x[23] = 21
7.45/3.59 c (0,0) x[24] = 0
7.45/3.59 c (0,0) x[25] = 54
7.45/3.59 c (0,0) y[0] = 38
7.45/3.59 c (0,0) y[1] = 54
7.45/3.59 c (0,0) y[2] = 71
7.45/3.59 c (0,0) y[3] = 16
7.45/3.59 c (0,0) y[4] = 74
7.45/3.59 c (0,0) y[5] = 66
7.45/3.59 c (0,0) y[6] = 72
7.45/3.59 c (0,0) y[7] = 71
7.45/3.59 c (0,0) y[8] = 71
7.45/3.59 c (0,0) y[9] = 16
7.45/3.59 c (0,0) y[10] = 69
7.45/3.59 c (0,0) y[11] = 57
7.45/3.59 c (0,0) y[12] = 26
7.45/3.59 c (0,0) y[13] = 66
7.45/3.59 c (0,0) y[14] = 41
7.45/3.59 c (0,0) y[15] = 0
7.45/3.59 c (0,0) y[16] = 39
7.45/3.59 c (0,0) y[17] = 0
7.45/3.59 c (0,0) y[18] = 20
7.45/3.59 c (0,0) y[19] = 0
7.45/3.59 c (0,0) y[20] = 45
7.45/3.59 c (0,0) y[21] = 26
7.45/3.59 c (0,0) y[22] = 48
7.45/3.59 c (0,0) y[23] = 56
7.45/3.59 c (0,0) y[24] = 20
7.45/3.59 c (0,0) y[25] = 0
7.45/3.59 s SATISFIABLE
7.45/3.59 v <instantiation>
7.45/3.59 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25]</list>
7.45/3.59 v <values>44 21 65 40 65 1 0 71 56 44 45 45 45 7 25 38 40 20 25 0 0 58 57 21 0 54 38 54 71 16 74 66 72 71 71 16 69 57 26 66 41 0 39 0 20 0 45 26 48 56 20 0</values>
7.45/3.59 v </instantiation>
7.45/3.59 c (0,0) Show results End
7.45/3.59 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
7.45/3.59 c (0,0) 0,0,STOP-AFTER(ALL)
7.45/3.59 c END-Prog: Thu Sep 12 16:27:30 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 (4822 MiB free)
memory of node 1: 16384 MiB (55 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388434-1568298485/watcher-4388434-1568298485 -o /tmp/evaluation-result-4388434-1568298485/solver-4388434-1568298485 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4193 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388434-1568298485.xml
running on 4 cores: 0,2,4,6
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=9234, runsolver pid=9231
[startup+0.100167 s]*
/proc/loadavg: 2.16 2.14 2.12 3/229 9251
/proc/meminfo: memFree=4932316/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405763456 115843072 349 33554432000 4194304 5098028 140731269231296 140731269228552 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 349 296 221 0 87 0
[pid=9237] ppid=9234 vsize=15012696 memory=74256 CPUtime=0.12 cores=0,2,4,6
/proc/9237/stat : 9237 (java) S 9234 9234 3344 0 -1 1077944320 6291 0 0 0 10 2 0 0 20 0 15 0 405763456 15373000704 18564 33554432000 4194304 4196468 140731461089008 140731461071552 140142313090807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
/proc/9237/statm: 3753174 18564 2937 1 0 3715579 0
[pid=9237/tid=9238] ppid=9234 vsize=15012696 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/9237/task/9238/stat : 9238 (java) R 9234 9234 3344 0 -1 4202560 4106 0 0 0 8 1 0 0 20 0 15 0 405763456 15373000704 18564 33554432000 4194304 4196468 140731461089008 140142284881976 140142313112733 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9239] ppid=9234 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9239/stat : 9239 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 18564 33554432000 4194304 4196468 140731461089008 140142317333008 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9240] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9240/stat : 9240 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 18564 33554432000 4194304 4196468 140731461089008 140142108416656 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9241] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9241/stat : 9241 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 18564 33554432000 4194304 4196468 140731461089008 140142107363600 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9242] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9242/stat : 9242 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 18564 33554432000 4194304 4196468 140731461089008 140142106311056 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9243] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9243/stat : 9243 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763459 15373000704 18564 33554432000 4194304 4196468 140731461089008 140141652683504 140142313101954 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9244] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9244/stat : 9244 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 18564 33554432000 4194304 4196468 140731461089008 140140924102304 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9245] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9245/stat : 9245 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 18564 33554432000 4194304 4196468 140731461089008 140140689220848 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9246] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9246/stat : 9246 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 18564 33554432000 4194304 4196468 140731461089008 140140314712528 140142313109403 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9247] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9247/stat : 9247 (java) S 9234 9234 3344 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 18564 33554432000 4194304 4196468 140731461089008 140141651630320 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9248] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9248/stat : 9248 (java) S 9234 9234 3344 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 18564 33554432000 4194304 4196468 140731461089008 140141650577776 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9249] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0.01 cores=0,2,4,6
/proc/9237/task/9249/stat : 9249 (java) R 9234 9234 3344 0 -1 4202560 423 0 0 0 1 0 0 0 20 0 15 0 405763462 15373000704 18564 33554432000 4194304 4196468 140731461089008 140141649521592 140142313112154 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9250] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9250/stat : 9250 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 18564 33554432000 4194304 4196468 140731461089008 140139816806752 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9251] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9251/stat : 9251 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 18564 33554432000 4194304 4196468 140731461089008 140141648473136 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75652 KiB
[startup+0.211009 s]*
/proc/loadavg: 2.16 2.14 2.12 3/229 9251
/proc/meminfo: memFree=4888984/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405763456 115843072 349 33554432000 4194304 5098028 140731269231296 140731269228552 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 349 296 221 0 87 0
[pid=9237] ppid=9234 vsize=15012696 memory=89116 CPUtime=0.24 cores=0,2,4,6
/proc/9237/stat : 9237 (java) S 9234 9234 3344 0 -1 1077944320 11351 0 0 0 21 3 0 0 20 0 15 0 405763456 15373000704 22279 33554432000 4194304 4196468 140731461089008 140731461071552 140142313090807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
/proc/9237/statm: 3753174 22279 2940 1 0 3715579 0
[pid=9237/tid=9238] ppid=9234 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9237/task/9238/stat : 9238 (java) R 9234 9234 3344 0 -1 4202560 9104 0 0 0 17 3 0 0 20 0 15 0 405763456 15373000704 22279 33554432000 4194304 4196468 140731461089008 140142284895184 140142313112733 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9239] ppid=9234 vsize=15012696 memory=11077 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9239/stat : 9239 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 22279 33554432000 4194304 4196468 140731461089008 140142317333008 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9240] ppid=9234 vsize=15012696 memory=2960711 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9240/stat : 9240 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 22279 33554432000 4194304 4196468 140731461089008 140142108416656 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9241] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9241/stat : 9241 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 22279 33554432000 4194304 4196468 140731461089008 140142107363600 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9242] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9242/stat : 9242 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 22279 33554432000 4194304 4196468 140731461089008 140142106311056 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9243] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9243/stat : 9243 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763459 15373000704 22279 33554432000 4194304 4196468 140731461089008 140141652683504 140142313101954 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9244] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9244/stat : 9244 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 22279 33554432000 4194304 4196468 140731461089008 140140924102304 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9245] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9245/stat : 9245 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 22279 33554432000 4194304 4196468 140731461089008 140140689220848 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9246] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9246/stat : 9246 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 22279 33554432000 4194304 4196468 140731461089008 140140314712528 140142313109403 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9247] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9247/stat : 9247 (java) S 9234 9234 3344 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 22279 33554432000 4194304 4196468 140731461089008 140141651630320 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9248] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9248/stat : 9248 (java) S 9234 9234 3344 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 22279 33554432000 4194304 4196468 140731461089008 140141650577776 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9249] ppid=9234 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9237/task/9249/stat : 9249 (java) R 9234 9234 3344 0 -1 4202560 431 0 0 0 2 0 0 0 20 0 15 0 405763462 15373000704 22279 33554432000 4194304 4196468 140731461089008 140141649524720 140142297330912 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9250] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9250/stat : 9250 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 22279 33554432000 4194304 4196468 140731461089008 140139816806752 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9251] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9251/stat : 9251 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 22279 33554432000 4194304 4196468 140731461089008 140141648473136 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90512 KiB
[startup+0.312487 s]*
/proc/loadavg: 2.16 2.14 2.12 3/229 9251
/proc/meminfo: memFree=4888128/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405763456 115843072 349 33554432000 4194304 5098028 140731269231296 140731269228552 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 349 296 221 0 87 0
[pid=9237] ppid=9234 vsize=15012696 memory=92724 CPUtime=0.44 cores=0,2,4,6
/proc/9237/stat : 9237 (java) S 9234 9234 3344 0 -1 1077944320 11705 0 0 0 40 4 0 0 20 0 15 0 405763456 15373000704 23181 33554432000 4194304 4196468 140731461089008 140731461071552 140142313090807 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
/proc/9237/statm: 3753174 23181 3060 1 0 3715579 0
[pid=9237/tid=9238] ppid=9234 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/9237/task/9238/stat : 9238 (java) R 9234 9234 3344 0 -1 4202560 9286 0 0 0 27 3 0 0 20 0 15 0 405763456 15373000704 23181 33554432000 4194304 4196468 140731461089008 140142284894032 140142293366179 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9239] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9239/stat : 9239 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 23181 33554432000 4194304 4196468 140731461089008 140142317333008 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9240] ppid=9234 vsize=15012696 memory=14976693637808378 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9240/stat : 9240 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 23181 33554432000 4194304 4196468 140731461089008 140142108416656 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9241] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9241/stat : 9241 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 23181 33554432000 4194304 4196468 140731461089008 140142107363600 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9242] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9242/stat : 9242 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763458 15373000704 23181 33554432000 4194304 4196468 140731461089008 140142106311056 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9243] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9243/stat : 9243 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763459 15373000704 23181 33554432000 4194304 4196468 140731461089008 140141652683504 140142313101954 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9244] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9244/stat : 9244 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 23181 33554432000 4194304 4196468 140731461089008 140140924102304 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9245] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9245/stat : 9245 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763460 15373000704 23181 33554432000 4194304 4196468 140731461089008 140140689220848 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9246] ppid=9234 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9246/stat : 9246 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763462 15373000704 23181 33554432000 4194304 4196468 140731461089008 140140314712528 140142313109403 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9247] ppid=9234 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9237/task/9247/stat : 9247 (java) S 9234 9234 3344 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 405763462 15373000704 23181 33554432000 4194304 4196468 140731461089008 140141651630320 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9248] ppid=9234 vsize=15012696 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9237/task/9248/stat : 9248 (java) S 9234 9234 3344 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 15 0 405763462 15373000704 23181 33554432000 4194304 4196468 140731461089008 140141650577776 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9249] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0.07 cores=0,2,4,6
/proc/9237/task/9249/stat : 9249 (java) S 9234 9234 3344 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 15 0 405763462 15373000704 23181 33554432000 4194304 4196468 140731461089008 140141649524720 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9250] ppid=9234 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9250/stat : 9250 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 23181 33554432000 4194304 4196468 140731461089008 140139816806752 140142313101013 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9251] ppid=9234 vsize=15012696 memory=140117263021696 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9251/stat : 9251 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763463 15373000704 23181 33554432000 4194304 4196468 140731461089008 140141648473136 140142313101954 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94120 KiB
[startup+0.709761 s]
/proc/loadavg: 2.16 2.14 2.12 3/229 9251
/proc/meminfo: memFree=4870772/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405763456 115843072 349 33554432000 4194304 5098028 140731269231296 140731269228552 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 349 296 221 0 87 0
[pid=9237] ppid=9234 vsize=15021092 memory=130288 CPUtime=1.02 cores=0,2,4,6
/proc/9237/stat : 9237 (java) S 9234 9234 3344 0 -1 1077944320 19303 0 0 0 95 7 0 0 20 0 15 0 405763456 15381598208 32572 33554432000 4194304 4196468 140731461089008 140731461071552 140142313090807 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
/proc/9237/statm: 3755273 32572 3201 1 0 3716603 0
[pid=9237/tid=9238] ppid=9234 vsize=15021092 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/9237/task/9238/stat : 9238 (java) R 9234 9234 3344 0 -1 4202560 16343 0 0 0 63 5 0 0 20 0 15 0 405763456 15381598208 32572 33554432000 4194304 4196468 140731461089008 140142284922544 140142297171294 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9239] ppid=9234 vsize=15021092 memory=520 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9239/stat : 9239 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15381598208 32572 33554432000 4194304 4196468 140731461089008 140142317333008 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9240] ppid=9234 vsize=15021092 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9240/stat : 9240 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15381598208 32572 33554432000 4194304 4196468 140731461089008 140142108416656 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9241] ppid=9234 vsize=15021092 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9241/stat : 9241 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15381598208 32572 33554432000 4194304 4196468 140731461089008 140142107363600 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9242] ppid=9234 vsize=15021092 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9242/stat : 9242 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763458 15381598208 32572 33554432000 4194304 4196468 140731461089008 140142106311056 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9243] ppid=9234 vsize=15021092 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9243/stat : 9243 (java) S 9234 9234 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405763459 15381598208 32572 33554432000 4194304 4196468 140731461089008 140141652683504 140142313101954 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9244] ppid=9234 vsize=15021092 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9244/stat : 9244 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763460 15381598208 32572 33554432000 4194304 4196468 140731461089008 140140924102304 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9245] ppid=9234 vsize=15021092 memory=804 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9245/stat : 9245 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763460 15381598208 32572 33554432000 4194304 4196468 140731461089008 140140689220848 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9246] ppid=9234 vsize=15021092 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9246/stat : 9246 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763462 15381598208 32572 33554432000 4194304 4196468 140731461089008 140140314712528 140142313109403 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9247] ppid=9234 vsize=15021092 memory=7453282923444726100 CPUtime=0.08 cores=0,2,4,6
/proc/9237/task/9247/stat : 9247 (java) S 9234 9234 3344 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 15 0 405763462 15381598208 32572 33554432000 4194304 4196468 140731461089008 140141651630320 140142313101954 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9248] ppid=9234 vsize=15021092 memory=5792825802846453857 CPUtime=0.07 cores=0,2,4,6
/proc/9237/task/9248/stat : 9248 (java) R 9234 9234 3344 0 -1 4202560 420 0 0 0 7 0 0 0 20 0 15 0 405763462 15381598208 32572 33554432000 4194304 4196468 140731461089008 140141650566464 140142298017397 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9249] ppid=9234 vsize=15021092 memory=8514726395715219869 CPUtime=0.16 cores=0,2,4,6
/proc/9237/task/9249/stat : 9249 (java) S 9234 9234 3344 0 -1 1077944384 584 0 0 0 16 0 0 0 20 0 15 0 405763462 15381598208 32572 33554432000 4194304 4196468 140731461089008 140141649524720 140142313101954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9250] ppid=9234 vsize=15021092 memory=7811885441042836050 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9250/stat : 9250 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763463 15381598208 32572 33554432000 4194304 4196468 140731461089008 140139816806752 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9251] ppid=9234 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9251/stat : 9251 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763463 15381598208 32572 33554432000 4194304 4196468 140731461089008 140141648473136 140142313101954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131684 KiB
[startup+1.50676 s]
/proc/loadavg: 2.16 2.14 2.12 5/229 9251
/proc/meminfo: memFree=4854624/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405763456 115843072 349 33554432000 4194304 5098028 140731269231296 140731269228552 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/9237/task/9238/stat : 9238 (java) R 9234 9234 3344 0 -1 4202560 17449 0 0 0 139 8 0 0 20 0 15 0 405763456 15383695360 47611 33554432000 4194304 4196468 140731461089008 140142284920200 140141784556483 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9239] ppid=9234 vsize=15023140 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9239/stat : 9239 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15383695360 47611 33554432000 4194304 4196468 140731461089008 140142317333008 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9240] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9240/stat : 9240 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15383695360 47611 33554432000 4194304 4196468 140731461089008 140142108416656 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9241] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9241/stat : 9241 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763458 15383695360 47611 33554432000 4194304 4196468 140731461089008 140142107363600 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9242] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9242/stat : 9242 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763458 15383695360 47611 33554432000 4194304 4196468 140731461089008 140142106311056 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9243] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9243/stat : 9243 (java) S 9234 9234 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405763459 15383695360 47611 33554432000 4194304 4196468 140731461089008 140141652683504 140142313101954 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9244] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9244/stat : 9244 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763460 15383695360 47611 33554432000 4194304 4196468 140731461089008 140140924102304 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9245] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9245/stat : 9245 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763460 15383695360 47611 33554432000 4194304 4196468 140731461089008 140140689220848 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9246] ppid=9234 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9246/stat : 9246 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763462 15383695360 47611 33554432000 4194304 4196468 140731461089008 140140314712528 140142313109403 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9247] ppid=9234 vsize=15023140 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/9237/task/9247/stat : 9247 (java) R 9234 9234 3344 0 -1 4202560 1376 0 0 0 55 0 0 0 20 0 15 0 405763462 15383695360 47611 33554432000 4194304 4196468 140731461089008 140141651630320 140142298785856 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9248] ppid=9234 vsize=15023140 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/9237/task/9248/stat : 9248 (java) R 9234 9234 3344 0 -1 4202560 970 0 0 0 53 0 0 0 20 0 15 0 405763462 15383695360 47611 33554432000 4194304 4196468 140731461089008 140141650567696 140142291507122 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9249] ppid=9234 vsize=15023140 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/9237/task/9249/stat : 9249 (java) S 9234 9234 3344 0 -1 1077944384 2035 0 0 0 67 1 0 0 20 0 15 0 405763462 15383695360 47611 33554432000 4194304 4196468 140731461089008 140141649524720 140142313101954 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9250] ppid=9234 vsize=15023140 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9250/stat : 9250 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763463 15383695360 47611 33554432000 4194304 4196468 140731461089008 140139816806752 140142313101013 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
[pid=9237/tid=9251] ppid=9234 vsize=15023140 memory=37404 CPUtime=0 cores=0,2,4,6
/proc/9237/task/9251/stat : 9251 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763463 15383695360 47611 33554432000 4194304 4196468 140731461089008 140141648473136 140142313101954 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15400960 140731461096234 140731461096602 140731461096602 140731461099471 0
Current children cumulated CPU time: 3.27 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 191840 KiB
[startup+3.11024 s]
/proc/loadavg: 2.31 2.17 2.13 3/229 9266
/proc/meminfo: memFree=4908280/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1476 CPUtime=5.91 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 584 25723 0 0 0 0 573 18 20 0 1 0 405763456 115843072 369 33554432000 4194304 5098028 140731269231296 140731269228040 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 369 311 221 0 87 0
[pid=9252] ppid=9234 vsize=7408652 memory=97228 CPUtime=0.85 cores=0,2,4,6
/proc/9252/stat : 9252 (java) S 9234 9234 3344 0 -1 1077944320 18253 0 0 0 79 6 0 0 20 0 15 0 405763704 7586459648 24307 33554432000 4194304 4196468 140730592710192 140730592692736 140035034423031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
/proc/9252/statm: 1852163 24307 3073 1 0 1814042 0
[pid=9252/tid=9253] ppid=9234 vsize=7408652 memory=-1 CPUtime=0.61 cores=0,2,4,6
/proc/9252/task/9253/stat : 9253 (java) R 9234 9234 3344 0 -1 4202560 15852 0 0 0 57 4 0 0 20 0 15 0 405763704 7586459648 24307 33554432000 4194304 4196468 140730592710192 140035006258624 140035034444957 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9254] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9254/stat : 9254 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763705 7586459648 24307 33554432000 4194304 4196468 140730592710192 140035038665360 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9255] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9255/stat : 9255 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763705 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034519648784 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9256] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9256/stat : 9256 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763705 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034518595984 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9257] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9257/stat : 9257 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763705 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034517543184 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9258] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9258/stat : 9258 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405763707 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034480827248 140035034434178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9259] ppid=9234 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9259/stat : 9259 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405763707 7586459648 24307 33554432000 4194304 4196468 140730592710192 140033851909664 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9260] ppid=9234 vsize=7408652 memory=20692 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9260/stat : 9260 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763707 7586459648 24307 33554432000 4194304 4196468 140730592710192 140033583474032 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9261] ppid=9234 vsize=7408652 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9261/stat : 9261 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140033208965456 140035034441627 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9262] ppid=9234 vsize=7408652 memory=2116 CPUtime=0.04 cores=0,2,4,6
/proc/9252/task/9262/stat : 9262 (java) S 9234 9234 3344 0 -1 1077944384 452 0 0 0 4 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034479774064 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9263] ppid=9234 vsize=7408652 memory=520 CPUtime=0.03 cores=0,2,4,6
/proc/9252/task/9263/stat : 9263 (java) S 9234 9234 3344 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034478721264 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9264] ppid=9234 vsize=7408652 memory=1560 CPUtime=0.14 cores=0,2,4,6
/proc/9252/task/9264/stat : 9264 (java) R 9234 9234 3344 0 -1 4202560 432 0 0 0 14 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034477664832 140035013049408 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9265] ppid=9234 vsize=7408652 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9265/stat : 9265 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140032711059680 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9266] ppid=9234 vsize=7408652 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9266/stat : 9266 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405763710 7586459648 24307 33554432000 4194304 4196468 140730592710192 140034476616880 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
Current children cumulated CPU time: 6.76 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 98704 KiB
[startup+3.61353 s]
# the end of solver process 9234 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.38945 s, system=0.279566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 2.31 2.17 2.13 3/229 9266
/proc/meminfo: memFree=4908280/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1476 CPUtime=5.91 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 584 25723 0 0 0 0 573 18 20 0 1 0 405763456 115843072 369 33554432000 4194304 5098028 140731269231296 140731269228040 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 369 311 221 0 87 0
[pid=9252] ppid=9234 vsize=7607632 memory=104904 CPUtime=1.01 cores=0,2,4,6
/proc/9252/stat : 9252 (java) S 9234 9234 3344 0 -1 1077944320 19226 0 0 0 95 6 0 0 20 0 17 0 405763704 7790215168 26226 33554432000 4194304 4196468 140730592710192 140730592692736 140035034423031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
/proc/9252/statm: 1901908 26226 3170 1 0 1863252 0
[pid=9252/tid=9253] ppid=9234 vsize=7607632 memory=7805692905689411434 CPUtime=0.7 cores=0,2,4,6
/proc/9252/task/9253/stat : 9253 (java) R 9234 9234 3344 0 -1 1077944384 16599 0 0 0 65 5 0 0 20 0 17 0 405763704 7790215168 26226 33554432000 4194304 4196468 140730592710192 140035006263712 140035034433237 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9254] ppid=9234 vsize=7607632 memory=5792825811789107812 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9254/stat : 9254 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405763705 7790215168 26226 33554432000 4194304 4196468 140730592710192 140035038665360 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9255] ppid=9234 vsize=7607632 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9255/stat : 9255 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405763705 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034519648784 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9256] ppid=9234 vsize=7607632 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9256/stat : 9256 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405763705 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034518595984 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9257] ppid=9234 vsize=7607632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9257/stat : 9257 (java) S 9234 9234 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 405763705 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034517543184 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9258] ppid=9234 vsize=7607632 memory=8318043614351294637 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9258/stat : 9258 (java) S 9234 9234 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 17 0 405763707 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034480827248 140035034434178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9259] ppid=9234 vsize=7607632 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9259/stat : 9259 (java) S 9234 9234 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 405763707 7790215168 26226 33554432000 4194304 4196468 140730592710192 140033851909664 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9260] ppid=9234 vsize=7607632 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9260/stat : 9260 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405763707 7790215168 26226 33554432000 4194304 4196468 140730592710192 140033583474032 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9261] ppid=9234 vsize=7607632 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9261/stat : 9261 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140033208965456 140035034441627 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9262] ppid=9234 vsize=7607632 memory=-4051592751533505334 CPUtime=0.06 cores=0,2,4,6
/proc/9252/task/9262/stat : 9262 (java) R 9234 9234 3344 0 -1 4202560 462 0 0 0 6 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034479774064 140035018430720 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9263] ppid=9234 vsize=7607632 memory=7162739287389797025 CPUtime=0.05 cores=0,2,4,6
/proc/9252/task/9263/stat : 9263 (java) S 9234 9234 3344 0 -1 1077944384 279 0 0 0 5 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034478721264 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9264] ppid=9234 vsize=7607632 memory=6944938067432061290 CPUtime=0.17 cores=0,2,4,6
/proc/9252/task/9264/stat : 9264 (java) R 9234 9234 3344 0 -1 1077944384 532 0 0 0 17 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034477668464 140035034434178 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9265] ppid=9234 vsize=7607632 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9265/stat : 9265 (java) S 9234 9234 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140032711059680 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9266] ppid=9234 vsize=7607632 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9252/task/9266/stat : 9266 (java) S 9234 9234 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 405763710 7790215168 26226 33554432000 4194304 4196468 140730592710192 140034476616880 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
Current children cumulated CPU time: 6.92 s
Current children cumulated vsize: 7720760 KiB
Current children cumulated memory: 106380 KiB
[startup+3.60074 s]
/proc/loadavg: 2.31 2.17 2.13 3/229 9266
/proc/meminfo: memFree=4908280/32770624 swapFree=66939824/67108860
[pid=9234] ppid=9231 vsize=113128 memory=1476 CPUtime=5.91 cores=0,2,4,6
/proc/9234/stat : 9234 (scop.sh) S 9231 9234 3344 0 -1 4202496 584 25723 0 0 0 0 573 18 20 0 1 0 405763456 115843072 369 33554432000 4194304 5098028 140731269231296 140731269228040 140222259196540 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33591296 140731269239651 140731269239920 140731269239920 140731269242829 0
/proc/9234/statm: 28282 369 311 221 0 87 0
[pid=9252] ppid=9234 vsize=7806288 memory=130484 CPUtime=1.71 cores=0,2,4,6
/proc/9252/stat : 9252 (java) S 9234 9234 3344 0 -1 1077944320 21065 3836 0 0 141 7 23 0 20 0 16 0 405763704 7993638912 32621 33554432000 4194304 4196468 140730592710192 140730592692736 140035034423031 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
/proc/9252/statm: 1951572 32621 3220 1 0 1912916 0
[pid=9252/tid=9253] ppid=9234 vsize=7806288 memory=1560 CPUtime=1.07 cores=0,2,4,6
/proc/9252/task/9253/stat : 9253 (java) S 9234 9234 3344 0 -1 1077944384 17139 3836 0 0 79 5 23 0 20 0 16 0 405763704 7993638912 32621 33554432000 4194304 4196468 140730592710192 140035006266512 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9254] ppid=9234 vsize=7806288 memory=924 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9254/stat : 9254 (java) S 9234 9234 3344 0 -1 1077944384 1 3836 0 0 0 0 23 0 20 0 16 0 405763705 7993638912 32621 33554432000 4194304 4196468 140730592710192 140035038665360 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9255] ppid=9234 vsize=7806288 memory=3688 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9255/stat : 9255 (java) S 9234 9234 3344 0 -1 1077944384 2 3836 0 0 0 0 23 0 20 0 16 0 405763705 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034519648784 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9256] ppid=9234 vsize=7806288 memory=8112282956445269571 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9256/stat : 9256 (java) S 9234 9234 3344 0 -1 1077944384 2 3836 0 0 0 0 23 0 20 0 16 0 405763705 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034518595984 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9257] ppid=9234 vsize=7806288 memory=1064 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9257/stat : 9257 (java) S 9234 9234 3344 0 -1 1077944384 2 3836 0 0 0 0 23 0 20 0 16 0 405763705 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034517543184 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9258] ppid=9234 vsize=7806288 memory=14008 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9258/stat : 9258 (java) S 9234 9234 3344 0 -1 1077944384 5 3836 0 0 0 0 23 0 20 0 16 0 405763707 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034480827456 140035034434178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9259] ppid=9234 vsize=7806288 memory=3833329159581529836 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9259/stat : 9259 (java) S 9234 9234 3344 0 -1 1077944384 13 3836 0 0 0 0 23 0 20 0 16 0 405763707 7993638912 32621 33554432000 4194304 4196468 140730592710192 140033851909664 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9260] ppid=9234 vsize=7806288 memory=280234268387536 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9260/stat : 9260 (java) S 9234 9234 3344 0 -1 1077944384 1 3836 0 0 0 0 23 0 20 0 16 0 405763707 7993638912 32621 33554432000 4194304 4196468 140730592710192 140033583474032 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9261] ppid=9234 vsize=7806288 memory=280234268387600 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9261/stat : 9261 (java) S 9234 9234 3344 0 -1 1077944384 23 3836 0 0 0 0 23 0 20 0 16 0 405763710 7993638912 32621 33554432000 4194304 4196468 140730592710192 140033208964224 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9262] ppid=9234 vsize=7806288 memory=280234268387664 CPUtime=0.38 cores=0,2,4,6
/proc/9252/task/9262/stat : 9262 (java) S 9234 9234 3344 0 -1 1077944384 695 3836 0 0 15 0 23 0 20 0 16 0 405763710 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034479758576 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9263] ppid=9234 vsize=7806288 memory=280234268387728 CPUtime=0.34 cores=0,2,4,6
/proc/9252/task/9263/stat : 9263 (java) S 9234 9234 3344 0 -1 1077944384 431 3836 0 0 11 0 23 0 20 0 16 0 405763710 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034478721264 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9264] ppid=9234 vsize=7806288 memory=280234268387792 CPUtime=0.51 cores=0,2,4,6
/proc/9252/task/9264/stat : 9264 (java) S 9234 9234 3344 0 -1 1077944384 811 3836 0 0 28 0 23 0 20 0 16 0 405763710 7993638912 32621 33554432000 4194304 4196468 140730592710192 140034477668464 140035034434178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
[pid=9252/tid=9265] ppid=9234 vsize=7806288 memory=280234268387856 CPUtime=0.23 cores=0,2,4,6
/proc/9252/task/9265/stat : 9265 (java) S 9234 9234 3344 0 -1 1077944384 3 3836 0 0 0 0 23 0 20 0 16 0 405763710 7993638912 32621 33554432000 4194304 4196468 140730592710192 140032711059680 140035034433237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7438336 140730592715772 140730592715930 140730592715930 140730592718799 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 131960 KiB
Child status: 0
Real time (s): 3.61361
CPU time (s): 7.66902
CPU user time (s): 7.38945
CPU system time (s): 0.279566
CPU usage (%): 212.226
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 481092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.38945
system time used= 0.279566
maximum resident set size= 487644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5644
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 9234
# total CPU time (s): 7.66902
# total CPU user time (s): 7.38945
# total CPU system time (s): 0.279566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04965 second user time and 0.078989 second system time
The end