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-9328-serial-file.bin HOME/instance-4388104-1568295054.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 15:30:15 CEST 2019
0.66/0.55 c PID: 9331
0.66/0.55 c IP: 172.20.3.124
0.66/0.55 c HOST: node124.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.56/0.94 c (0,0) Parsing End
1.56/0.94 c (0,0) CSP: 104 int (0 aux), 0 bool (0 aux), 87 ctr, max domain size 52
1.56/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.95 c (0,0) Constraint Name Generate Begin
1.56/0.95 c (0,0) Ctr:HOME/instance-4388104-1568295054.xml,ChannelTwoLists:Eq:ExtensionSupport:Lt:Num:Var
1.56/0.95 c (0,0) Constraint Name Generate End
1.56/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.95 c (0,0) CSP to CSPinCNF Begin
4.20/1.81 c (1,1) translated 9 (10%) constraints
4.20/1.81 c (1,1) translated 18 (20%) constraints
4.20/1.81 c (1,1) translated 27 (30%) constraints
4.20/1.82 c (1,1) translated 35 (40%) constraints
5.24/2.16 c (1,1) translated 44 (50%) constraints
5.83/2.37 c (1,1) translated 53 (60%) constraints
6.45/2.53 c (2,2) translated 61 (70%) constraints
6.76/2.69 c (2,2) translated 70 (80%) constraints
7.32/2.84 c (2,2) translated 79 (90%) constraints
7.63/2.97 c (2,2) translated 87 (100%) constraints
7.63/2.99 c (2,2) ===========================================
7.97/3.01 c (2,2) Hybrid: #OE=767, #LE=0
7.97/3.01 c (2,2) Hybrid
7.97/3.01 c (2,2) ===========================================
8.55/3.29 c (2,2) translated 1922 (10%) constraints
9.14/3.49 c (2,2) translated 3843 (20%) constraints
9.50/3.63 c (3,3) translated 5764 (30%) constraints
9.50/3.69 c (3,3) translated 7686 (40%) constraints
9.80/3.75 c (3,3) translated 9607 (50%) constraints
9.80/3.79 c (3,3) translated 11528 (60%) constraints
10.10/3.83 c (3,3) translated 13450 (70%) constraints
10.10/3.88 c (3,3) translated 15371 (80%) constraints
10.23/3.92 c (3,3) translated 17292 (90%) constraints
10.23/3.96 c (3,3) translated 19213 (100%) constraints
10.23/3.96 c (3,3) CSP to CSPinCNF End
10.23/3.96 c (3,3) CSP: 103 int (0 aux), 6072 bool (6071 aux), 30030 ctr, max domain size 52
10.23/3.96 c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.23/3.96 c (3,3) CSPinCNF Propagation Begin
11.28/4.41 c (3,3) 596 values, 1881 unsatisfiable literals, and 1829 valid clauses are removed
11.28/4.41 c (3,3) CSPinCNF Propagation End
11.28/4.42 c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.28/4.42 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.28/4.44 c (3,3) Hybrid: #OE=6175, #LE=0
11.28/4.44 c (3,3) Simplify CSPinCNF Begin
11.58/4.52 c (3,3) Simplify CSPinCNF End
11.58/4.53 c (3,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.58/4.53 c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.58/4.53 c (3,3) Calculate Precise Domain Begin
11.58/4.53 c (4,3) 0 values are removed by re-calculation
11.58/4.53 c (4,3) Calculate Precise Domain End
11.58/4.53 c (4,3) CSP: 102 int (0 aux), 6073 bool (6071 aux), 28201 ctr, max domain size 51
11.58/4.53 c (4,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.58/4.53 c (4,3) CSPinCNF to SatSolver Begin
12.18/4.72 c (4,4) 2821 (10 %) CSP clauses are encoded (0 SAT variables, 7649 SAT clauses)
12.18/4.78 c (4,4) 5641 (20 %) CSP clauses are encoded (0 SAT variables, 10469 SAT clauses)
12.48/4.84 c (4,4) 8461 (30 %) CSP clauses are encoded (0 SAT variables, 13289 SAT clauses)
12.48/4.88 c (4,4) 11281 (40 %) CSP clauses are encoded (0 SAT variables, 16109 SAT clauses)
12.78/4.91 c (4,4) 14101 (50 %) CSP clauses are encoded (0 SAT variables, 18929 SAT clauses)
13.13/5.01 c (4,4) 16921 (60 %) CSP clauses are encoded (0 SAT variables, 23329 SAT clauses)
13.13/5.09 c (4,4) 19741 (70 %) CSP clauses are encoded (0 SAT variables, 26149 SAT clauses)
13.43/5.16 c (4,4) 22561 (80 %) CSP clauses are encoded (0 SAT variables, 28969 SAT clauses)
13.70/5.20 c (4,4) 25381 (90 %) CSP clauses are encoded (0 SAT variables, 31789 SAT clauses)
13.70/5.23 c (4,4) 28201 (100 %) CSP clauses are encoded (0 SAT variables, 34609 SAT clauses)
13.70/5.23 c (4,4) CSPinCNF to SatSolver End
13.70/5.23 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.70/5.23 c (4,4) 10626 bool, 34610 clause
13.70/5.23 c (4,4) Export Begin
13.86/5.32 c (4,4) Export to HOME/scop-9328-serial-file.bin
13.86/5.32 c (4,4) Export End
13.86/5.32 c (4,4) Export File Size: 0.02 MB
13.86/5.32 c (4,4) 0,0,3,3,3,4,4,STOP-AFTER(DIMACS)
13.86/5.32 c END-Prog: Thu Sep 12 15:30:19 CEST 2019
13.86/5.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9328-serial-file.bin
13.94/5.81 c (0,0) Read Serial File Begin
13.94/5.81 c (0,0) HOME/scop-9328-serial-file.bin
14.85/6.02 c (0,0) Read Serial File End
14.85/6.03
14.85/6.03 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
14.85/6.03 (Solving Process)
14.85/6.03
14.85/6.05 c BEGIN-Prog: Thu Sep 12 15:30:20 CEST 2019
14.85/6.05 c PID: 9346
14.85/6.05 c IP: 172.20.3.124
14.85/6.05 c HOST: node124.alineos.net
14.85/6.06 c (0,0) SatSolver.solve Begin
14.85/6.06 c (0,0) HOME/cryptominisat5 HOME/instance-4388104-1568295054.xml-scop-9331.cnf
14.85/6.08 c (0,0) c Outputting solution to console
14.85/6.08 c (0,0) c CryptoMiniSat version 5.6.8
14.85/6.08 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
14.85/6.08 c (0,0) c CMS SHA revision GIT-notfound
14.85/6.08 c (0,0) c CMS is MIT licensed
14.85/6.08 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
14.85/6.08 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
14.85/6.08 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388104-1568295054.xml-scop-9331.cnf
14.85/6.08 c (0,0) c Reading file 'HOME/instance-4388104-1568295054.xml-scop-9331.cnf'
14.85/6.08 c (0,0) c -- header says num vars: 10626
14.85/6.08 c (0,0) c -- header says num clauses: 34610
14.85/6.09 c (0,0) c -- clauses added: 34610
14.85/6.09 c (0,0) c -- xor clauses added: 0
14.85/6.09 c (0,0) c -- vars added 10626
14.85/6.09 c (0,0) c Parsing time: 0.01 s
14.85/6.10 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
14.85/6.10 c (0,0) c [distill] long cls tried: 10/9 cl-short:10 lit-r:1 T: 0.00 T-out: N T-r: 100.00%
15.08/6.25 c (0,0) c [distill] long cls tried: 464/364 cl-short:451 lit-r:419 T: 0.01 T-out: N T-r: 99.96%
15.08/6.45 c (0,0) c [distill] long cls tried: 502/752 cl-short:496 lit-r:600 T: 0.01 T-out: N T-r: 99.94%
15.08/6.52 c (0,0) c glue 1 59 8193 10200 16584 18026 3.03 2.49 930 2471 3484 1236 26.15 22.48
15.08/6.79 c (1,0) c [distill] long cls tried: 2052/2461 cl-short:1963 lit-r:3155 T: 0.06 T-out: N T-r: 99.74%
15.99/7.07 c (1,0) c geom 1 93 16386 9957 15816 17129 3.03 2.49 3162 4007 6127 2266 31.36 27.08
16.10/7.17 c (1,0) c [distill] long cls tried: 861/3119 cl-short:849 lit-r:1274 T: 0.03 T-out: N T-r: 99.70%
16.69/7.74 c (2,0) c [distill] long cls tried: 2392/5115 cl-short:2364 lit-r:3940 T: 0.11 T-out: N T-r: 98.94%
16.69/7.78 c (2,0) c glue 1 132 24K 9795 15816 17129 3.03 2.49 5168 4474 10358 3664 33.28 28.44
16.79/7.80 c (2,0) c ------- FINAL TOTAL SEARCH STATS ---------
16.79/7.80 c (2,0) c UIP search time : 1.70 (99.21 % time)
16.79/7.80 c (2,0) c restarts : 132 (187.94 confls per restart)
16.79/7.80 c (2,0) c blocked restarts : 69 (0.52 per normal restart)
16.79/7.80 c (2,0) c time : 1.70
16.79/7.80 c (2,0) c decisions : 81367 (0.00 % random)
16.79/7.80 c (2,0) c propagations : 11484347
16.79/7.80 c (2,0) c decisions/conflicts : 3.28
16.79/7.80 c (2,0) c conflicts : 24808 (14586.87 / sec)
16.79/7.80 c (2,0) c conf lits non-minim : 795633 (32.07 lit/confl)
16.79/7.80 c (2,0) c conf lits final : 29.14
16.79/7.80 c (2,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
16.79/7.80 c (2,0) c red which0 : 3099 (12.49 % of confl)
16.79/7.80 c (2,0) c props/decision : 0.00
16.79/7.80 c (2,0) c props/conflict : 0.00
16.79/7.80 c (2,0) c 0-depth assigns : 831 (7.82 % vars)
16.79/7.80 c (2,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
16.79/7.80 c (2,0) c reduceDB time : 0.00 (0.00 % time)
16.79/7.80 c (2,0) c OccSimplifier time : 0.00 (0.00 % time)
16.79/7.80 c (2,0) c [occur] 0.00 is overhead
16.79/7.80 c (2,0) c [occur] link-in T: 0.00 cleanup T: 0.00
16.79/7.80 c (2,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
16.79/7.80 c (2,0) c SCC time : 0.00 (0.00 % time)
16.79/7.80 c (2,0) c [scc] new: 0 BP 0M T: 0.00
16.79/7.80 c (2,0) c vrep replace time : 0.00 (0.00 % time)
16.79/7.80 c (2,0) c vrep tree roots : 0
16.79/7.80 c (2,0) c vrep trees' crown : 0 (0.00 leafs/tree)
16.79/7.80 c (2,0) c distill time : 0.22 (13.12 % time)
16.79/7.80 c (2,0) c strength cache-irred time: 0.00 (0.00 % time)
16.79/7.80 c (2,0) c strength cache-red time : 0.00 (0.00 % time)
16.79/7.80 c (2,0) c Conflicts in UIP : 24808 (14471.02 confl/time_this_thread)
16.79/7.80 c (2,0) c Mem used : 13.76 MB
16.79/7.80 c (2,0) c Total time (this thread) : 1.71
16.79/7.80 c (2,0) s SATISFIABLE
16.79/7.89 c (2,0) SatSolver.solve End
16.79/7.89 c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.79/7.89 c (2,0) Show results Begin
17.10/7.99 c (2,0) x[0] = 0
17.10/7.99 c (2,0) x[1] = 25
17.10/7.99 c (2,0) x[2] = 39
17.10/8.00 c (2,0) x[3] = 27
17.10/8.00 c (2,0) x[4] = 2
17.10/8.00 c (2,0) x[5] = 42
17.10/8.00 c (2,0) x[6] = 17
17.10/8.00 c (2,0) x[7] = 31
17.10/8.00 c (2,0) x[8] = 32
17.10/8.00 c (2,0) x[9] = 20
17.10/8.00 c (2,0) x[10] = 21
17.10/8.00 c (2,0) x[11] = 22
17.10/8.00 c (2,0) x[12] = 23
17.10/8.00 c (2,0) x[13] = 37
17.10/8.00 c (2,0) x[14] = 38
17.10/8.00 c (2,0) x[15] = 50
17.10/8.00 c (2,0) x[16] = 49
17.10/8.00 c (2,0) x[17] = 35
17.10/8.00 c (2,0) x[18] = 8
17.10/8.00 c (2,0) x[19] = 9
17.10/8.00 c (2,0) x[20] = 10
17.10/8.00 c (2,0) x[21] = 11
17.10/8.00 c (2,0) x[22] = 51
17.10/8.00 c (2,0) x[23] = 26
17.10/8.00 c (2,0) x[24] = 40
17.10/8.00 c (2,0) x[25] = 41
17.10/8.00 c (2,0) x[26] = 3
17.10/8.00 c (2,0) x[27] = 30
17.10/8.00 c (2,0) x[28] = 18
17.10/8.00 c (2,0) x[29] = 6
17.10/8.00 c (2,0) x[30] = 46
17.10/8.00 c (2,0) x[31] = 19
17.10/8.00 c (2,0) x[32] = 5
17.10/8.00 c (2,0) x[33] = 43
17.10/8.00 c (2,0) x[34] = 16
17.10/8.00 c (2,0) x[35] = 15
17.10/8.00 c (2,0) x[36] = 1
17.10/8.00 c (2,0) x[37] = 28
17.10/8.00 c (2,0) x[38] = 29
17.10/8.00 c (2,0) x[39] = 4
17.10/8.00 c (2,0) x[40] = 44
17.10/8.00 c (2,0) x[41] = 45
17.10/8.00 c (2,0) x[42] = 7
17.10/8.00 c (2,0) x[43] = 47
17.10/8.00 c (2,0) x[44] = 33
17.10/8.00 c (2,0) x[45] = 34
17.10/8.00 c (2,0) x[46] = 48
17.10/8.00 c (2,0) x[47] = 36
17.10/8.00 c (2,0) x[48] = 24
17.10/8.00 c (2,0) x[49] = 12
17.10/8.00 c (2,0) x[50] = 13
17.10/8.00 c (2,0) x[51] = 14
17.10/8.00 c (2,0) y[0] = 0
17.10/8.00 c (2,0) y[1] = 36
17.10/8.00 c (2,0) y[2] = 4
17.10/8.00 c (2,0) y[3] = 26
17.10/8.00 c (2,0) y[4] = 39
17.10/8.00 c (2,0) y[5] = 32
17.10/8.00 c (2,0) y[6] = 29
17.10/8.00 c (2,0) y[7] = 42
17.10/8.00 c (2,0) y[8] = 18
17.10/8.00 c (2,0) y[9] = 19
17.10/8.00 c (2,0) y[10] = 20
17.10/8.00 c (2,0) y[11] = 21
17.10/8.00 c (2,0) y[12] = 49
17.10/8.00 c (2,0) y[13] = 50
17.10/8.00 c (2,0) y[14] = 51
17.10/8.00 c (2,0) y[15] = 35
17.10/8.00 c (2,0) y[16] = 34
17.10/8.00 c (2,0) y[17] = 6
17.10/8.00 c (2,0) y[18] = 28
17.10/8.00 c (2,0) y[19] = 31
17.10/8.00 c (2,0) y[20] = 9
17.10/8.00 c (2,0) y[21] = 10
17.10/8.00 c (2,0) y[22] = 11
17.10/8.00 c (2,0) y[23] = 12
17.10/8.00 c (2,0) y[24] = 48
17.10/8.00 c (2,0) y[25] = 1
17.10/8.00 c (2,0) y[26] = 23
17.10/8.00 c (2,0) y[27] = 3
17.10/8.00 c (2,0) y[28] = 37
17.10/8.00 c (2,0) y[29] = 38
17.10/8.00 c (2,0) y[30] = 27
17.10/8.00 c (2,0) y[31] = 7
17.10/8.00 c (2,0) y[32] = 8
17.10/8.00 c (2,0) y[33] = 44
17.10/8.00 c (2,0) y[34] = 45
17.10/8.00 c (2,0) y[35] = 17
17.10/8.00 c (2,0) y[36] = 47
17.10/8.00 c (2,0) y[37] = 13
17.10/8.00 c (2,0) y[38] = 14
17.10/8.00 c (2,0) y[39] = 2
17.10/8.00 c (2,0) y[40] = 24
17.10/8.00 c (2,0) y[41] = 25
17.10/8.00 c (2,0) y[42] = 5
17.10/8.00 c (2,0) y[43] = 33
17.10/8.00 c (2,0) y[44] = 40
17.10/8.00 c (2,0) y[45] = 41
17.10/8.00 c (2,0) y[46] = 30
17.10/8.00 c (2,0) y[47] = 43
17.10/8.00 c (2,0) y[48] = 46
17.10/8.00 c (2,0) y[49] = 16
17.10/8.00 c (2,0) y[50] = 15
17.10/8.00 c (2,0) y[51] = 22
17.10/8.00 s SATISFIABLE
17.10/8.00 v <instantiation>
17.10/8.00 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] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] 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] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51]</list>
17.10/8.00 v <values>0 25 39 27 2 42 17 31 32 20 21 22 23 37 38 50 49 35 8 9 10 11 51 26 40 41 3 30 18 6 46 19 5 43 16 15 1 28 29 4 44 45 7 47 33 34 48 36 24 12 13 14 0 36 4 26 39 32 29 42 18 19 20 21 49 50 51 35 34 6 28 31 9 10 11 12 48 1 23 3 37 38 27 7 8 44 45 17 47 13 14 2 24 25 5 33 40 41 30 43 46 16 15 22</values>
17.10/8.00 v </instantiation>
17.10/8.00 c (2,0) Show results End
17.10/8.00 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
17.10/8.00 c (2,0) 2,2,STOP-AFTER(ALL)
17.10/8.00 c END-Prog: Thu Sep 12 15:30:22 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 (7661 MiB free)
memory of node 1: 16384 MiB (7759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388104-1568295054/watcher-4388104-1568295054 -o /tmp/evaluation-result-4388104-1568295054/solver-4388104-1568295054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388104-1568295054.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=9328, runsolver pid=9325
[startup+0.100164 s]*
/proc/loadavg: 2.06 2.01 2.05 3/235 9345
/proc/meminfo: memFree=15733388/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405445578 115843072 349 33554432000 4194304 5098028 140726008410672 140726008407928 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 349 296 221 0 87 0
[pid=9331] ppid=9328 vsize=15012696 memory=70424 CPUtime=0.12 cores=0,2,4,6
/proc/9331/stat : 9331 (java) S 9328 9328 5595 0 -1 1077944320 6400 0 0 0 10 2 0 0 20 0 15 0 405445578 15373000704 17606 33554432000 4194304 4196468 140729911510368 140729911492912 139724457107191 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
/proc/9331/statm: 3753174 17606 2917 1 0 3715579 0
[pid=9331/tid=9332] ppid=9328 vsize=15012696 memory=-2843869603874784414 CPUtime=0.09 cores=0,2,4,6
/proc/9331/task/9332/stat : 9332 (java) R 9328 9328 5595 0 -1 4202560 4240 0 0 0 7 2 0 0 20 0 15 0 405445579 15373000704 17672 33554432000 4194304 4196468 140729911510368 139724428919176 139724441187678 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9333] ppid=9328 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9333/stat : 9333 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 17672 33554432000 4194304 4196468 140729911510368 139724461349648 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9334] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9334/stat : 9334 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723917568912 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9335] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9335/stat : 9335 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723916516368 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9336] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9336/stat : 9336 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723915463824 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9337] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9337/stat : 9337 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723494684656 139724457118338 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9338] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9338/stat : 9338 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 17672 33554432000 4194304 4196468 140729911510368 139722869433248 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9339] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9339/stat : 9339 (java) S 9328 9328 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 17672 33554432000 4194304 4196468 140729911510368 139722735211504 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9340] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9340/stat : 9340 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139722360707280 139724457125787 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9341] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9341/stat : 9341 (java) S 9328 9328 5595 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723493632496 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9342] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9342/stat : 9342 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723492579952 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9343] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0.01 cores=0,2,4,6
/proc/9331/task/9343/stat : 9343 (java) R 9328 9328 5595 0 -1 4202560 457 0 0 0 1 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723491524616 139724449344318 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9344] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9344/stat : 9344 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139721862802528 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9345] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9345/stat : 9345 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 17672 33554432000 4194304 4196468 140729911510368 139723490474288 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71820 KiB
[startup+0.211023 s]*
/proc/loadavg: 2.06 2.01 2.05 3/235 9345
/proc/meminfo: memFree=15714868/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405445578 115843072 349 33554432000 4194304 5098028 140726008410672 140726008407928 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 349 296 221 0 87 0
[pid=9331] ppid=9328 vsize=15012696 memory=86020 CPUtime=0.25 cores=0,2,4,6
/proc/9331/stat : 9331 (java) S 9328 9328 5595 0 -1 1077944320 11579 0 0 0 21 4 0 0 20 0 15 0 405445578 15373000704 21505 33554432000 4194304 4196468 140729911510368 140729911492912 139724457107191 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
/proc/9331/statm: 3753174 21505 2923 1 0 3715579 0
[pid=9331/tid=9332] ppid=9328 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/9331/task/9332/stat : 9332 (java) R 9328 9328 5595 0 -1 4202560 9281 0 0 0 16 3 0 0 20 0 15 0 405445579 15373000704 21505 33554432000 4194304 4196468 140729911510368 139724428906576 139724457129117 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9333] ppid=9328 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9333/stat : 9333 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 21505 33554432000 4194304 4196468 140729911510368 139724461349648 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9334] ppid=9328 vsize=15012696 memory=140421645315060 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9334/stat : 9334 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723917568912 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9335] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9335/stat : 9335 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723916516368 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9336] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9336/stat : 9336 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723915463824 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9337] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9337/stat : 9337 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723494684656 139724457118338 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9338] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9338/stat : 9338 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 21505 33554432000 4194304 4196468 140729911510368 139722869433248 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9339] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9339/stat : 9339 (java) S 9328 9328 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 21505 33554432000 4194304 4196468 140729911510368 139722735211504 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9340] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9340/stat : 9340 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139722360707280 139724457125787 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9341] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9341/stat : 9341 (java) S 9328 9328 5595 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723493632496 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9342] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9342/stat : 9342 (java) S 9328 9328 5595 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723492579952 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9343] ppid=9328 vsize=15012696 memory=140421645305472 CPUtime=0.03 cores=0,2,4,6
/proc/9331/task/9343/stat : 9343 (java) R 9328 9328 5595 0 -1 4202560 472 0 0 0 3 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723491527408 139724457128538 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9344] ppid=9328 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9344/stat : 9344 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139721862802528 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9345] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9345/stat : 9345 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 21505 33554432000 4194304 4196468 140729911510368 139723490474288 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87416 KiB
[startup+0.310775 s]*
/proc/loadavg: 2.06 2.01 2.05 3/235 9345
/proc/meminfo: memFree=15711580/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405445578 115843072 349 33554432000 4194304 5098028 140726008410672 140726008407928 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 349 296 221 0 87 0
[pid=9331] ppid=9328 vsize=15012696 memory=90024 CPUtime=0.43 cores=0,2,4,6
/proc/9331/stat : 9331 (java) S 9328 9328 5595 0 -1 1077944320 12070 0 0 0 39 4 0 0 20 0 15 0 405445578 15373000704 22506 33554432000 4194304 4196468 140729911510368 140729911492912 139724457107191 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
/proc/9331/statm: 3753174 22506 3062 1 0 3715579 0
[pid=9331/tid=9332] ppid=9328 vsize=15012696 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9331/task/9332/stat : 9332 (java) R 9328 9328 5595 0 -1 4202560 9564 0 0 0 26 3 0 0 20 0 15 0 405445579 15373000704 22506 33554432000 4194304 4196468 140729911510368 139724428897840 139724438670720 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9333] ppid=9328 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9333/stat : 9333 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 22506 33554432000 4194304 4196468 140729911510368 139724461349648 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9334] ppid=9328 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9334/stat : 9334 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723917568912 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9335] ppid=9328 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9335/stat : 9335 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723916516368 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9336] ppid=9328 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9336/stat : 9336 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723915463824 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9337] ppid=9328 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9337/stat : 9337 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723494684656 139724457118338 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9338] ppid=9328 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9338/stat : 9338 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 22506 33554432000 4194304 4196468 140729911510368 139722869433248 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9339] ppid=9328 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9339/stat : 9339 (java) S 9328 9328 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405445582 15373000704 22506 33554432000 4194304 4196468 140729911510368 139722735211504 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9340] ppid=9328 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9340/stat : 9340 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139722360707280 139724457125787 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9341] ppid=9328 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9331/task/9341/stat : 9341 (java) S 9328 9328 5595 0 -1 1077944384 540 0 0 0 3 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723493632496 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9342] ppid=9328 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9331/task/9342/stat : 9342 (java) S 9328 9328 5595 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723492579952 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9343] ppid=9328 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9331/task/9343/stat : 9343 (java) S 9328 9328 5595 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723491527408 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9344] ppid=9328 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9344/stat : 9344 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139721862802528 139724457117397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9345] ppid=9328 vsize=15012696 memory=3977298828380485423 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9345/stat : 9345 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445585 15373000704 22506 33554432000 4194304 4196468 140729911510368 139723490474288 139724457118338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91420 KiB
[startup+0.70092 s]
/proc/loadavg: 2.06 2.01 2.05 3/235 9345
/proc/meminfo: memFree=15690156/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405445578 115843072 349 33554432000 4194304 5098028 140726008410672 140726008407928 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 349 296 221 0 87 0
[pid=9331] ppid=9328 vsize=15021092 memory=127812 CPUtime=1 cores=0,2,4,6
/proc/9331/stat : 9331 (java) S 9328 9328 5595 0 -1 1077944320 19897 0 0 0 94 6 0 0 20 0 15 0 405445578 15381598208 31953 33554432000 4194304 4196468 140729911510368 140729911492912 139724457107191 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
/proc/9331/statm: 3755273 31953 3203 1 0 3716603 0
[pid=9331/tid=9332] ppid=9328 vsize=15021092 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/9331/task/9332/stat : 9332 (java) R 9328 9328 5595 0 -1 4202560 16958 0 0 0 63 5 0 0 20 0 15 0 405445579 15381598208 31953 33554432000 4194304 4196468 140729911510368 139724428940320 139724457129117 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9333] ppid=9328 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9333/stat : 9333 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15381598208 31953 33554432000 4194304 4196468 140729911510368 139724461349648 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9334] ppid=9328 vsize=15021092 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9334/stat : 9334 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723917568912 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9335] ppid=9328 vsize=15021092 memory=37404 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9335/stat : 9335 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405445580 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723916516368 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9336] ppid=9328 vsize=15021092 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9336/stat : 9336 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445580 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723915463824 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9337] ppid=9328 vsize=15021092 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9337/stat : 9337 (java) S 9328 9328 5595 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405445582 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723494684656 139724457118338 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9338] ppid=9328 vsize=15021092 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9338/stat : 9338 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405445582 15381598208 31953 33554432000 4194304 4196468 140729911510368 139722869433248 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9339] ppid=9328 vsize=15021092 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9339/stat : 9339 (java) S 9328 9328 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405445582 15381598208 31953 33554432000 4194304 4196468 140729911510368 139722735211504 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9340] ppid=9328 vsize=15021092 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9340/stat : 9340 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139722360707280 139724457125787 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9341] ppid=9328 vsize=15021092 memory=10604 CPUtime=0.1 cores=0,2,4,6
/proc/9331/task/9341/stat : 9341 (java) R 9328 9328 5595 0 -1 1077944384 754 0 0 0 10 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723493632496 139724457118338 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9342] ppid=9328 vsize=15021092 memory=3360 CPUtime=0.05 cores=0,2,4,6
/proc/9331/task/9342/stat : 9342 (java) R 9328 9328 5595 0 -1 1077944384 182 0 0 0 5 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723492579952 139724457118338 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9343] ppid=9328 vsize=15021092 memory=776 CPUtime=0.15 cores=0,2,4,6
/proc/9331/task/9343/stat : 9343 (java) S 9328 9328 5595 0 -1 1077944384 648 0 0 0 15 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723491527408 139724457118338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9344] ppid=9328 vsize=15021092 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9344/stat : 9344 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139721862802528 139724457117397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
[pid=9331/tid=9345] ppid=9328 vsize=15021092 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/9331/task/9345/stat : 9345 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405445585 15381598208 31953 33554432000 4194304 4196468 140729911510368 139723490474288 139724457118338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729911513898 140729911514266 140729911514266 140729911517135 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129208 KiB
[startup+1.50074 s]
/proc/loadavg: 2.06 2.01 2.05 5/235 9345
/proc/meminfo: memFree=15652180/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405445578 115843072 349 33554432000 4194304 5098028 140726008410672 140726008407928 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40139 s]
/proc/loadavg: 2.22 2.05 2.06 3/236 9362
/proc/meminfo: memFree=15704132/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1476 CPUtime=13.94 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 582 32101 0 0 0 0 1364 30 20 0 1 0 405445578 115843072 369 33554432000 4194304 5098028 140726008410672 140726008407416 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 369 311 221 0 87 0
[pid=9346] ppid=9328 vsize=8068440 memory=116920 CPUtime=1.14 cores=0,2,4,6
/proc/9346/stat : 9346 (java) S 9328 9328 5595 0 -1 1077944320 20023 0 0 0 107 7 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140734138235520 140255820570359 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
/proc/9346/statm: 2017110 29230 3209 1 0 1978454 0
[pid=9346/tid=9347] ppid=9328 vsize=8068440 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/9346/task/9347/stat : 9347 (java) S 9328 9328 5595 0 -1 1077944384 17197 0 0 0 71 5 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255792410528 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9348] ppid=9328 vsize=8068440 memory=6944613755361064352 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9348/stat : 9348 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446114 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255824812944 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9349] ppid=9328 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9349/stat : 9349 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255305612048 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9350] ppid=9328 vsize=8068440 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9350/stat : 9350 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255304559760 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9351] ppid=9328 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9351/stat : 9351 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255303506960 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9352] ppid=9328 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9352/stat : 9352 (java) S 9328 9328 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255266949232 140255820581506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9353] ppid=9328 vsize=8068440 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9353/stat : 9353 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254640071456 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9354] ppid=9328 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9354/stat : 9354 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446117 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254371636336 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9355] ppid=9328 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9355/stat : 9355 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253997127760 140255820588955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9356] ppid=9328 vsize=8068440 memory=776 CPUtime=0.09 cores=0,2,4,6
/proc/9346/task/9356/stat : 9356 (java) S 9328 9328 5595 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255265897072 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9357] ppid=9328 vsize=8068440 memory=1564 CPUtime=0.05 cores=0,2,4,6
/proc/9346/task/9357/stat : 9357 (java) S 9328 9328 5595 0 -1 1077944384 95 0 0 0 5 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255264844272 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9358] ppid=9328 vsize=8068440 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/9346/task/9358/stat : 9358 (java) S 9328 9328 5595 0 -1 1077944384 563 0 0 0 20 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255263791984 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9359] ppid=9328 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9359/stat : 9359 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253499223008 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9360] ppid=9328 vsize=8068440 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9360/stat : 9360 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446120 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255262738864 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
Current children cumulated CPU time: 15.08 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 118396 KiB
[startup+7.20098 s]
/proc/loadavg: 2.22 2.05 2.06 3/241 9368
/proc/meminfo: memFree=15676132/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1476 CPUtime=13.94 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 582 32101 0 0 0 0 1364 30 20 0 1 0 405445578 115843072 369 33554432000 4194304 5098028 140726008410672 140726008407416 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 369 311 221 0 87 0
[pid=9346] ppid=9328 vsize=8068440 memory=116920 CPUtime=1.14 cores=0,2,4,6
/proc/9346/stat : 9346 (java) S 9328 9328 5595 0 -1 1077944320 20025 0 0 0 107 7 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140734138235520 140255820570359 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
/proc/9346/statm: 2017110 29230 3209 1 0 1978454 0
[pid=9363] ppid=9346 vsize=36236 memory=12012 CPUtime=1.11 cores=0,2,4,6
/proc/9363/stat : 9363 (cryptominisat5) R 9346 9328 5595 0 -1 4202496 3242 0 0 0 111 0 0 0 20 0 1 0 405446186 37105664 3003 33554432000 4194304 4451008 140733132582976 140733132578904 140049847510951 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 11550720 140733132592061 140733132592192 140733132592192 140733132595142 0
/proc/9363/statm: 9059 3003 644 63 0 2786 0
[pid=9346/tid=9347] ppid=9328 vsize=8068440 memory=111636 CPUtime=0.76 cores=0,2,4,6
/proc/9346/task/9347/stat : 9347 (java) S 9328 9328 5595 0 -1 1077944384 17197 0 0 0 71 5 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255792410528 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9348] ppid=9328 vsize=8068440 memory=800 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9348/stat : 9348 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446114 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255824812944 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9349] ppid=9328 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9349/stat : 9349 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255305612048 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9350] ppid=9328 vsize=8068440 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9350/stat : 9350 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255304559760 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9351] ppid=9328 vsize=8068440 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9351/stat : 9351 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255303506960 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9352] ppid=9328 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9352/stat : 9352 (java) S 9328 9328 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255266949232 140255820581506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9353] ppid=9328 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9353/stat : 9353 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254640071456 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9354] ppid=9328 vsize=8068440 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9354/stat : 9354 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446117 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254371636336 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9355] ppid=9328 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9355/stat : 9355 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253997127760 140255820588955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9356] ppid=9328 vsize=8068440 memory=14004 CPUtime=0.09 cores=0,2,4,6
/proc/9346/task/9356/stat : 9356 (java) S 9328 9328 5595 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255265897072 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9357] ppid=9328 vsize=8068440 memory=19980 CPUtime=0.05 cores=0,2,4,6
/proc/9346/task/9357/stat : 9357 (java) S 9328 9328 5595 0 -1 1077944384 95 0 0 0 5 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255264844272 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9358] ppid=9328 vsize=8068440 memory=14048 CPUtime=0.2 cores=0,2,4,6
/proc/9346/task/9358/stat : 9358 (java) S 9328 9328 5595 0 -1 1077944384 564 0 0 0 20 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255263791984 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9359] ppid=9328 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9359/stat : 9359 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253499223008 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9360] ppid=9328 vsize=8068440 memory=500 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9360/stat : 9360 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446120 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255262738864 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9364] ppid=9328 vsize=8068440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9364/stat : 9364 (java) S 9328 9328 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405446186 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255254705088 140255820594969 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9366] ppid=9328 vsize=8068440 memory=11105 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9366/stat : 9366 (java) S 9328 9328 5595 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 405446187 8262082560 29230 33554432000 4194304 4196468 140734138252976 140252962336272 140255820592285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9367] ppid=9328 vsize=8068440 memory=140421541822839 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9367/stat : 9367 (java) S 9328 9328 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405446187 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253096558480 140255820592285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9368] ppid=9328 vsize=8068440 memory=140421541822962 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9368/stat : 9368 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446189 8262082560 29230 33554432000 4194304 4196468 140734138252976 140252693913008 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 8217804 KiB
Current children cumulated memory: 130408 KiB
[startup+7.60098 s]
/proc/loadavg: 2.22 2.05 2.06 3/241 9368
/proc/meminfo: memFree=15676132/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1476 CPUtime=13.94 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 582 32101 0 0 0 0 1364 30 20 0 1 0 405445578 115843072 369 33554432000 4194304 5098028 140726008410672 140726008407416 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 369 311 221 0 87 0
[pid=9346] ppid=9328 vsize=8068440 memory=116920 CPUtime=1.14 cores=0,2,4,6
/proc/9346/stat : 9346 (java) S 9328 9328 5595 0 -1 1077944320 20025 0 0 0 107 7 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140734138235520 140255820570359 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
/proc/9346/statm: 2017110 29230 3209 1 0 1978454 0
[pid=9363] ppid=9346 vsize=36908 memory=13592 CPUtime=1.51 cores=0,2,4,6
/proc/9363/stat : 9363 (cryptominisat5) R 9346 9328 5595 0 -1 4202496 3599 0 0 0 151 0 0 0 20 0 1 0 405446186 37793792 3398 33554432000 4194304 4451008 140733132582976 140733132578904 140049847518982 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 11550720 140733132592061 140733132592192 140733132592192 140733132595142 0
/proc/9363/statm: 9227 3398 644 63 0 2954 0
[pid=9346/tid=9347] ppid=9328 vsize=8068440 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/9346/task/9347/stat : 9347 (java) S 9328 9328 5595 0 -1 1077944384 17197 0 0 0 71 5 0 0 20 0 19 0 405446113 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255792410528 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9348] ppid=9328 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9348/stat : 9348 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446114 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255824812944 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9349] ppid=9328 vsize=8068440 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9349/stat : 9349 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255305612048 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9350] ppid=9328 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9350/stat : 9350 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255304559760 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9351] ppid=9328 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9351/stat : 9351 (java) S 9328 9328 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405446115 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255303506960 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9352] ppid=9328 vsize=8068440 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9352/stat : 9352 (java) S 9328 9328 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255266949232 140255820581506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9353] ppid=9328 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9353/stat : 9353 (java) S 9328 9328 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405446116 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254640071456 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9354] ppid=9328 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9354/stat : 9354 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446117 8262082560 29230 33554432000 4194304 4196468 140734138252976 140254371636336 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9355] ppid=9328 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9355/stat : 9355 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253997127760 140255820588955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9356] ppid=9328 vsize=8068440 memory=1564 CPUtime=0.09 cores=0,2,4,6
/proc/9346/task/9356/stat : 9356 (java) S 9328 9328 5595 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255265897072 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9357] ppid=9328 vsize=8068440 memory=5960 CPUtime=0.05 cores=0,2,4,6
/proc/9346/task/9357/stat : 9357 (java) S 9328 9328 5595 0 -1 1077944384 95 0 0 0 5 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255264844272 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9358] ppid=9328 vsize=8068440 memory=1060 CPUtime=0.2 cores=0,2,4,6
/proc/9346/task/9358/stat : 9358 (java) S 9328 9328 5595 0 -1 1077944384 564 0 0 0 20 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255263791984 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9359] ppid=9328 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9359/stat : 9359 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446119 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253499223008 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9360] ppid=9328 vsize=8068440 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9360/stat : 9360 (java) S 9328 9328 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405446120 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255262738864 140255820581506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9364] ppid=9328 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9364/stat : 9364 (java) S 9328 9328 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405446186 8262082560 29230 33554432000 4194304 4196468 140734138252976 140255254705088 140255820594969 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9366] ppid=9328 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9366/stat : 9366 (java) S 9328 9328 5595 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 405446187 8262082560 29230 33554432000 4194304 4196468 140734138252976 140252962336272 140255820592285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9367] ppid=9328 vsize=8068440 memory=19980 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9367/stat : 9367 (java) S 9328 9328 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405446187 8262082560 29230 33554432000 4194304 4196468 140734138252976 140253096558480 140255820592285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
[pid=9346/tid=9368] ppid=9328 vsize=8068440 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/9346/task/9368/stat : 9368 (java) S 9328 9328 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405446189 8262082560 29230 33554432000 4194304 4196468 140734138252976 140252693913008 140255820580565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39403520 140734138254332 140734138254490 140734138254490 140734138257359 0
Current children cumulated CPU time: 16.59 s
Current children cumulated vsize: 8218476 KiB
Current children cumulated memory: 131988 KiB
[startup+8.00377 s]*
/proc/loadavg: 2.22 2.05 2.06 6/238 9368
/proc/meminfo: memFree=15671520/32770624 swapFree=66959212/67108860
[pid=9328] ppid=9325 vsize=113128 memory=1476 CPUtime=13.94 cores=0,2,4,6
/proc/9328/stat : 9328 (scop.sh) S 9325 9328 5595 0 -1 4202496 582 32101 0 0 0 0 1364 30 20 0 1 0 405445578 115843072 369 33554432000 4194304 5098028 140726008410672 140726008407416 140662329893500 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11182080 140726008419171 140726008419440 140726008419440 140726008422349 0
/proc/9328/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 8.01397
CPU time (s): 17.3607
CPU user time (s): 16.9586
CPU system time (s): 0.402072
CPU usage (%): 216.63
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1129056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9586
system time used= 0.402072
maximum resident set size= 1132596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6255
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 9328
# total CPU time (s): 17.3607
# total CPU user time (s): 16.9586
# total CPU system time (s): 0.402072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070138 second user time and 0.140486 second system time
The end