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-12597-serial-file.bin HOME/instance-4388047-1568294184.xml
0.65/0.52
0.65/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Sep 12 15:15:45 CEST 2019
0.65/0.55 c PID: 12600
0.65/0.55 c IP: 172.20.3.140
0.65/0.55 c HOST: node140.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.41/0.93 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 46
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.27/1.30 c (0,0) Constraint Name Generate Begin
2.27/1.30 c (0,0) Ctr:HOME/instance-4388047-1568294184.xml,Num:Var:WeightedSum
2.27/1.30 c (0,0) Constraint Name Generate End
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.27/1.30 c (0,0) CSP to CSPinCNF Begin
2.27/1.30 c (0,0) translated 8 (10%) constraints
2.27/1.30 c (0,0) translated 16 (20%) constraints
2.27/1.30 c (0,0) translated 24 (30%) constraints
2.27/1.30 c (0,0) translated 32 (40%) constraints
2.27/1.30 c (0,0) translated 40 (50%) constraints
2.27/1.30 c (0,0) translated 48 (60%) constraints
2.27/1.30 c (0,0) translated 56 (70%) constraints
2.27/1.30 c (0,0) translated 64 (80%) constraints
2.27/1.30 c (0,0) translated 72 (90%) constraints
2.27/1.30 c (0,0) translated 80 (100%) constraints
2.27/1.30 c (0,0) ===========================================
2.27/1.30 c (0,0) Hybrid: #OE=1, #LE=99
2.27/1.30 c (0,0) Hybrid
2.27/1.30 c (0,0) ===========================================
2.27/1.30 c (0,0) translated 8 (10%) constraints
2.27/1.30 c (0,0) translated 16 (20%) constraints
2.27/1.30 c (0,0) translated 24 (30%) constraints
2.27/1.30 c (0,0) translated 32 (40%) constraints
2.27/1.30 c (0,0) translated 40 (50%) constraints
2.27/1.30 c (0,0) translated 48 (60%) constraints
2.27/1.30 c (0,0) translated 56 (70%) constraints
2.27/1.30 c (0,0) translated 64 (80%) constraints
2.27/1.30 c (0,0) translated 72 (90%) constraints
2.27/1.30 c (0,0) translated 80 (100%) constraints
2.27/1.30 c (0,0) CSP to CSPinCNF End
2.27/1.30 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.27/1.30 c (0,0) CSPinCNF Propagation Begin
2.27/1.30 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.27/1.30 c (0,0) CSPinCNF Propagation End
2.27/1.30 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.27/1.30 c (0,0) Hybrid: #OE=1, #LE=99
2.27/1.30 c (0,0) Simplify CSPinCNF Begin
2.27/1.30 c (0,0) Simplify CSPinCNF End
2.27/1.30 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.27/1.30 c (0,0) Calculate Precise Domain Begin
2.27/1.30 c (0,0) 0 values are removed by re-calculation
2.27/1.30 c (0,0) Calculate Precise Domain End
2.27/1.30 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46
2.27/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.27/1.30 c (0,0) CSPinCNF to SatSolver Begin
4.08/2.22 c (1,1) 16 (10 %) CSP clauses are encoded (0 SAT variables, 311954 SAT clauses)
4.50/2.65 c (2,2) 32 (20 %) CSP clauses are encoded (0 SAT variables, 521423 SAT clauses)
5.42/3.51 c (2,2) 48 (30 %) CSP clauses are encoded (0 SAT variables, 941013 SAT clauses)
6.12/4.20 c (3,3) 64 (40 %) CSP clauses are encoded (0 SAT variables, 1277404 SAT clauses)
6.84/4.82 c (4,4) 80 (50 %) CSP clauses are encoded (0 SAT variables, 1568352 SAT clauses)
7.09/5.05 c (4,4) 96 (60 %) CSP clauses are encoded (0 SAT variables, 1685766 SAT clauses)
7.49/5.50 c (4,4) 112 (70 %) CSP clauses are encoded (0 SAT variables, 1932706 SAT clauses)
7.69/5.64 c (5,5) 128 (80 %) CSP clauses are encoded (0 SAT variables, 2014839 SAT clauses)
8.25/6.18 c (5,5) 144 (90 %) CSP clauses are encoded (0 SAT variables, 2300423 SAT clauses)
8.85/6.77 c (6,6) 160 (100 %) CSP clauses are encoded (0 SAT variables, 2626417 SAT clauses)
8.95/6.82 c (6,6) CSPinCNF to SatSolver End
8.95/6.82 c (6,6) Heap : 2011 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
8.95/6.82 c (6,6) 960903 bool, 2653696 clause
8.95/6.82 c (6,6) Export Begin
9.12/6.95 c (6,6) Export to HOME/scop-12597-serial-file.bin
9.12/6.95 c (6,6) Export End
9.12/6.95 c (6,6) Export File Size: 0.11 MB
9.12/6.95 c (6,6) 0,0,0,0,0,0,6,STOP-AFTER(DIMACS)
9.12/6.95 c END-Prog: Thu Sep 12 15:15:51 CEST 2019
9.12/6.97 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12597-serial-file.bin
9.85/7.43 c (0,0) Read Serial File Begin
9.85/7.43 c (0,0) HOME/scop-12597-serial-file.bin
10.13/7.68 c (0,0) Read Serial File End
10.43/7.70
10.43/7.70 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
10.43/7.70 (Solving Process)
10.43/7.70
10.43/7.72 c BEGIN-Prog: Thu Sep 12 15:15:52 CEST 2019
10.43/7.72 c PID: 12615
10.43/7.72 c IP: 172.20.3.140
10.43/7.72 c HOST: node140.alineos.net
10.43/7.72 c (0,0) SatSolver.solve Begin
10.43/7.72 c (0,0) HOME/cryptominisat5 HOME/instance-4388047-1568294184.xml-scop-12600.cnf
10.43/7.75 c (0,0) c Outputting solution to console
10.43/7.75 c (0,0) c CryptoMiniSat version 5.6.8
10.43/7.75 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
10.43/7.75 c (0,0) c CMS SHA revision GIT-notfound
10.43/7.75 c (0,0) c CMS is MIT licensed
10.43/7.75 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
10.43/7.75 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
10.43/7.75 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388047-1568294184.xml-scop-12600.cnf
10.43/7.75 c (0,0) c Reading file 'HOME/instance-4388047-1568294184.xml-scop-12600.cnf'
10.43/7.75 c (0,0) c -- header says num vars: 960903
10.43/7.75 c (0,0) c -- header says num clauses: 2653696
11.62/8.70 c (1,0) c -- clauses added: 2653696
11.62/8.70 c (1,0) c -- xor clauses added: 0
11.62/8.70 c (1,0) c -- vars added 960903
11.62/8.70 c (1,0) c Parsing time: 0.85 s
11.72/8.87 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
11.72/8.89 c (1,0) c [distill] long cls tried: 40/27 cl-short:38 lit-r:30 T: 0.02 T-out: N T-r: 99.91%
14.93/12.03 c (4,0) c [distill] long cls tried: 457/332 cl-short:415 lit-r:488 T: 0.23 T-out: N T-r: 98.97%
18.93/16.02 c (8,0) c [distill] long cls tried: 467/707 cl-short:464 lit-r:360 T: 0.34 T-out: N T-r: 98.53%
20.33/17.48 c (10,0) c glue 1 65 8193 937223 2427K 225K 3.00 2.91 894 2902 3891 400 20.06 19.17
27.63/24.70 c (17,0) c [distill] long cls tried: 2052/2387 cl-short:1927 lit-r:3462 T: 2.72 T-out: N T-r: 88.66%
32.04/29.19 c (21,0) c ------- FINAL TOTAL SEARCH STATS ---------
32.04/29.19 c (21,0) c UIP search time : 20.31 (95.94 % time)
32.04/29.19 c (21,0) c restarts : 95 (162.03 confls per restart)
32.04/29.19 c (21,0) c blocked restarts : 32 (0.34 per normal restart)
32.04/29.19 c (21,0) c time : 20.31
32.04/29.19 c (21,0) c decisions : 401576 (0.00 % random)
32.04/29.19 c (21,0) c propagations : 146252158
32.04/29.19 c (21,0) c decisions/conflicts : 26.09
32.04/29.19 c (21,0) c conflicts : 15393 (758.03 / sec)
32.04/29.19 c (21,0) c conf lits non-minim : 440629 (28.63 lit/confl)
32.04/29.19 c (21,0) c conf lits final : 18.30
32.04/29.19 c (21,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
32.04/29.19 c (21,0) c red which0 : 2076 (13.49 % of confl)
32.04/29.19 c (21,0) c props/decision : 0.00
32.04/29.19 c (21,0) c props/conflict : 0.00
32.04/29.19 c (21,0) c 0-depth assigns : 38125 (3.97 % vars)
32.04/29.19 c (21,0) c 0-depth assigns by CNF : 252 (0.03 % vars)
32.04/29.19 c (21,0) c reduceDB time : 0.00 (0.00 % time)
32.04/29.19 c (21,0) c OccSimplifier time : 0.00 (0.00 % time)
32.04/29.19 c (21,0) c [occur] 0.00 is overhead
32.04/29.19 c (21,0) c [occur] link-in T: 0.00 cleanup T: 0.00
32.04/29.19 c (21,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
32.04/29.19 c (21,0) c SCC time : 0.00 (0.00 % time)
32.04/29.19 c (21,0) c [scc] new: 0 BP 0M T: 0.00
32.04/29.19 c (21,0) c vrep replace time : 0.00 (0.00 % time)
32.04/29.19 c (21,0) c vrep tree roots : 0
32.04/29.19 c (21,0) c vrep trees' crown : 0 (0.00 leafs/tree)
32.04/29.19 c (21,0) c distill time : 3.30 (15.60 % time)
32.04/29.19 c (21,0) c strength cache-irred time: 0.00 (0.00 % time)
32.04/29.19 c (21,0) c strength cache-red time : 0.00 (0.00 % time)
32.04/29.19 c (21,0) c Conflicts in UIP : 15393 (727.26 confl/time_this_thread)
32.04/29.19 c (21,0) c Mem used : 425.49 MB
32.04/29.19 c (21,0) c Total time (this thread) : 21.17
32.04/29.19 c (21,0) s SATISFIABLE
34.13/30.20 c (22,0) SatSolver.solve End
34.13/30.21 c (22,0) Heap : 553 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
34.13/30.21 c (22,0) Show results Begin
34.45/30.30 c (22,0) x[0] = 43
34.45/30.30 c (22,0) x[1] = 3
34.45/30.30 c (22,0) x[2] = 41
34.45/30.30 c (22,0) x[3] = 31
34.45/30.31 c (22,0) x[4] = 23
34.45/30.31 c (22,0) x[5] = 31
34.45/30.31 c (22,0) x[6] = 3
34.45/30.31 c (22,0) x[7] = 41
34.45/30.31 c (22,0) x[8] = 29
34.45/30.31 c (22,0) x[9] = 3
34.45/30.31 c (22,0) x[10] = 5
34.45/30.31 c (22,0) x[11] = 19
34.45/30.31 c (22,0) x[12] = 13
34.45/30.31 c (22,0) x[13] = 11
34.45/30.31 c (22,0) x[14] = 23
34.45/30.31 c (22,0) x[15] = 3
34.45/30.31 c (22,0) x[16] = 2
34.45/30.31 c (22,0) x[17] = 17
34.45/30.31 c (22,0) x[18] = 19
34.45/30.31 c (22,0) x[19] = 3
34.45/30.31 c (22,0) x[20] = 37
34.45/30.31 c (22,0) x[21] = 23
34.45/30.31 c (22,0) x[22] = 41
34.45/30.31 c (22,0) x[23] = 29
34.45/30.31 c (22,0) x[24] = 5
34.45/30.31 c (22,0) x[25] = 13
34.45/30.31 c (22,0) x[26] = 5
34.45/30.31 c (22,0) x[27] = 43
34.45/30.31 c (22,0) x[28] = 19
34.45/30.31 c (22,0) x[29] = 31
34.45/30.31 c (22,0) x[30] = 47
34.45/30.31 c (22,0) x[31] = 41
34.45/30.31 c (22,0) x[32] = 41
34.45/30.31 c (22,0) x[33] = 7
34.45/30.31 c (22,0) x[34] = 47
34.45/30.31 c (22,0) x[35] = 41
34.45/30.31 c (22,0) x[36] = 43
34.45/30.31 c (22,0) x[37] = 3
34.45/30.31 c (22,0) x[38] = 3
34.45/30.31 c (22,0) x[39] = 19
34.45/30.31 c (22,0) x[40] = 29
34.45/30.31 c (22,0) x[41] = 7
34.45/30.31 c (22,0) x[42] = 17
34.45/30.31 c (22,0) x[43] = 47
34.45/30.31 c (22,0) x[44] = 47
34.45/30.31 c (22,0) x[45] = 19
34.45/30.31 c (22,0) x[46] = 23
34.45/30.31 c (22,0) x[47] = 47
34.45/30.31 c (22,0) x[48] = 13
34.45/30.31 c (22,0) x[49] = 2
34.45/30.31 c (22,0) x[50] = 23
34.45/30.31 c (22,0) x[51] = 3
34.45/30.31 c (22,0) x[52] = 3
34.45/30.31 c (22,0) x[53] = 13
34.45/30.31 c (22,0) x[54] = 37
34.45/30.31 c (22,0) x[55] = 7
34.45/30.31 c (22,0) x[56] = 5
34.45/30.31 c (22,0) x[57] = 13
34.45/30.31 c (22,0) x[58] = 3
34.45/30.31 c (22,0) x[59] = 3
34.45/30.31 c (22,0) x[60] = 2
34.45/30.31 c (22,0) x[61] = 2
34.45/30.31 c (22,0) x[62] = 47
34.45/30.31 c (22,0) x[63] = 41
34.45/30.31 c (22,0) x[64] = 37
34.45/30.31 c (22,0) x[65] = 13
34.45/30.31 c (22,0) x[66] = 3
34.45/30.31 c (22,0) x[67] = 29
34.45/30.31 c (22,0) x[68] = 43
34.45/30.31 c (22,0) x[69] = 5
34.45/30.31 c (22,0) x[70] = 29
34.45/30.31 c (22,0) x[71] = 2
34.45/30.31 c (22,0) x[72] = 41
34.45/30.31 c (22,0) x[73] = 2
34.45/30.31 c (22,0) x[74] = 47
34.45/30.31 c (22,0) x[75] = 41
34.45/30.31 c (22,0) x[76] = 47
34.45/30.31 c (22,0) x[77] = 47
34.45/30.31 c (22,0) x[78] = 7
34.45/30.31 c (22,0) x[79] = 13
34.45/30.31 c (22,0) x[80] = 19
34.45/30.31 c (22,0) x[81] = 7
34.45/30.31 c (22,0) x[82] = 17
34.45/30.31 c (22,0) x[83] = 23
34.45/30.31 c (22,0) x[84] = 23
34.45/30.31 c (22,0) x[85] = 29
34.45/30.31 c (22,0) x[86] = 7
34.45/30.31 c (22,0) x[87] = 37
34.45/30.31 c (22,0) x[88] = 47
34.45/30.31 c (22,0) x[89] = 11
34.45/30.31 c (22,0) x[90] = 41
34.45/30.31 c (22,0) x[91] = 2
34.45/30.31 c (22,0) x[92] = 37
34.45/30.31 c (22,0) x[93] = 7
34.45/30.31 c (22,0) x[94] = 11
34.45/30.31 c (22,0) x[95] = 19
34.45/30.31 c (22,0) x[96] = 3
34.45/30.31 c (22,0) x[97] = 17
34.45/30.31 c (22,0) x[98] = 29
34.45/30.31 c (22,0) x[99] = 47
34.45/30.31 s SATISFIABLE
34.45/30.31 v <instantiation>
34.45/30.31 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] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
34.45/30.31 v <values>43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47</values>
34.45/30.31 v </instantiation>
34.45/30.31 c (22,0) Show results End
34.45/30.31 c (22,0) Heap : 553 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
34.45/30.31 c (22,0) 22,22,STOP-AFTER(ALL)
34.45/30.31 c END-Prog: Thu Sep 12 15:16:15 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 (9326 MiB free)
memory of node 1: 16384 MiB (11599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388047-1568294184/watcher-4388047-1568294184 -o /tmp/evaluation-result-4388047-1568294184/solver-4388047-1568294184 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388047-1568294184.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12597, runsolver pid=12594
[startup+0.100822 s]*
/proc/loadavg: 3.48 3.70 3.03 3/234 12614
/proc/meminfo: memFree=21366816/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405356908 115843072 349 33554432000 4194304 5098028 140722156275248 140722156272504 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 349 296 221 0 87 0
[pid=12600] ppid=12597 vsize=15012696 memory=73980 CPUtime=0.11 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12597 9001 0 -1 1077944320 6725 0 0 0 10 1 0 0 20 0 15 0 405356908 15373000704 18495 33554432000 4194304 4196468 140721272158752 140721272141296 139636301233911 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
/proc/12600/statm: 3753174 18495 2944 1 0 3715579 0
[pid=12600/tid=12601] ppid=12597 vsize=15012696 memory=-6148958050141388737 CPUtime=0.09 cores=1,3,5,7
/proc/12600/task/12601/stat : 12601 (java) R 12597 12597 9001 0 -1 4202560 4616 0 0 0 8 1 0 0 20 0 15 0 405356908 15373000704 18561 33554432000 4194304 4196468 140721272158752 139636273025016 139636293471038 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12602] ppid=12597 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 18561 33554432000 4194304 4196468 140721272158752 139636305476752 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12603] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 18561 33554432000 4194304 4196468 140721272158752 139636104252432 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12604] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 18561 33554432000 4194304 4196468 140721272158752 139636103199632 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12605] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 18561 33554432000 4194304 4196468 140721272158752 139636102146832 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12606] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356911 15373000704 18561 33554432000 4194304 4196468 140721272158752 139635070019952 139636301245058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12607] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 18561 33554432000 4194304 4196468 140721272158752 139634956821536 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12608] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 18561 33554432000 4194304 4196468 140721272158752 139634688385904 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12609] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 18561 33554432000 4194304 4196468 140721272158752 139634313877328 139636301252507 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12610] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12597 9001 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 18561 33554432000 4194304 4196468 140721272158752 139635068967792 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12611] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12597 9001 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 18561 33554432000 4194304 4196468 140721272158752 139635067914992 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12612] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0.01 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) R 12597 12597 9001 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 15 0 405356914 15373000704 18561 33554432000 4194304 4196468 140721272158752 139635066859128 139636279598572 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12613] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 18561 33554432000 4194304 4196468 140721272158752 139633815972576 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12614] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356915 15373000704 18561 33554432000 4194304 4196468 140721272158752 139635065809584 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75376 KiB
[startup+0.210895 s]*
/proc/loadavg: 3.48 3.70 3.03 3/234 12614
/proc/meminfo: memFree=21348796/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405356908 115843072 349 33554432000 4194304 5098028 140722156275248 140722156272504 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 349 296 221 0 87 0
[pid=12600] ppid=12597 vsize=15012696 memory=89324 CPUtime=0.25 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12597 9001 0 -1 1077944320 11862 0 0 0 22 3 0 0 20 0 15 0 405356908 15373000704 22331 33554432000 4194304 4196468 140721272158752 140721272141296 139636301233911 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
/proc/12600/statm: 3753174 22331 2968 1 0 3715579 0
[pid=12600/tid=12601] ppid=12597 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12600/task/12601/stat : 12601 (java) R 12597 12597 9001 0 -1 4202560 9601 0 0 0 18 2 0 0 20 0 15 0 405356908 15373000704 22331 33554432000 4194304 4196468 140721272158752 139636273051680 139636286927333 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12602] ppid=12597 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 22331 33554432000 4194304 4196468 140721272158752 139636305476752 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12603] ppid=12597 vsize=15012696 memory=140147039667244 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 22331 33554432000 4194304 4196468 140721272158752 139636104252432 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12604] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 22331 33554432000 4194304 4196468 140721272158752 139636103199632 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12605] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 22331 33554432000 4194304 4196468 140721272158752 139636102146832 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12606] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356911 15373000704 22331 33554432000 4194304 4196468 140721272158752 139635070019952 139636301245058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12607] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 22331 33554432000 4194304 4196468 140721272158752 139634956821536 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12608] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 22331 33554432000 4194304 4196468 140721272158752 139634688385904 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12609] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 22331 33554432000 4194304 4196468 140721272158752 139634313877328 139636301252507 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12610] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12597 9001 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 22331 33554432000 4194304 4196468 140721272158752 139635068967792 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12611] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12597 9001 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 22331 33554432000 4194304 4196468 140721272158752 139635067914992 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12612] ppid=12597 vsize=15012696 memory=140147039655552 CPUtime=0.03 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) R 12597 12597 9001 0 -1 4202560 443 0 0 0 3 0 0 0 20 0 15 0 405356914 15373000704 22331 33554432000 4194304 4196468 140721272158752 139635066862192 139636280368452 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12613] ppid=12597 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 22331 33554432000 4194304 4196468 140721272158752 139633815972576 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12614] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356915 15373000704 22331 33554432000 4194304 4196468 140721272158752 139635065809584 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90720 KiB
[startup+0.310819 s]*
/proc/loadavg: 3.48 3.70 3.03 4/234 12614
/proc/meminfo: memFree=21346624/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405356908 115843072 349 33554432000 4194304 5098028 140722156275248 140722156272504 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 349 296 221 0 87 0
[pid=12600] ppid=12597 vsize=15012696 memory=92672 CPUtime=0.42 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12597 9001 0 -1 1077944320 12683 0 0 0 39 3 0 0 20 0 15 0 405356908 15373000704 23168 33554432000 4194304 4196468 140721272158752 140721272141296 139636301233911 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
/proc/12600/statm: 3753174 23168 3031 1 0 3715579 0
[pid=12600/tid=12601] ppid=12597 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/12600/task/12601/stat : 12601 (java) R 12597 12597 9001 0 -1 4202560 10270 0 0 0 27 3 0 0 20 0 15 0 405356908 15373000704 23168 33554432000 4194304 4196468 140721272158752 139636273024560 139636281512312 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12602] ppid=12597 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 23168 33554432000 4194304 4196468 140721272158752 139636305476752 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12603] ppid=12597 vsize=15012696 memory=3616445687635651962 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 23168 33554432000 4194304 4196468 140721272158752 139636104252432 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12604] ppid=12597 vsize=15012696 memory=280293860997488 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 23168 33554432000 4194304 4196468 140721272158752 139636103199632 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12605] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15373000704 23168 33554432000 4194304 4196468 140721272158752 139636102146832 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12606] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356911 15373000704 23168 33554432000 4194304 4196468 140721272158752 139635070019952 139636301245058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12607] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 23168 33554432000 4194304 4196468 140721272158752 139634956821536 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12608] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356912 15373000704 23168 33554432000 4194304 4196468 140721272158752 139634688385904 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12609] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 23168 33554432000 4194304 4196468 140721272158752 139634313877328 139636301252507 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12610] ppid=12597 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) S 12597 12597 9001 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 405356914 15373000704 23168 33554432000 4194304 4196468 140721272158752 139635068967792 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12611] ppid=12597 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12597 9001 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 15 0 405356914 15373000704 23168 33554432000 4194304 4196468 140721272158752 139635067914992 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12612] ppid=12597 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) S 12597 12597 9001 0 -1 1077944384 464 0 0 0 7 0 0 0 20 0 15 0 405356914 15373000704 23168 33554432000 4194304 4196468 140721272158752 139635066862192 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12613] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15373000704 23168 33554432000 4194304 4196468 140721272158752 139633815972576 139636301244117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12614] ppid=12597 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356915 15373000704 23168 33554432000 4194304 4196468 140721272158752 139635065809584 139636301245058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94068 KiB
[startup+0.700812 s]
/proc/loadavg: 3.48 3.70 3.03 3/234 12614
/proc/meminfo: memFree=21325020/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405356908 115843072 349 33554432000 4194304 5098028 140722156275248 140722156272504 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 349 296 221 0 87 0
[pid=12600] ppid=12597 vsize=15021092 memory=130200 CPUtime=1 cores=1,3,5,7
/proc/12600/stat : 12600 (java) S 12597 12597 9001 0 -1 1077944320 19874 0 0 0 94 6 0 0 20 0 15 0 405356908 15381598208 32550 33554432000 4194304 4196468 140721272158752 140721272141296 139636301233911 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
/proc/12600/statm: 3755273 32550 3217 1 0 3716603 0
[pid=12600/tid=12601] ppid=12597 vsize=15021092 memory=1540 CPUtime=0.67 cores=1,3,5,7
/proc/12600/task/12601/stat : 12601 (java) R 12597 12597 9001 0 -1 4202560 17019 0 0 0 62 5 0 0 20 0 15 0 405356908 15381598208 32550 33554432000 4194304 4196468 140721272158752 139636273056480 139636285314398 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12602] ppid=12597 vsize=15021092 memory=772 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12602/stat : 12602 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15381598208 32550 33554432000 4194304 4196468 140721272158752 139636305476752 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12603] ppid=12597 vsize=15021092 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12603/stat : 12603 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15381598208 32550 33554432000 4194304 4196468 140721272158752 139636104252432 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12604] ppid=12597 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12604/stat : 12604 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356910 15381598208 32550 33554432000 4194304 4196468 140721272158752 139636103199632 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12605] ppid=12597 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12605/stat : 12605 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405356910 15381598208 32550 33554432000 4194304 4196468 140721272158752 139636102146832 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12606] ppid=12597 vsize=15021092 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12606/stat : 12606 (java) S 12597 12597 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405356911 15381598208 32550 33554432000 4194304 4196468 140721272158752 139635070019952 139636301245058 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12607] ppid=12597 vsize=15021092 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12607/stat : 12607 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405356912 15381598208 32550 33554432000 4194304 4196468 140721272158752 139634956821536 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12608] ppid=12597 vsize=15021092 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12608/stat : 12608 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356912 15381598208 32550 33554432000 4194304 4196468 140721272158752 139634688385904 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12609] ppid=12597 vsize=15021092 memory=5888 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12609/stat : 12609 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15381598208 32550 33554432000 4194304 4196468 140721272158752 139634313877328 139636301252507 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12610] ppid=12597 vsize=15021092 memory=612 CPUtime=0.06 cores=1,3,5,7
/proc/12600/task/12610/stat : 12610 (java) R 12597 12597 9001 0 -1 1077944384 477 0 0 0 6 0 0 0 20 0 15 0 405356914 15381598208 32550 33554432000 4194304 4196468 140721272158752 139635068967792 139636301245058 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12611] ppid=12597 vsize=15021092 memory=1220 CPUtime=0.09 cores=1,3,5,7
/proc/12600/task/12611/stat : 12611 (java) S 12597 12597 9001 0 -1 1077944384 472 0 0 0 9 0 0 0 20 0 15 0 405356914 15381598208 32550 33554432000 4194304 4196468 140721272158752 139635067914992 139636301245058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12612] ppid=12597 vsize=15021092 memory=14004 CPUtime=0.15 cores=1,3,5,7
/proc/12600/task/12612/stat : 12612 (java) R 12597 12597 9001 0 -1 4202560 572 0 0 0 15 0 0 0 20 0 15 0 405356914 15381598208 32550 33554432000 4194304 4196468 140721272158752 139635066862192 139636285573272 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12613] ppid=12597 vsize=15021092 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12613/stat : 12613 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405356914 15381598208 32550 33554432000 4194304 4196468 140721272158752 139633815972576 139636301244117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
[pid=12600/tid=12614] ppid=12597 vsize=15021092 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12600/task/12614/stat : 12614 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405356915 15381598208 32550 33554432000 4194304 4196468 140721272158752 139635065809584 139636301245058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16527360 140721272161065 140721272161434 140721272161434 140721272164303 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131596 KiB
[startup+1.50083 s]
/proc/loadavg: 3.48 3.70 3.03 3/234 12614
/proc/meminfo: memFree=21287104/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405356908 115843072 349 33554432000 4194304 5098028 140722156275248 140722156272504 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/12615/task/12631/stat : 12631 (java) S 12597 12597 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405357682 8262082560 31262 33554432000 4194304 4196468 140733161053456 140475630024256 140476176903961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12633] ppid=12597 vsize=8068440 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12633/stat : 12633 (java) S 12597 12597 9001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405357683 8262082560 31262 33554432000 4194304 4196468 140733161053456 140473414959280 140476176901277 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12634] ppid=12597 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12634/stat : 12634 (java) S 12597 12597 9001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405357683 8262082560 31262 33554432000 4194304 4196468 140733161053456 140473146522928 140476176901277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12635] ppid=12597 vsize=8068440 memory=280293861534912 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12635/stat : 12635 (java) S 12597 12597 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405357686 8262082560 31262 33554432000 4194304 4196468 140733161053456 140473683401776 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
Current children cumulated CPU time: 31.83 s
Current children cumulated vsize: 8665744 KiB
Current children cumulated memory: 551224 KiB
[startup+29.701 s]
/proc/loadavg: 3.06 3.58 3.01 3/239 12635
/proc/meminfo: memFree=20833284/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1476 CPUtime=9.29 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 583 26611 0 0 0 0 869 60 20 0 1 0 405356908 115843072 369 33554432000 4194304 5098028 140722156275248 140722156271992 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 369 311 221 0 87 0
[pid=12615] ppid=12597 vsize=8068440 memory=379428 CPUtime=2.7 cores=1,3,5,7
/proc/12615/stat : 12615 (java) S 12597 12597 9001 0 -1 1077944320 23457 0 0 0 256 14 0 0 20 0 19 0 405357605 8262082560 94857 33554432000 4194304 4196468 140733161053456 140733161036000 140476176879351 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
/proc/12615/statm: 2017110 94857 3240 1 0 1978454 0
[pid=12630] ppid=12615 vsize=496264 memory=435840 CPUtime=21.6 cores=1,3,5,7
/proc/12630/stat : 12630 (cryptominisat5) R 12615 12597 9001 0 -1 4202496 306522 0 0 0 2130 30 0 0 20 0 1 0 405357682 508174336 108960 33554432000 4194304 4451008 140736408513392 140736408510616 139810199514208 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 13131776 140736408515516 140736408515648 140736408515648 140736408518598 0
/proc/12630/statm: 124066 108960 688 63 0 117793 0
[pid=12615/tid=12616] ppid=12597 vsize=8068440 memory=8039887049847965091 CPUtime=0.8 cores=1,3,5,7
/proc/12615/task/12616/stat : 12616 (java) S 12597 12597 9001 0 -1 1077944384 16822 0 0 0 74 6 0 0 20 0 19 0 405357606 8262082560 94857 33554432000 4194304 4196468 140733161053456 140476148719520 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12617] ppid=12597 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12617/stat : 12617 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 94857 33554432000 4194304 4196468 140733161053456 140476181121296 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12618] ppid=12597 vsize=8068440 memory=125048 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12618/stat : 12618 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475981289872 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12619] ppid=12597 vsize=8068440 memory=421328 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12619/stat : 12619 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475980237328 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12620] ppid=12597 vsize=8068440 memory=280293861929216 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12620/stat : 12620 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475979184784 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12621] ppid=12597 vsize=8068440 memory=7666928013906499175 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12621/stat : 12621 (java) S 12597 12597 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405357608 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475420867056 140476176890498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12622] ppid=12597 vsize=8068440 memory=7666928013906499175 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12622/stat : 12622 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405357609 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475092690336 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12623] ppid=12597 vsize=8068440 memory=7380106142448641901 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12623/stat : 12623 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357609 8262082560 94857 33554432000 4194304 4196468 140733161053456 140474824254960 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12624] ppid=12597 vsize=8068440 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12624/stat : 12624 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357611 8262082560 94857 33554432000 4194304 4196468 140733161053456 140474449746640 140476176897947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12625] ppid=12597 vsize=8068440 memory=36768 CPUtime=0.53 cores=1,3,5,7
/proc/12615/task/12625/stat : 12625 (java) S 12597 12597 9001 0 -1 1077944384 1849 0 0 0 53 0 0 0 20 0 19 0 405357611 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475419813872 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12626] ppid=12597 vsize=8068440 memory=988 CPUtime=0.48 cores=1,3,5,7
/proc/12615/task/12626/stat : 12626 (java) S 12597 12597 9001 0 -1 1077944384 1777 0 0 0 48 0 0 0 20 0 19 0 405357611 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475418761328 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12627] ppid=12597 vsize=8068440 memory=2016 CPUtime=0.33 cores=1,3,5,7
/proc/12615/task/12627/stat : 12627 (java) S 12597 12597 9001 0 -1 1077944384 1414 0 0 0 33 0 0 0 20 0 19 0 405357611 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475417708784 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12628] ppid=12597 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12628/stat : 12628 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357612 8262082560 94857 33554432000 4194304 4196468 140733161053456 140473951840864 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12629] ppid=12597 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12629/stat : 12629 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357612 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475416656688 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12631] ppid=12597 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12631/stat : 12631 (java) S 12597 12597 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405357682 8262082560 94857 33554432000 4194304 4196468 140733161053456 140475630024256 140476176903961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12633] ppid=12597 vsize=8068440 memory=10500 CPUtime=0.49 cores=1,3,5,7
/proc/12615/task/12633/stat : 12633 (java) R 12597 12597 9001 0 -1 4202560 211 0 0 0 45 4 0 0 20 0 19 0 405357683 8262082560 94857 33554432000 4194304 4196468 140733161053456 140473414959616 140476176901277 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12634] ppid=12597 vsize=8068440 memory=8039887049847965091 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12634/stat : 12634 (java) S 12597 12597 9001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405357683 8262082560 94857 33554432000 4194304 4196468 140733161053456 140473146522928 140476176901277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12635] ppid=12597 vsize=8068440 memory=419876 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12635/stat : 12635 (java) S 12597 12597 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405357686 8262082560 94857 33554432000 4194304 4196468 140733161053456 140473683401776 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
Current children cumulated CPU time: 33.59 s
Current children cumulated vsize: 8677832 KiB
Current children cumulated memory: 816744 KiB
[startup+30.101 s]*
/proc/loadavg: 3.06 3.58 3.01 3/239 12635
/proc/meminfo: memFree=20511944/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1476 CPUtime=9.29 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 583 26611 0 0 0 0 869 60 20 0 1 0 405356908 115843072 369 33554432000 4194304 5098028 140722156275248 140722156271992 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 369 311 221 0 87 0
[pid=12615] ppid=12597 vsize=8068440 memory=567912 CPUtime=2.94 cores=1,3,5,7
/proc/12615/stat : 12615 (java) S 12597 12597 9001 0 -1 1077944320 23555 0 0 0 277 17 0 0 20 0 19 0 405357605 8262082560 141978 33554432000 4194304 4196468 140733161053456 140733161036000 140476176879351 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
/proc/12615/statm: 2017110 141978 3240 1 0 1978454 0
[pid=12630] ppid=12615 vsize=350552 memory=309392 CPUtime=21.9 cores=1,3,5,7
/proc/12630/stat : 12630 (cryptominisat5) R 12615 12597 9001 0 -1 4202496 308736 0 0 0 2157 33 0 0 20 0 1 0 405357682 358965248 77348 33554432000 4194304 4451008 140736408513392 140736408510616 139810199066622 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 13131776 140736408515516 140736408515648 140736408515648 140736408518598 0
/proc/12630/statm: 87638 77348 693 63 0 81365 0
[pid=12615/tid=12616] ppid=12597 vsize=8068440 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/12615/task/12616/stat : 12616 (java) S 12597 12597 9001 0 -1 1077944384 16822 0 0 0 74 6 0 0 20 0 19 0 405357606 8262082560 141978 33554432000 4194304 4196468 140733161053456 140476148719520 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12617] ppid=12597 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12617/stat : 12617 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 141978 33554432000 4194304 4196468 140733161053456 140476181121296 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12618] ppid=12597 vsize=8068440 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12618/stat : 12618 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475981289872 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12619] ppid=12597 vsize=8068440 memory=8039887049847965091 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12619/stat : 12619 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475980237328 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12620] ppid=12597 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12620/stat : 12620 (java) S 12597 12597 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405357607 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475979184784 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12621] ppid=12597 vsize=8068440 memory=120808 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12621/stat : 12621 (java) S 12597 12597 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405357608 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475420867056 140476176890498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12622] ppid=12597 vsize=8068440 memory=144264 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12622/stat : 12622 (java) S 12597 12597 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405357609 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475092690336 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12623] ppid=12597 vsize=8068440 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12623/stat : 12623 (java) S 12597 12597 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405357609 8262082560 141978 33554432000 4194304 4196468 140733161053456 140474824254960 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12624] ppid=12597 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12624/stat : 12624 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357611 8262082560 141978 33554432000 4194304 4196468 140733161053456 140474449746640 140476176897947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12625] ppid=12597 vsize=8068440 memory=2900 CPUtime=0.54 cores=1,3,5,7
/proc/12615/task/12625/stat : 12625 (java) S 12597 12597 9001 0 -1 1077944384 1850 0 0 0 54 0 0 0 20 0 19 0 405357611 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475419813872 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12626] ppid=12597 vsize=8068440 memory=1476 CPUtime=0.48 cores=1,3,5,7
/proc/12615/task/12626/stat : 12626 (java) S 12597 12597 9001 0 -1 1077944384 1779 0 0 0 48 0 0 0 20 0 19 0 405357611 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475418761328 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12627] ppid=12597 vsize=8068440 memory=125048 CPUtime=0.33 cores=1,3,5,7
/proc/12615/task/12627/stat : 12627 (java) S 12597 12597 9001 0 -1 1077944384 1416 0 0 0 33 0 0 0 20 0 19 0 405357611 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475417708784 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12628] ppid=12597 vsize=8068440 memory=420992 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12628/stat : 12628 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357612 8262082560 141978 33554432000 4194304 4196468 140733161053456 140473951840864 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12629] ppid=12597 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12629/stat : 12629 (java) S 12597 12597 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405357612 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475416656688 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12631] ppid=12597 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12631/stat : 12631 (java) S 12597 12597 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405357682 8262082560 141978 33554432000 4194304 4196468 140733161053456 140475630024256 140476176903961 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12633] ppid=12597 vsize=8068440 memory=929 CPUtime=0.72 cores=1,3,5,7
/proc/12615/task/12633/stat : 12633 (java) S 12597 12597 9001 0 -1 4202560 304 0 0 0 65 7 0 0 20 0 19 0 405357683 8262082560 141978 33554432000 4194304 4196468 140733161053456 140473414959408 140476176901277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12634] ppid=12597 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12634/stat : 12634 (java) S 12597 12597 9001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405357683 8262082560 141978 33554432000 4194304 4196468 140733161053456 140473146522928 140476176901277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12635] ppid=12597 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12615/task/12635/stat : 12635 (java) S 12597 12597 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405357686 8262082560 141978 33554432000 4194304 4196468 140733161053456 140473683401776 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
Current children cumulated CPU time: 34.13 s
Current children cumulated vsize: 8532120 KiB
Current children cumulated memory: 878780 KiB
[startup+30.3008 s]
/proc/loadavg: 3.06 3.58 3.01 3/239 12635
/proc/meminfo: memFree=20511944/32770624 swapFree=66999124/67108860
[pid=12597] ppid=12594 vsize=113128 memory=1476 CPUtime=9.29 cores=1,3,5,7
/proc/12597/stat : 12597 (scop.sh) S 12594 12597 9001 0 -1 4202496 583 26611 0 0 0 0 869 60 20 0 1 0 405356908 115843072 369 33554432000 4194304 5098028 140722156275248 140722156271992 139636552446588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15568896 140722156282723 140722156282992 140722156282992 140722156285901 0
/proc/12597/statm: 28282 369 311 221 0 87 0
[pid=12615] ppid=12597 vsize=7937364 memory=573512 CPUtime=25.16 cores=1,3,5,7
/proc/12615/stat : 12615 (java) S 12597 12597 9001 0 -1 1077944320 23969 308860 0 0 303 17 2162 34 20 0 17 0 405357605 8127860736 143378 33554432000 4194304 4196468 140733161053456 140733161036000 140476176879351 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
/proc/12615/statm: 1984341 143378 3243 1 0 1945685 0
[pid=12615/tid=12616] ppid=12597 vsize=7937364 memory=15262532197681705 CPUtime=22.88 cores=1,3,5,7
/proc/12615/task/12616/stat : 12616 (java) R 12597 12597 9001 0 -1 4202560 17077 308860 0 0 86 6 2162 34 20 0 17 0 405357606 8127860736 143378 33554432000 4194304 4196468 140733161053456 140476148717360 140476176891286 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12617] ppid=12597 vsize=7937364 memory=4096 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12617/stat : 12617 (java) S 12597 12597 9001 0 -1 1077944384 1 308860 0 0 0 0 2162 34 20 0 17 0 405357607 8127860736 143378 33554432000 4194304 4196468 140733161053456 140476181121296 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12618] ppid=12597 vsize=7937364 memory=1412 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12618/stat : 12618 (java) S 12597 12597 9001 0 -1 1077944384 1 308860 0 0 0 0 2162 34 20 0 17 0 405357607 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475981289872 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12619] ppid=12597 vsize=7937364 memory=2948 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12619/stat : 12619 (java) S 12597 12597 9001 0 -1 1077944384 1 308860 0 0 0 0 2162 34 20 0 17 0 405357607 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475980237328 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12620] ppid=12597 vsize=7937364 memory=1476 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12620/stat : 12620 (java) S 12597 12597 9001 0 -1 1077944384 2 308860 0 0 0 0 2162 34 20 0 17 0 405357607 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475979184784 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12621] ppid=12597 vsize=7937364 memory=125048 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12621/stat : 12621 (java) S 12597 12597 9001 0 -1 1077944384 5 308860 0 0 0 0 2162 34 20 0 17 0 405357608 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475420867056 140476176890498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12622] ppid=12597 vsize=7937364 memory=421204 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12622/stat : 12622 (java) S 12597 12597 9001 0 -1 1077944384 13 308860 0 0 0 0 2162 34 20 0 17 0 405357609 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475092690336 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12623] ppid=12597 vsize=7937364 memory=1540 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12623/stat : 12623 (java) S 12597 12597 9001 0 -1 1077944384 1 308860 0 0 0 0 2162 34 20 0 17 0 405357609 8127860736 143378 33554432000 4194304 4196468 140733161053456 140474824254960 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12624] ppid=12597 vsize=7937364 memory=772 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12624/stat : 12624 (java) S 12597 12597 9001 0 -1 1077944384 3 308860 0 0 0 0 2162 34 20 0 17 0 405357611 8127860736 143378 33554432000 4194304 4196468 140733161053456 140474449746640 140476176897947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12625] ppid=12597 vsize=7937364 memory=10500 CPUtime=22.54 cores=1,3,5,7
/proc/12615/task/12625/stat : 12625 (java) S 12597 12597 9001 0 -1 1077944384 1868 308860 0 0 58 0 2162 34 20 0 17 0 405357611 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475419813872 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12626] ppid=12597 vsize=7937364 memory=1712 CPUtime=22.49 cores=1,3,5,7
/proc/12615/task/12626/stat : 12626 (java) S 12597 12597 9001 0 -1 1077944384 1804 308860 0 0 53 0 2162 34 20 0 17 0 405357611 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475418761456 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12627] ppid=12597 vsize=7937364 memory=988 CPUtime=22.34 cores=1,3,5,7
/proc/12615/task/12627/stat : 12627 (java) R 12597 12597 9001 0 -1 1077944384 1524 308860 0 0 38 0 2162 34 20 0 17 0 405357611 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475417708784 140476176890498 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12628] ppid=12597 vsize=7937364 memory=0 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12628/stat : 12628 (java) S 12597 12597 9001 0 -1 1077944384 3 308860 0 0 0 0 2162 34 20 0 17 0 405357612 8127860736 143378 33554432000 4194304 4196468 140733161053456 140473951840864 140476176889557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12629] ppid=12597 vsize=7937364 memory=0 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12629/stat : 12629 (java) S 12597 12597 9001 0 -1 1077944384 3 308860 0 0 0 0 2162 34 20 0 17 0 405357612 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475416656688 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12631] ppid=12597 vsize=7937364 memory=0 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12631/stat : 12631 (java) S 12597 12597 9001 0 -1 1077944384 23 308860 0 0 0 0 2162 34 20 0 17 0 405357682 8127860736 143378 33554432000 4194304 4196468 140733161053456 140475630023440 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
[pid=12615/tid=12635] ppid=12597 vsize=7937364 memory=44324 CPUtime=21.96 cores=1,3,5,7
/proc/12615/task/12635/stat : 12635 (java) S 12597 12597 9001 0 -1 1077944384 30 308860 0 0 0 0 2162 34 20 0 17 0 405357686 8127860736 143378 33554432000 4194304 4196468 140733161053456 140473683403568 140476176890498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8986624 140733161059323 140733161059482 140733161059482 140733161062351 0
Current children cumulated CPU time: 34.45 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 574988 KiB
Child status: 0
Real time (s): 30.327
CPU time (s): 34.5457
CPU user time (s): 33.404
CPU system time (s): 1.14176
CPU usage (%): 113.911
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3006244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.404
system time used= 1.14176
maximum resident set size= 3006920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 111312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7391
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 12597
# total CPU time (s): 34.5457
# total CPU user time (s): 33.404
# total CPU system time (s): 1.14176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.235336 second user time and 0.37468 second system time
The end