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-9137-serial-file.bin HOME/instance-4388431-1568298480.xml
0.66/0.54
0.66/0.54 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.93/0.88
0.93/0.88 c BEGIN-Prog: Thu Sep 12 16:27:21 CEST 2019
0.93/0.88 c PID: 9140
0.93/0.88 c IP: 172.20.3.119
0.93/0.88 c HOST: node119.alineos.net
0.93/0.88 c (0,0) Parsing Begin
1.99/1.36 c (0,0) Parsing End
1.99/1.36 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
1.99/1.36 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.99/1.36 c (0,0) Constraint Name Generate Begin
1.99/1.37 c (0,0) Ctr:HOME/instance-4388431-1568298480.xml,Add:Le:Num:Or:Var
1.99/1.37 c (0,0) Constraint Name Generate End
1.99/1.37 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.99/1.37 c (0,0) CSP to CSPinCNF Begin
2.54/1.50 c (0,0) translated 28 (10%) constraints
2.54/1.53 c (0,0) translated 56 (20%) constraints
2.54/1.55 c (1,0) translated 83 (30%) constraints
2.54/1.56 c (1,0) translated 111 (40%) constraints
2.54/1.57 c (1,0) translated 138 (50%) constraints
2.54/1.59 c (1,0) translated 166 (60%) constraints
2.54/1.59 c (1,0) translated 194 (70%) constraints
2.81/1.61 c (1,0) translated 221 (80%) constraints
2.81/1.61 c (1,0) translated 249 (90%) constraints
2.81/1.62 c (1,0) translated 276 (100%) constraints
2.81/1.62 c (1,0) ===========================================
2.81/1.64 c (1,0) Hybrid: #OE=48, #LE=0
2.81/1.64 c (1,0) Hybrid
2.81/1.64 c (1,0) ===========================================
2.81/1.65 c (1,0) translated 28 (10%) constraints
2.81/1.66 c (1,0) translated 56 (20%) constraints
2.81/1.66 c (1,0) translated 83 (30%) constraints
2.81/1.67 c (1,0) translated 111 (40%) constraints
2.81/1.67 c (1,0) translated 138 (50%) constraints
2.81/1.68 c (1,0) translated 166 (60%) constraints
2.81/1.68 c (1,0) translated 194 (70%) constraints
2.81/1.68 c (1,0) translated 221 (80%) constraints
2.81/1.69 c (1,0) translated 249 (90%) constraints
2.81/1.69 c (1,0) translated 276 (100%) constraints
2.81/1.69 c (1,0) CSP to CSPinCNF End
2.81/1.69 c (1,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
2.81/1.69 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.07/1.70 c (1,0) CSPinCNF Propagation Begin
3.07/1.72 c (1,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.07/1.72 c (1,0) CSPinCNF Propagation End
3.07/1.72 c (1,0) CSP: 48 int (0 aux), 0 bool (0 aux), 276 ctr, max domain size 71
3.07/1.72 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.07/1.72 c (1,0) Hybrid: #OE=48, #LE=0
3.07/1.72 c (1,0) Simplify CSPinCNF Begin
3.32/1.82 c (1,1) Simplify CSPinCNF End
3.32/1.83 c (1,1) CSP: 48 int (0 aux), 1104 bool (1104 aux), 1380 ctr, max domain size 71
3.32/1.83 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.32/1.83 c (1,1) Calculate Precise Domain Begin
3.32/1.83 c (1,1) 0 values are removed by re-calculation
3.32/1.83 c (1,1) Calculate Precise Domain End
3.32/1.83 c (1,1) CSP: 48 int (0 aux), 1104 bool (1104 aux), 1380 ctr, max domain size 71
3.32/1.83 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.32/1.83 c (1,1) CSPinCNF to SatSolver Begin
3.89/2.07 c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 9344 SAT clauses)
4.23/2.15 c (1,1) 276 (20 %) CSP clauses are encoded (0 SAT variables, 15763 SAT clauses)
4.55/2.21 c (1,1) 414 (30 %) CSP clauses are encoded (0 SAT variables, 21747 SAT clauses)
4.55/2.26 c (1,1) 552 (40 %) CSP clauses are encoded (0 SAT variables, 27611 SAT clauses)
4.83/2.30 c (1,1) 690 (50 %) CSP clauses are encoded (0 SAT variables, 33202 SAT clauses)
4.83/2.33 c (1,1) 828 (60 %) CSP clauses are encoded (0 SAT variables, 38563 SAT clauses)
4.83/2.37 c (1,1) 966 (70 %) CSP clauses are encoded (0 SAT variables, 43601 SAT clauses)
4.83/2.39 c (1,1) 1104 (80 %) CSP clauses are encoded (0 SAT variables, 48201 SAT clauses)
5.14/2.42 c (1,1) 1242 (90 %) CSP clauses are encoded (0 SAT variables, 52417 SAT clauses)
5.14/2.43 c (1,1) 1380 (100 %) CSP clauses are encoded (0 SAT variables, 56002 SAT clauses)
5.14/2.43 c (1,1) CSPinCNF to SatSolver End
5.14/2.43 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.14/2.43 c (1,1) 3912 bool, 56028 clause
5.14/2.43 c (1,1) Export Begin
5.38/2.52 c (1,1) Export to HOME/scop-9137-serial-file.bin
5.38/2.52 c (1,1) Export End
5.38/2.52 c (1,1) Export File Size: 0.01 MB
5.38/2.52 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.38/2.52 c END-Prog: Thu Sep 12 16:27:23 CEST 2019
5.38/2.54 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9137-serial-file.bin
5.44/3.00 c (0,0) Read Serial File Begin
5.44/3.00 c (0,0) HOME/scop-9137-serial-file.bin
6.19/3.20 c (0,0) Read Serial File End
6.35/3.21
6.35/3.21 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.35/3.21 (Solving Process)
6.35/3.21
6.35/3.23 c BEGIN-Prog: Thu Sep 12 16:27:24 CEST 2019
6.35/3.23 c PID: 9155
6.35/3.23 c IP: 172.20.3.119
6.35/3.23 c HOST: node119.alineos.net
6.35/3.24 c (0,0) SatSolver.solve Begin
6.35/3.24 c (0,0) HOME/cryptominisat5 HOME/instance-4388431-1568298480.xml-scop-9140.cnf
6.35/3.27 c (0,0) c Outputting solution to console
6.35/3.27 c (0,0) c CryptoMiniSat version 5.6.8
6.35/3.27 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
6.35/3.27 c (0,0) c CMS SHA revision GIT-notfound
6.35/3.27 c (0,0) c CMS is MIT licensed
6.35/3.27 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.35/3.27 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
6.35/3.27 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388431-1568298480.xml-scop-9140.cnf
6.35/3.27 c (0,0) c Reading file 'HOME/instance-4388431-1568298480.xml-scop-9140.cnf'
6.35/3.27 c (0,0) c -- header says num vars: 3912
6.35/3.27 c (0,0) c -- header says num clauses: 56028
6.35/3.28 c (0,0) c -- clauses added: 56028
6.35/3.28 c (0,0) c -- xor clauses added: 0
6.35/3.28 c (0,0) c -- vars added 3912
6.35/3.28 c (0,0) c Parsing time: 0.02 s
6.35/3.29 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
6.35/3.29 c (0,0) c [distill] long cls tried: 1/1 cl-short:1 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
6.55/3.38 c (0,0) c [distill] long cls tried: 51/50 cl-short:51 lit-r:6 T: 0.00 T-out: N T-r: 99.99%
6.57/3.51 c (0,0) c [distill] long cls tried: 42/91 cl-short:42 lit-r:4 T: 0.00 T-out: N T-r: 99.99%
6.57/3.57 c (0,0) c glue 1 51 8193 3912 51K 4968 3.01 2.92 102 2180 5903 8 22.74 22.72
6.57/3.75 c (0,0) c [distill] long cls tried: 673/764 cl-short:673 lit-r:58 T: 0.03 T-out: N T-r: 99.73%
6.57/3.97 c (1,0) c geom 1 97 16386 3912 51K 4968 3.01 2.92 896 5035 10446 9 23.82 23.81
6.57/4.02 c (1,0) c [distill] long cls tried: 136/899 cl-short:136 lit-r:25 T: 0.01 T-out: N T-r: 99.84%
7.60/4.32 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
7.60/4.32 c (1,0) c UIP search time : 1.03 (97.62 % time)
7.60/4.32 c (1,0) c restarts : 126 (178.40 confls per restart)
7.60/4.32 c (1,0) c blocked restarts : 38 (0.30 per normal restart)
7.60/4.32 c (1,0) c time : 1.03
7.60/4.32 c (1,0) c decisions : 72320 (0.00 % random)
7.60/4.32 c (1,0) c propagations : 3745653
7.60/4.32 c (1,0) c decisions/conflicts : 3.22
7.60/4.32 c (1,0) c conflicts : 22478 (21733.83 / sec)
7.60/4.32 c (1,0) c conf lits non-minim : 646555 (28.76 lit/confl)
7.60/4.32 c (1,0) c conf lits final : 23.99
7.60/4.32 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
7.60/4.32 c (1,0) c red which0 : 275 (1.22 % of confl)
7.60/4.32 c (1,0) c props/decision : 0.00
7.60/4.32 c (1,0) c props/conflict : 0.00
7.60/4.32 c (1,0) c 0-depth assigns : 0 (0.00 % vars)
7.60/4.32 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
7.60/4.32 c (1,0) c reduceDB time : 0.00 (0.09 % time)
7.60/4.33 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
7.60/4.33 c (1,0) c [occur] 0.00 is overhead
7.60/4.33 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
7.60/4.33 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
7.60/4.33 c (1,0) c SCC time : 0.00 (0.00 % time)
7.60/4.33 c (1,0) c [scc] new: 0 BP 0M T: 0.00
7.60/4.33 c (1,0) c vrep replace time : 0.00 (0.00 % time)
7.60/4.33 c (1,0) c vrep tree roots : 0
7.60/4.33 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
7.60/4.33 c (1,0) c distill time : 0.05 (4.53 % time)
7.60/4.33 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
7.60/4.33 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
7.60/4.33 c (1,0) c Conflicts in UIP : 22478 (21216.67 confl/time_this_thread)
7.60/4.33 c (1,0) c Mem used : 14.41 MB
7.60/4.33 c (1,0) c Total time (this thread) : 1.06
7.60/4.33 c (1,0) s SATISFIABLE
7.60/4.38 c (1,0) SatSolver.solve End
7.60/4.38 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.60/4.38 c (1,0) Show results Begin
7.85/4.47 c (1,0) x[0] = 0
7.85/4.47 c (1,0) x[1] = 45
7.85/4.47 c (1,0) x[2] = 44
7.85/4.47 c (1,0) x[3] = 32
7.85/4.47 c (1,0) x[4] = 59
7.85/4.47 c (1,0) x[5] = 53
7.85/4.47 c (1,0) x[6] = 64
7.85/4.47 c (1,0) x[7] = 45
7.85/4.47 c (1,0) x[8] = 40
7.85/4.47 c (1,0) x[9] = 39
7.85/4.47 c (1,0) x[10] = 14
7.85/4.47 c (1,0) x[11] = 25
7.85/4.47 c (1,0) x[12] = 32
7.85/4.47 c (1,0) x[13] = 0
7.85/4.47 c (1,0) x[14] = 0
7.85/4.47 c (1,0) x[15] = 37
7.85/4.47 c (1,0) x[16] = 15
7.85/4.47 c (1,0) x[17] = 53
7.85/4.47 c (1,0) x[18] = 20
7.85/4.47 c (1,0) x[19] = 0
7.85/4.47 c (1,0) x[20] = 0
7.85/4.47 c (1,0) x[21] = 49
7.85/4.47 c (1,0) x[22] = 21
7.85/4.47 c (1,0) x[23] = 47
7.85/4.47 c (1,0) y[0] = 29
7.85/4.47 c (1,0) y[1] = 48
7.85/4.47 c (1,0) y[2] = 29
7.85/4.47 c (1,0) y[3] = 12
7.85/4.47 c (1,0) y[4] = 0
7.85/4.47 c (1,0) y[5] = 1
7.85/4.47 c (1,0) y[6] = 0
7.85/4.47 c (1,0) y[7] = 17
7.85/4.47 c (1,0) y[8] = 52
7.85/4.47 c (1,0) y[9] = 61
7.85/4.47 c (1,0) y[10] = 1
7.85/4.47 c (1,0) y[11] = 0
7.85/4.47 c (1,0) y[12] = 16
7.85/4.47 c (1,0) y[13] = 0
7.85/4.47 c (1,0) y[14] = 14
7.85/4.47 c (1,0) y[15] = 0
7.85/4.47 c (1,0) y[16] = 12
7.85/4.47 c (1,0) y[17] = 7
7.85/4.47 c (1,0) y[18] = 52
7.85/4.47 c (1,0) y[19] = 51
7.85/4.47 c (1,0) y[20] = 30
7.85/4.47 c (1,0) y[21] = 49
7.85/4.47 c (1,0) y[22] = 29
7.85/4.47 c (1,0) y[23] = 25
7.85/4.47 s SATISFIABLE
7.85/4.47 v <instantiation>
7.85/4.47 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] 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]</list>
7.85/4.47 v <values>0 45 44 32 59 53 64 45 40 39 14 25 32 0 0 37 15 53 20 0 0 49 21 47 29 48 29 12 0 1 0 17 52 61 1 0 16 0 14 0 12 7 52 51 30 49 29 25</values>
7.85/4.47 v </instantiation>
7.85/4.47 c (1,0) Show results End
7.85/4.47 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
7.85/4.47 c (1,0) 1,1,STOP-AFTER(ALL)
7.85/4.47 c END-Prog: Thu Sep 12 16:27:25 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 (4847 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-4388431-1568298480/watcher-4388431-1568298480 -o /tmp/evaluation-result-4388431-1568298480/solver-4388431-1568298480 -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-4388431-1568298480.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=9137, runsolver pid=9134
[startup+0.100092 s]*
/proc/loadavg: 2.09 2.12 2.12 3/229 9154
/proc/meminfo: memFree=4960720/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405762915 115843072 349 33554432000 4194304 5098028 140727031127152 140727031124408 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 349 296 221 0 87 0
[pid=9140] ppid=9137 vsize=15012696 memory=72620 CPUtime=0.11 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9137 9137 3344 0 -1 1077944320 6369 0 0 0 9 2 0 0 20 0 15 0 405762916 15373000704 18155 33554432000 4194304 4196468 140736797273296 140736797255840 139693153603319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
/proc/9140/statm: 3753174 18155 2925 1 0 3715579 0
[pid=9140/tid=9141] ppid=9137 vsize=15012696 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9137 9137 3344 0 -1 4202560 4279 0 0 0 7 2 0 0 20 0 15 0 405762916 15373000704 18221 33554432000 4194304 4196468 140736797273296 139693125397224 139693137683806 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9142] ppid=9137 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 18221 33554432000 4194304 4196468 140736797273296 139693157845648 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9143] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692948929040 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9144] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692947876240 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9145] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692946823440 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9146] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762919 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692124101488 139693153614466 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9147] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 18221 33554432000 4194304 4196468 140736797273296 139691730920992 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9148] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 18221 33554432000 4194304 4196468 140736797273296 139691462485360 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9149] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 18221 33554432000 4194304 4196468 140736797273296 139691087976784 139693153621915 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9150] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9137 9137 3344 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692123048304 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9151] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692121995504 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9152] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0.01 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) R 9137 9137 3344 0 -1 4202560 446 0 0 0 1 0 0 0 20 0 15 0 405762922 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692120942704 139693133005130 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9153] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 18221 33554432000 4194304 4196468 140736797273296 139690590071008 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9154] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762923 15373000704 18221 33554432000 4194304 4196468 140736797273296 139692119891120 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74016 KiB
[startup+0.210738 s]*
/proc/loadavg: 2.09 2.12 2.12 3/229 9154
/proc/meminfo: memFree=4941352/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405762915 115843072 349 33554432000 4194304 5098028 140727031127152 140727031124408 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 349 296 221 0 87 0
[pid=9140] ppid=9137 vsize=15012696 memory=87964 CPUtime=0.24 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9137 9137 3344 0 -1 1077944320 11517 0 0 0 20 4 0 0 20 0 15 0 405762916 15373000704 21991 33554432000 4194304 4196468 140736797273296 140736797255840 139693153603319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
/proc/9140/statm: 3753174 21991 2988 1 0 3715579 0
[pid=9140/tid=9141] ppid=9137 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9137 9137 3344 0 -1 4202560 9277 0 0 0 16 4 0 0 20 0 15 0 405762916 15373000704 21991 33554432000 4194304 4196468 140736797273296 139693125425856 139693153625245 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9142] ppid=9137 vsize=15012696 memory=11077 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 21991 33554432000 4194304 4196468 140736797273296 139693157845648 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9143] ppid=9137 vsize=15012696 memory=2955320 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 21991 33554432000 4194304 4196468 140736797273296 139692948929040 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9144] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692947876240 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9145] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692946823440 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9146] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762919 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692124101488 139693153614466 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9147] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 22056 33554432000 4194304 4196468 140736797273296 139691730920992 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9148] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 22056 33554432000 4194304 4196468 140736797273296 139691462485360 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9149] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 22056 33554432000 4194304 4196468 140736797273296 139691087976784 139693153621915 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9150] ppid=9137 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9137 9137 3344 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 405762922 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692123048304 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9151] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692121995504 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9152] ppid=9137 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9137 9137 3344 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 405762922 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692120942704 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9153] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 22056 33554432000 4194304 4196468 140736797273296 139690590071008 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9154] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762923 15373000704 22056 33554432000 4194304 4196468 140736797273296 139692119891120 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89360 KiB
[startup+0.310435 s]*
/proc/loadavg: 2.09 2.12 2.12 3/229 9154
/proc/meminfo: memFree=4938064/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405762915 115843072 349 33554432000 4194304 5098028 140727031127152 140727031124408 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 349 296 221 0 87 0
[pid=9140] ppid=9137 vsize=15012696 memory=91908 CPUtime=0.43 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9137 9137 3344 0 -1 1077944320 12542 0 0 0 38 5 0 0 20 0 15 0 405762916 15373000704 22977 33554432000 4194304 4196468 140736797273296 140736797255840 139693153603319 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
/proc/9140/statm: 3753174 22977 3052 1 0 3715579 0
[pid=9140/tid=9141] ppid=9137 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) R 9137 9137 3344 0 -1 4202560 10078 0 0 0 26 4 0 0 20 0 15 0 405762916 15373000704 22977 33554432000 4194304 4196468 140736797273296 139693125406544 139693135166800 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9142] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22977 33554432000 4194304 4196468 140736797273296 139693157845648 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9143] ppid=9137 vsize=15012696 memory=14976693637808378 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692948929040 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9144] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692947876240 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9145] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762918 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692946823440 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9146] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762919 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692124101488 139693153614466 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9147] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 22977 33554432000 4194304 4196468 140736797273296 139691730920992 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9148] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762920 15373000704 22977 33554432000 4194304 4196468 140736797273296 139691462485360 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9149] ppid=9137 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 22977 33554432000 4194304 4196468 140736797273296 139691087976784 139693153621915 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9150] ppid=9137 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9137 9137 3344 0 -1 1077944384 581 0 0 0 3 0 0 0 20 0 15 0 405762922 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692123048304 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9151] ppid=9137 vsize=15012696 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9137 9137 3344 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 405762922 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692121995504 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9152] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0.07 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9137 9137 3344 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 15 0 405762922 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692120942704 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9153] ppid=9137 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15373000704 22977 33554432000 4194304 4196468 140736797273296 139690590071008 139693153613525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9154] ppid=9137 vsize=15012696 memory=140605706323584 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762923 15373000704 22977 33554432000 4194304 4196468 140736797273296 139692119891120 139693153614466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93304 KiB
[startup+0.700779 s]
/proc/loadavg: 2.09 2.12 2.12 3/229 9154
/proc/meminfo: memFree=4889648/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405762915 115843072 349 33554432000 4194304 5098028 140727031127152 140727031124408 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 349 296 221 0 87 0
[pid=9140] ppid=9137 vsize=15018968 memory=126432 CPUtime=0.93 cores=0,2,4,6
/proc/9140/stat : 9140 (java) S 9137 9137 3344 0 -1 1077944320 19372 0 0 0 85 8 0 0 20 0 15 0 405762916 15379423232 31608 33554432000 4194304 4196468 140736797273296 140736797255840 139693153603319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
/proc/9140/statm: 3754742 31608 3192 1 0 3716091 0
[pid=9140/tid=9141] ppid=9137 vsize=15018968 memory=2116 CPUtime=0.65 cores=0,2,4,6
/proc/9140/task/9141/stat : 9141 (java) D 9137 9137 3344 0 -1 4202560 16532 0 0 0 59 6 0 0 20 0 15 0 405762916 15379423232 31608 33554432000 4194304 4196468 140736797273296 139693125442592 139693153625245 0 4 2 25189581 18446744072099589253 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9142] ppid=9137 vsize=15018968 memory=520 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9142/stat : 9142 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15379423232 31608 33554432000 4194304 4196468 140736797273296 139693157845648 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9143] ppid=9137 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9143/stat : 9143 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692948929040 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9144] ppid=9137 vsize=15018968 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9144/stat : 9144 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762918 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692947876240 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9145] ppid=9137 vsize=15018968 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9145/stat : 9145 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762918 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692946823440 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9146] ppid=9137 vsize=15018968 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9146/stat : 9146 (java) S 9137 9137 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405762919 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692124101488 139693153614466 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9147] ppid=9137 vsize=15018968 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9147/stat : 9147 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405762920 15379423232 31608 33554432000 4194304 4196468 140736797273296 139691730920992 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9148] ppid=9137 vsize=15018968 memory=804 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9148/stat : 9148 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405762920 15379423232 31608 33554432000 4194304 4196468 140736797273296 139691462485360 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9149] ppid=9137 vsize=15018968 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9149/stat : 9149 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15379423232 31608 33554432000 4194304 4196468 140736797273296 139691087976784 139693153621915 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9150] ppid=9137 vsize=15018968 memory=7453282923444726100 CPUtime=0.06 cores=0,2,4,6
/proc/9140/task/9150/stat : 9150 (java) S 9137 9137 3344 0 -1 1077944384 641 0 0 0 6 0 0 0 20 0 15 0 405762922 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692123048304 139693153614466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9151] ppid=9137 vsize=15018968 memory=5792825802846453857 CPUtime=0.05 cores=0,2,4,6
/proc/9140/task/9151/stat : 9151 (java) S 9137 9137 3344 0 -1 1077944384 265 0 0 0 5 0 0 0 20 0 15 0 405762922 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692121995504 139693153614466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9152] ppid=9137 vsize=15018968 memory=8514726395715219869 CPUtime=0.14 cores=0,2,4,6
/proc/9140/task/9152/stat : 9152 (java) S 9137 9137 3344 0 -1 1077944384 597 0 0 0 14 0 0 0 20 0 15 0 405762922 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692120942704 139693153614466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9153] ppid=9137 vsize=15018968 memory=7811885441042836050 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9153/stat : 9153 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405762922 15379423232 31608 33554432000 4194304 4196468 140736797273296 139690590071008 139693153613525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
[pid=9140/tid=9154] ppid=9137 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9140/task/9154/stat : 9154 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405762923 15379423232 31608 33554432000 4194304 4196468 140736797273296 139692119891120 139693153614466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39657472 140736797274922 140736797275290 140736797275290 140736797278159 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127828 KiB
[startup+1.5057 s]
/proc/loadavg: 2.09 2.12 2.12 4/229 9154
/proc/meminfo: memFree=4883240/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405762915 115843072 349 33554432000 4194304 5098028 140727031127152 140727031124408 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/9155/task/9166/stat : 9166 (java) S 9137 9137 3344 0 -1 1077944384 312 0 0 0 9 0 0 0 20 0 19 0 405763176 8262082560 29792 33554432000 4194304 4196468 140730785817328 139969680046704 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9167] ppid=9137 vsize=8068440 memory=6944938067432061290 CPUtime=0.17 cores=0,2,4,6
/proc/9155/task/9167/stat : 9167 (java) S 9137 9137 3344 0 -1 1077944384 508 0 0 0 17 0 0 0 20 0 19 0 405763176 8262082560 29792 33554432000 4194304 4196468 140730785817328 139969678994160 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9168] ppid=9137 vsize=8068440 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9168/stat : 9168 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29792 33554432000 4194304 4196468 140730785817328 139968353660000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9169] ppid=9137 vsize=8068440 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9169/stat : 9169 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29792 33554432000 4194304 4196468 140730785817328 139969677941040 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
Current children cumulated CPU time: 6.55 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 120644 KiB
[startup+4.10067 s]*
/proc/loadavg: 2.16 2.14 2.12 3/234 9175
/proc/meminfo: memFree=4880868/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1476 CPUtime=5.44 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 583 26127 0 0 0 0 527 17 20 0 1 0 405762915 115843072 369 33554432000 4194304 5098028 140727031127152 140727031123896 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 369 311 221 0 87 0
[pid=9155] ppid=9137 vsize=8068440 memory=119268 CPUtime=1.13 cores=0,2,4,6
/proc/9155/stat : 9155 (java) S 9137 9137 3344 0 -1 1077944320 20146 0 0 0 106 7 0 0 20 0 19 0 405763170 8262082560 29817 33554432000 4194304 4196468 140730785817328 140730785799872 139970571513591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
/proc/9155/statm: 2017110 29817 3209 1 0 1978454 0
[pid=9170] ppid=9155 vsize=36844 memory=13808 CPUtime=0.84 cores=0,2,4,6
/proc/9170/stat : 9170 (cryptominisat5) R 9155 9137 3344 0 -1 4202496 3859 0 0 0 84 0 0 0 20 0 1 0 405763241 37728256 3452 33554432000 4194304 4451008 140729887405024 140729887401144 139878673560835 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 8953856 140729887409085 140729887409216 140729887409216 140729887412166 0
/proc/9170/statm: 9211 3452 643 63 0 2938 0
[pid=9155/tid=9156] ppid=9137 vsize=8068440 memory=596847170955539494 CPUtime=0.74 cores=0,2,4,6
/proc/9155/task/9156/stat : 9156 (java) S 9137 9137 3344 0 -1 1077944384 17221 0 0 0 69 5 0 0 20 0 19 0 405763170 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970543353760 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9157] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9157/stat : 9157 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970575756048 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9158] ppid=9137 vsize=8068440 memory=14692985291941066 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9158/stat : 9158 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970375924624 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9159] ppid=9137 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9159/stat : 9159 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970374872080 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9160] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9160/stat : 9160 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970373819536 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9161] ppid=9137 vsize=8068440 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9161/stat : 9161 (java) S 9137 9137 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969682151408 139970571524738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9162] ppid=9137 vsize=8068440 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9162/stat : 9162 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969494508448 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9163] ppid=9137 vsize=8068440 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9163/stat : 9163 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969226073072 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9164] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9164/stat : 9164 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139968851564752 139970571532187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9165] ppid=9137 vsize=8068440 memory=7442593561268858927 CPUtime=0.08 cores=0,2,4,6
/proc/9155/task/9165/stat : 9165 (java) S 9137 9137 3344 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969681099248 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9166] ppid=9137 vsize=8068440 memory=7441045317114918576 CPUtime=0.09 cores=0,2,4,6
/proc/9155/task/9166/stat : 9166 (java) S 9137 9137 3344 0 -1 1077944384 312 0 0 0 9 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969680046704 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9167] ppid=9137 vsize=8068440 memory=734139722786418735 CPUtime=0.18 cores=0,2,4,6
/proc/9155/task/9167/stat : 9167 (java) S 9137 9137 3344 0 -1 1077944384 511 0 0 0 18 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969678994160 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9168] ppid=9137 vsize=8068440 memory=3472468901934003888 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9168/stat : 9168 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139968353660000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9169] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9169/stat : 9169 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969677941040 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9171] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9171/stat : 9171 (java) S 9137 9137 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970367239232 139970571538201 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9173] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9173/stat : 9173 (java) S 9137 9137 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967816773264 139970571535517 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9174] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9174/stat : 9174 (java) S 9137 9137 3344 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967950995216 139970571535517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9175] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9175/stat : 9175 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763244 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967548350000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 8218412 KiB
Current children cumulated memory: 134552 KiB
[startup+4.30088 s]
/proc/loadavg: 2.16 2.14 2.12 3/234 9175
/proc/meminfo: memFree=4880868/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1476 CPUtime=5.44 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 583 26127 0 0 0 0 527 17 20 0 1 0 405762915 115843072 369 33554432000 4194304 5098028 140727031127152 140727031123896 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 369 311 221 0 87 0
[pid=9155] ppid=9137 vsize=8068440 memory=119268 CPUtime=1.13 cores=0,2,4,6
/proc/9155/stat : 9155 (java) S 9137 9137 3344 0 -1 1077944320 20146 0 0 0 106 7 0 0 20 0 19 0 405763170 8262082560 29817 33554432000 4194304 4196468 140730785817328 140730785799872 139970571513591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
/proc/9155/statm: 2017110 29817 3209 1 0 1978454 0
[pid=9170] ppid=9155 vsize=39436 memory=14752 CPUtime=1.03 cores=0,2,4,6
/proc/9170/stat : 9170 (cryptominisat5) R 9155 9137 3344 0 -1 4202496 4069 0 0 0 103 0 0 0 20 0 1 0 405763241 40382464 3688 33554432000 4194304 4451008 140729887405024 140729887401144 139878673560270 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 8953856 140729887409085 140729887409216 140729887409216 140729887412166 0
/proc/9170/statm: 9859 3688 643 63 0 3586 0
[pid=9155/tid=9156] ppid=9137 vsize=8068440 memory=281211105177776 CPUtime=0.74 cores=0,2,4,6
/proc/9155/task/9156/stat : 9156 (java) S 9137 9137 3344 0 -1 1077944384 17221 0 0 0 69 5 0 0 20 0 19 0 405763170 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970543353760 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9157] ppid=9137 vsize=8068440 memory=281211104996760 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9157/stat : 9157 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970575756048 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9158] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9158/stat : 9158 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970375924624 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9159] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9159/stat : 9159 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970374872080 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9160] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9160/stat : 9160 (java) S 9137 9137 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405763171 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970373819536 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9161] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9161/stat : 9161 (java) S 9137 9137 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969682151408 139970571524738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9162] ppid=9137 vsize=8068440 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9162/stat : 9162 (java) S 9137 9137 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969494508448 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9163] ppid=9137 vsize=8068440 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9163/stat : 9163 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763173 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969226073072 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9164] ppid=9137 vsize=8068440 memory=7090753040590267248 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9164/stat : 9164 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139968851564752 139970571532187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9165] ppid=9137 vsize=8068440 memory=7954881339149740626 CPUtime=0.08 cores=0,2,4,6
/proc/9155/task/9165/stat : 9165 (java) S 9137 9137 3344 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969681099248 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9166] ppid=9137 vsize=8068440 memory=6300653970635647589 CPUtime=0.09 cores=0,2,4,6
/proc/9155/task/9166/stat : 9166 (java) S 9137 9137 3344 0 -1 1077944384 312 0 0 0 9 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969680046704 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9167] ppid=9137 vsize=8068440 memory=7955442081305094997 CPUtime=0.18 cores=0,2,4,6
/proc/9155/task/9167/stat : 9167 (java) S 9137 9137 3344 0 -1 1077944384 511 0 0 0 18 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969678994160 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9168] ppid=9137 vsize=8068440 memory=281211105460804 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9168/stat : 9168 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139968353660000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9169] ppid=9137 vsize=8068440 memory=140605552709250 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9169/stat : 9169 (java) S 9137 9137 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405763176 8262082560 29817 33554432000 4194304 4196468 140730785817328 139969677941040 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9171] ppid=9137 vsize=8068440 memory=281211105419232 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9171/stat : 9171 (java) S 9137 9137 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139970367239232 139970571538201 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9173] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9173/stat : 9173 (java) S 9137 9137 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967816773264 139970571535517 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9174] ppid=9137 vsize=8068440 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9174/stat : 9174 (java) S 9137 9137 3344 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 405763242 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967950995216 139970571535517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9175] ppid=9137 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9155/task/9175/stat : 9175 (java) S 9137 9137 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405763244 8262082560 29817 33554432000 4194304 4196468 140730785817328 139967548350000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 8221004 KiB
Current children cumulated memory: 135496 KiB
[startup+4.40082 s]
/proc/loadavg: 2.16 2.14 2.12 3/234 9175
/proc/meminfo: memFree=4880868/32770624 swapFree=66939824/67108860
[pid=9137] ppid=9134 vsize=113128 memory=1476 CPUtime=5.44 cores=0,2,4,6
/proc/9137/stat : 9137 (scop.sh) S 9134 9137 3344 0 -1 4202496 583 26127 0 0 0 0 527 17 20 0 1 0 405762915 115843072 369 33554432000 4194304 5098028 140727031127152 140727031123896 139708935832188 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29368320 140727031133027 140727031133296 140727031133296 140727031136205 0
/proc/9137/statm: 28282 369 311 221 0 87 0
[pid=9155] ppid=9137 vsize=7937364 memory=120840 CPUtime=2.41 cores=0,2,4,6
/proc/9155/stat : 9155 (java) S 9137 9137 3344 0 -1 1077944320 20662 4159 0 0 127 8 106 0 20 0 17 0 405763170 8127860736 30210 33554432000 4194304 4196468 140730785817328 140730785799872 139970571513591 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
/proc/9155/statm: 1984341 30210 3214 1 0 1945685 0
[pid=9155/tid=9156] ppid=9137 vsize=7937364 memory=119268 CPUtime=1.82 cores=0,2,4,6
/proc/9155/task/9156/stat : 9156 (java) R 9137 9137 3344 0 -1 4202560 17311 4159 0 0 71 5 106 0 20 0 17 0 405763170 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970543316176 139970571535517 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9157] ppid=9137 vsize=7937364 memory=14056 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9157/stat : 9157 (java) S 9137 9137 3344 0 -1 1077944384 1 4159 0 0 0 0 106 0 20 0 17 0 405763171 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970575756048 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9158] ppid=9137 vsize=7937364 memory=1436 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9158/stat : 9158 (java) S 9137 9137 3344 0 -1 1077944384 1 4159 0 0 0 0 106 0 20 0 17 0 405763171 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970375924624 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9159] ppid=9137 vsize=7937364 memory=4164 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9159/stat : 9159 (java) S 9137 9137 3344 0 -1 1077944384 1 4159 0 0 0 0 106 0 20 0 17 0 405763171 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970374872080 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9160] ppid=9137 vsize=7937364 memory=1548 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9160/stat : 9160 (java) S 9137 9137 3344 0 -1 1077944384 2 4159 0 0 0 0 106 0 20 0 17 0 405763171 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970373819536 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9161] ppid=9137 vsize=7937364 memory=1608 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9161/stat : 9161 (java) S 9137 9137 3344 0 -1 1077944384 6 4159 0 0 0 0 106 0 20 0 17 0 405763173 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969682151408 139970571524738 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9162] ppid=9137 vsize=7937364 memory=7980 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9162/stat : 9162 (java) S 9137 9137 3344 0 -1 1077944384 13 4159 0 0 0 0 106 0 20 0 17 0 405763173 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969494508448 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9163] ppid=9137 vsize=7937364 memory=9580 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9163/stat : 9163 (java) S 9137 9137 3344 0 -1 1077944384 1 4159 0 0 0 0 106 0 20 0 17 0 405763173 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969226073072 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9164] ppid=9137 vsize=7937364 memory=288230574492221466 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9164/stat : 9164 (java) S 9137 9137 3344 0 -1 1077944384 3 4159 0 0 0 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139968851564752 139970571532187 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9165] ppid=9137 vsize=7937364 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/9155/task/9165/stat : 9165 (java) S 9137 9137 3344 0 -1 1077944384 744 4159 0 0 12 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969681099248 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9166] ppid=9137 vsize=7937364 memory=4457072 CPUtime=1.2 cores=0,2,4,6
/proc/9155/task/9166/stat : 9166 (java) R 9137 9137 3344 0 -1 4202560 368 4159 0 0 14 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969680033584 139970553058080 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9167] ppid=9137 vsize=7937364 memory=7519154781012387686 CPUtime=1.3 cores=0,2,4,6
/proc/9155/task/9167/stat : 9167 (java) S 9137 9137 3344 0 -1 1077944384 667 4159 0 0 24 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969678994160 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9168] ppid=9137 vsize=7937364 memory=6944652177228980320 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9168/stat : 9168 (java) S 9137 9137 3344 0 -1 1077944384 3 4159 0 0 0 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139968353660000 139970571523797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9169] ppid=9137 vsize=7937364 memory=37404 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9169/stat : 9169 (java) S 9137 9137 3344 0 -1 1077944384 1 4159 0 0 0 0 106 0 20 0 17 0 405763176 8127860736 30210 33554432000 4194304 4196468 140730785817328 139969677941040 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9171] ppid=9137 vsize=7937364 memory=988 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9171/stat : 9171 (java) S 9137 9137 3344 0 -1 1077944384 27 4159 0 0 0 0 106 0 20 0 17 0 405763242 8127860736 30210 33554432000 4194304 4196468 140730785817328 139970367238416 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
[pid=9155/tid=9175] ppid=9137 vsize=7937364 memory=1476 CPUtime=1.06 cores=0,2,4,6
/proc/9155/task/9175/stat : 9175 (java) S 9137 9137 3344 0 -1 1077944384 9 4159 0 0 0 0 106 0 20 0 17 0 405763244 8127860736 30210 33554432000 4194304 4196468 140730785817328 139967548351792 139970571524738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35262464 140730785825788 140730785825946 140730785825946 140730785828815 0
Current children cumulated CPU time: 7.85 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 122316 KiB
Child status: 0
Real time (s): 4.48661
CPU time (s): 8.03116
CPU user time (s): 7.75735
CPU system time (s): 0.273815
CPU usage (%): 179.003
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 410308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.75735
system time used= 0.273815
maximum resident set size= 413644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5604
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 9137
# total CPU time (s): 8.03116
# total CPU user time (s): 7.75735
# total CPU system time (s): 0.273815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059781 second user time and 0.083693 second system time
The end