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-16656-serial-file.bin HOME/instance-4388023-1568293817.xml
0.65/0.53
0.65/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Thu Sep 12 15:09:38 CEST 2019
0.65/0.56 c PID: 16659
0.65/0.56 c IP: 172.20.3.151
0.65/0.56 c HOST: node151.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.40/0.93 c (0,0) Parsing End
1.40/0.94 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 96
1.40/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.94 c (0,0) Constraint Name Generate Begin
1.40/0.94 c (0,0) Ctr:HOME/instance-4388023-1568293817.xml,Num:Var:WeightedSum
1.40/0.94 c (0,0) Constraint Name Generate End
1.40/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.94 c (0,0) CSP to CSPinCNF Begin
1.59/1.05 c (0,0) translated 8 (10%) constraints
1.59/1.07 c (0,0) translated 16 (20%) constraints
1.59/1.09 c (0,0) translated 24 (30%) constraints
1.59/1.10 c (0,0) translated 32 (40%) constraints
1.59/1.11 c (0,0) translated 40 (50%) constraints
1.84/1.11 c (0,0) translated 48 (60%) constraints
1.84/1.12 c (0,0) translated 56 (70%) constraints
1.84/1.13 c (0,0) translated 64 (80%) constraints
1.84/1.14 c (0,0) translated 72 (90%) constraints
1.84/1.15 c (0,0) translated 80 (100%) constraints
1.84/1.15 c (0,0) ===========================================
1.84/1.16 c (0,0) Hybrid: #OE=2, #LE=98
1.84/1.16 c (0,0) Hybrid
1.84/1.16 c (0,0) ===========================================
1.84/1.17 c (0,0) translated 8 (10%) constraints
1.84/1.18 c (0,0) translated 16 (20%) constraints
1.84/1.19 c (0,0) translated 24 (30%) constraints
1.84/1.19 c (0,0) translated 32 (40%) constraints
2.09/1.20 c (0,0) translated 40 (50%) constraints
2.09/1.20 c (0,0) translated 48 (60%) constraints
2.09/1.21 c (0,0) translated 56 (70%) constraints
2.09/1.21 c (0,0) translated 64 (80%) constraints
2.09/1.21 c (0,0) translated 72 (90%) constraints
2.09/1.22 c (0,0) translated 80 (100%) constraints
2.09/1.22 c (0,0) CSP to CSPinCNF End
2.09/1.22 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 96
2.09/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.22 c (0,0) CSPinCNF Propagation Begin
2.09/1.25 c (0,0) 0 values, 0 unsatisfiable literals, and 8 valid clauses are removed
2.09/1.25 c (0,0) CSPinCNF Propagation End
2.09/1.25 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 96
2.09/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.25 c (0,0) Hybrid: #OE=2, #LE=98
2.09/1.25 c (0,0) Simplify CSPinCNF Begin
2.09/1.25 c (0,0) Simplify CSPinCNF End
2.09/1.25 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 96
2.09/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.25 c (0,0) Calculate Precise Domain Begin
2.09/1.25 c (0,0) 0 values are removed by re-calculation
2.09/1.25 c (0,0) Calculate Precise Domain End
2.09/1.25 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 96
2.09/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.25 c (0,0) CSPinCNF to SatSolver Begin
4.29/2.49 c (1,1) 16 (10 %) CSP clauses are encoded (0 SAT variables, 448638 SAT clauses)
5.30/3.46 c (2,2) 31 (20 %) CSP clauses are encoded (0 SAT variables, 911709 SAT clauses)
6.37/4.62 c (3,3) 46 (30 %) CSP clauses are encoded (0 SAT variables, 1353520 SAT clauses)
7.21/5.48 c (4,4) 61 (40 %) CSP clauses are encoded (0 SAT variables, 1768016 SAT clauses)
7.61/5.88 c (5,5) 76 (50 %) CSP clauses are encoded (0 SAT variables, 1975850 SAT clauses)
8.14/6.37 c (5,5) 92 (60 %) CSP clauses are encoded (0 SAT variables, 2234265 SAT clauses)
8.75/6.93 c (6,6) 107 (70 %) CSP clauses are encoded (0 SAT variables, 2530773 SAT clauses)
9.36/7.50 c (6,6) 122 (80 %) CSP clauses are encoded (0 SAT variables, 2829690 SAT clauses)
9.87/8.08 c (7,7) 137 (90 %) CSP clauses are encoded (0 SAT variables, 3125110 SAT clauses)
10.43/8.51 c (7,7) 152 (100 %) CSP clauses are encoded (0 SAT variables, 3349930 SAT clauses)
10.43/8.52 c (7,7) CSPinCNF to SatSolver End
10.43/8.52 c (7,7) Heap : 452 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
10.43/8.52 c (7,7) 1226554 bool, 3356224 clause
10.43/8.52 c (7,7) Export Begin
10.60/8.65 c (8,7) Export to HOME/scop-16656-serial-file.bin
10.60/8.65 c (8,7) Export End
10.60/8.65 c (8,7) Export File Size: 0.11 MB
10.60/8.65 c (8,7) 0,0,0,0,0,0,7,STOP-AFTER(DIMACS)
10.60/8.65 c END-Prog: Thu Sep 12 15:09:47 CEST 2019
10.60/8.68 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16656-serial-file.bin
11.36/9.13 c (0,0) Read Serial File Begin
11.36/9.13 c (0,0) HOME/scop-16656-serial-file.bin
11.61/9.40 c (0,0) Read Serial File End
11.92/9.41
11.92/9.41 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
11.92/9.41 (Solving Process)
11.92/9.41
11.92/9.43 c BEGIN-Prog: Thu Sep 12 15:09:47 CEST 2019
11.92/9.43 c PID: 16674
11.92/9.43 c IP: 172.20.3.151
11.92/9.43 c HOST: node151.alineos.net
11.92/9.44 c (0,0) SatSolver.solve Begin
11.92/9.44 c (0,0) HOME/cryptominisat5 HOME/instance-4388023-1568293817.xml-scop-16659.cnf
11.92/9.47 c (0,0) c Outputting solution to console
11.92/9.47 c (0,0) c CryptoMiniSat version 5.6.8
11.92/9.47 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
11.92/9.47 c (0,0) c CMS SHA revision GIT-notfound
11.92/9.47 c (0,0) c CMS is MIT licensed
11.92/9.47 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
11.92/9.47 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
11.92/9.47 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388023-1568293817.xml-scop-16659.cnf
11.92/9.47 c (0,0) c Reading file 'HOME/instance-4388023-1568293817.xml-scop-16659.cnf'
12.17/9.91 c (0,0) c -- header says num vars: 1226554
12.17/9.91 c (0,0) c -- header says num clauses: 3356224
13.36/11.15 c (2,0) c -- clauses added: 3356224
13.36/11.15 c (2,0) c -- xor clauses added: 0
13.36/11.15 c (2,0) c -- vars added 1226554
13.36/11.15 c (2,0) c Parsing time: 1.11 s
13.46/11.28 c (2,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
13.56/11.30 c (2,0) c [distill] long cls tried: 22/21 cl-short:22 lit-r:21 T: 0.02 T-out: N T-r: 99.90%
15.16/12.93 c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
15.16/12.93 c (3,0) c UIP search time : 1.70 (60.09 % time)
15.16/12.93 c (3,0) c restarts : 7 (84.00 confls per restart)
15.16/12.93 c (3,0) c blocked restarts : 0 (0.00 per normal restart)
15.16/12.93 c (3,0) c time : 1.70
15.16/12.94 c (3,0) c decisions : 596204 (0.00 % random)
15.16/12.94 c (3,0) c propagations : 7184199
15.16/12.94 c (3,0) c decisions/conflicts : 1013.95
15.16/12.94 c (3,0) c conflicts : 588 (345.82 / sec)
15.16/12.94 c (3,0) c conf lits non-minim : 7587 (12.90 lit/confl)
15.16/12.94 c (3,0) c conf lits final : 9.24
15.16/12.94 c (3,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
15.16/12.94 c (3,0) c red which0 : 168 (28.57 % of confl)
15.16/12.94 c (3,0) c props/decision : 0.00
15.16/12.94 c (3,0) c props/conflict : 0.00
15.16/12.94 c (3,0) c 0-depth assigns : 617147 (50.32 % vars)
15.16/12.94 c (3,0) c 0-depth assigns by CNF : 7665 (0.62 % vars)
15.16/12.94 c (3,0) c reduceDB time : 0.00 (0.00 % time)
15.16/12.94 c (3,0) c OccSimplifier time : 0.00 (0.00 % time)
15.16/12.94 c (3,0) c [occur] 0.00 is overhead
15.16/12.94 c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
15.16/12.94 c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
15.16/12.94 c (3,0) c SCC time : 0.00 (0.00 % time)
15.16/12.94 c (3,0) c [scc] new: 0 BP 0M T: 0.00
15.16/12.94 c (3,0) c vrep replace time : 0.00 (0.00 % time)
15.16/12.94 c (3,0) c vrep tree roots : 0
15.16/12.94 c (3,0) c vrep trees' crown : 0 (0.00 leafs/tree)
15.16/12.94 c (3,0) c distill time : 0.02 (0.81 % time)
15.16/12.94 c (3,0) c strength cache-irred time: 0.00 (0.00 % time)
15.16/12.94 c (3,0) c strength cache-red time : 0.00 (0.00 % time)
15.16/12.94 c (3,0) c Conflicts in UIP : 588 (207.81 confl/time_this_thread)
15.16/12.94 c (3,0) c Mem used : 538.11 MB
15.16/12.94 c (3,0) c Total time (this thread) : 2.83
15.16/12.94 c (3,0) s SATISFIABLE
17.75/14.19 c (5,0) SatSolver.solve End
17.75/14.19 c (5,0) Heap : 675 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
17.75/14.19 c (5,0) Show results Begin
17.88/14.28 c (5,0) x[0] = 23
17.88/14.28 c (5,0) x[1] = 37
17.88/14.28 c (5,0) x[2] = 5
17.88/14.28 c (5,0) x[3] = 53
17.88/14.28 c (5,0) x[4] = 67
17.88/14.28 c (5,0) x[5] = 31
17.88/14.28 c (5,0) x[6] = 37
17.88/14.28 c (5,0) x[7] = 61
17.88/14.28 c (5,0) x[8] = 97
17.88/14.28 c (5,0) x[9] = 79
17.88/14.28 c (5,0) x[10] = 41
17.88/14.28 c (5,0) x[11] = 5
17.88/14.28 c (5,0) x[12] = 53
17.88/14.28 c (5,0) x[13] = 29
17.88/14.28 c (5,0) x[14] = 43
17.88/14.28 c (5,0) x[15] = 3
17.88/14.28 c (5,0) x[16] = 53
17.88/14.28 c (5,0) x[17] = 3
17.88/14.28 c (5,0) x[18] = 83
17.88/14.28 c (5,0) x[19] = 37
17.88/14.28 c (5,0) x[20] = 37
17.88/14.28 c (5,0) x[21] = 67
17.88/14.28 c (5,0) x[22] = 61
17.88/14.28 c (5,0) x[23] = 11
17.88/14.28 c (5,0) x[24] = 19
17.88/14.28 c (5,0) x[25] = 13
17.88/14.28 c (5,0) x[26] = 41
17.88/14.28 c (5,0) x[27] = 89
17.88/14.28 c (5,0) x[28] = 61
17.88/14.28 c (5,0) x[29] = 31
17.88/14.28 c (5,0) x[30] = 11
17.88/14.28 c (5,0) x[31] = 5
17.88/14.28 c (5,0) x[32] = 83
17.88/14.28 c (5,0) x[33] = 23
17.88/14.28 c (5,0) x[34] = 71
17.88/14.28 c (5,0) x[35] = 61
17.88/14.28 c (5,0) x[36] = 67
17.88/14.28 c (5,0) x[37] = 17
17.88/14.28 c (5,0) x[38] = 37
17.88/14.28 c (5,0) x[39] = 61
17.88/14.28 c (5,0) x[40] = 11
17.88/14.28 c (5,0) x[41] = 89
17.88/14.28 c (5,0) x[42] = 79
17.88/14.28 c (5,0) x[43] = 71
17.88/14.28 c (5,0) x[44] = 29
17.88/14.28 c (5,0) x[45] = 41
17.88/14.28 c (5,0) x[46] = 89
17.88/14.28 c (5,0) x[47] = 97
17.88/14.28 c (5,0) x[48] = 53
17.88/14.28 c (5,0) x[49] = 73
17.88/14.28 c (5,0) x[50] = 43
17.88/14.28 c (5,0) x[51] = 3
17.88/14.28 c (5,0) x[52] = 59
17.88/14.28 c (5,0) x[53] = 13
17.88/14.28 c (5,0) x[54] = 17
17.88/14.28 c (5,0) x[55] = 89
17.88/14.28 c (5,0) x[56] = 41
17.88/14.28 c (5,0) x[57] = 73
17.88/14.28 c (5,0) x[58] = 79
17.88/14.28 c (5,0) x[59] = 17
17.88/14.28 c (5,0) x[60] = 13
17.88/14.28 c (5,0) x[61] = 2
17.88/14.28 c (5,0) x[62] = 29
17.88/14.28 c (5,0) x[63] = 5
17.88/14.28 c (5,0) x[64] = 37
17.88/14.28 c (5,0) x[65] = 13
17.88/14.28 c (5,0) x[66] = 79
17.88/14.28 c (5,0) x[67] = 11
17.88/14.28 c (5,0) x[68] = 43
17.88/14.28 c (5,0) x[69] = 19
17.88/14.28 c (5,0) x[70] = 97
17.88/14.28 c (5,0) x[71] = 73
17.88/14.28 c (5,0) x[72] = 19
17.88/14.28 c (5,0) x[73] = 73
17.88/14.28 c (5,0) x[74] = 47
17.88/14.28 c (5,0) x[75] = 61
17.88/14.28 c (5,0) x[76] = 29
17.88/14.28 c (5,0) x[77] = 47
17.88/14.28 c (5,0) x[78] = 67
17.88/14.28 c (5,0) x[79] = 2
17.88/14.28 c (5,0) x[80] = 41
17.88/14.28 c (5,0) x[81] = 23
17.88/14.28 c (5,0) x[82] = 3
17.88/14.28 c (5,0) x[83] = 7
17.88/14.28 c (5,0) x[84] = 43
17.88/14.28 c (5,0) x[85] = 29
17.88/14.28 c (5,0) x[86] = 7
17.88/14.28 c (5,0) x[87] = 3
17.88/14.28 c (5,0) x[88] = 11
17.88/14.28 c (5,0) x[89] = 97
17.88/14.28 c (5,0) x[90] = 19
17.88/14.28 c (5,0) x[91] = 31
17.88/14.28 c (5,0) x[92] = 3
17.88/14.28 c (5,0) x[93] = 67
17.88/14.28 c (5,0) x[94] = 47
17.88/14.28 c (5,0) x[95] = 41
17.88/14.28 c (5,0) x[96] = 3
17.88/14.28 c (5,0) x[97] = 37
17.88/14.28 c (5,0) x[98] = 71
17.88/14.28 c (5,0) x[99] = 47
17.88/14.28 s SATISFIABLE
17.88/14.29 v <instantiation>
17.88/14.29 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>
17.88/14.29 v <values>23 37 5 53 67 31 37 61 97 79 41 5 53 29 43 3 53 3 83 37 37 67 61 11 19 13 41 89 61 31 11 5 83 23 71 61 67 17 37 61 11 89 79 71 29 41 89 97 53 73 43 3 59 13 17 89 41 73 79 17 13 2 29 5 37 13 79 11 43 19 97 73 19 73 47 61 29 47 67 2 41 23 3 7 43 29 7 3 11 97 19 31 3 67 47 41 3 37 71 47</values>
17.88/14.29 v </instantiation>
17.88/14.29 c (5,0) Show results End
17.88/14.29 c (5,0) Heap : 675 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
17.88/14.29 c (5,0) 5,5,STOP-AFTER(ALL)
17.88/14.29 c END-Prog: Thu Sep 12 15:09:52 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 (15084 MiB free)
memory of node 1: 16384 MiB (15228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388023-1568293817/watcher-4388023-1568293817 -o /tmp/evaluation-result-4388023-1568293817/solver-4388023-1568293817 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388023-1568293817.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=16656, runsolver pid=16653
[startup+0.100075 s]*
/proc/loadavg: 4.15 3.83 2.99 4/234 16673
/proc/meminfo: memFree=30979836/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405653159 115843072 348 33554432000 4194304 5098028 140731270138688 140731270135944 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 348 296 221 0 87 0
[pid=16659] ppid=16656 vsize=15012696 memory=72628 CPUtime=0.1 cores=0,2,4,6
/proc/16659/stat : 16659 (java) S 16656 16656 12870 0 -1 1077944320 6443 0 0 0 8 2 0 0 20 0 15 0 405653159 15373000704 18157 33554432000 4194304 4196468 140721847054368 140721847036912 140527333641975 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
/proc/16659/statm: 3753174 18157 2812 1 0 3715579 0
[pid=16659/tid=16660] ppid=16656 vsize=15012696 memory=-6366538207138725823 CPUtime=0.09 cores=0,2,4,6
/proc/16659/task/16660/stat : 16660 (java) R 16656 16656 12870 0 -1 4202560 4497 0 0 0 7 2 0 0 20 0 15 0 405653159 15373000704 18214 33554432000 4194304 4196468 140721847054368 140527305453960 140527325883365 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16661] ppid=16656 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16661/stat : 16661 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 18214 33554432000 4194304 4196468 140721847054368 140527337884432 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16662] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16662/stat : 16662 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 18214 33554432000 4194304 4196468 140721847054368 140527171263376 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16663] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16663/stat : 16663 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526792727568 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16664] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16664/stat : 16664 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526791675024 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16665] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16665/stat : 16665 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653162 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526304192496 140527333653122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16666] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16666/stat : 16666 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 18214 33554432000 4194304 4196468 140721847054368 140525961208736 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16667] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16667/stat : 16667 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 18214 33554432000 4194304 4196468 140721847054368 140525692773360 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16668] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16668/stat : 16668 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 18214 33554432000 4194304 4196468 140721847054368 140525318265040 140527333660571 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16669] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16669/stat : 16669 (java) S 16656 16656 12870 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526303140336 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16670] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16670/stat : 16670 (java) R 16656 16656 12870 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526302087792 140527318466368 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16671] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16671/stat : 16671 (java) R 16656 16656 12870 0 -1 4202560 324 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 18214 33554432000 4194304 4196468 140721847054368 140526301035248 140527333663322 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16672] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16672/stat : 16672 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 18214 33554432000 4194304 4196468 140721847054368 140524820360288 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16673] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16673/stat : 16673 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 18280 33554432000 4194304 4196468 140721847054368 140526299982128 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74020 KiB
[startup+0.211074 s]*
/proc/loadavg: 4.15 3.83 2.99 3/234 16673
/proc/meminfo: memFree=30960832/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405653159 115843072 348 33554432000 4194304 5098028 140731270138688 140731270135944 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 348 296 221 0 87 0
[pid=16659] ppid=16656 vsize=15012696 memory=89536 CPUtime=0.24 cores=0,2,4,6
/proc/16659/stat : 16659 (java) S 16656 16656 12870 0 -1 1077944320 11939 0 0 0 20 4 0 0 20 0 15 0 405653159 15373000704 22384 33554432000 4194304 4196468 140721847054368 140721847036912 140527333641975 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
/proc/16659/statm: 3753174 22384 2952 1 0 3715579 0
[pid=16659/tid=16660] ppid=16656 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/16659/task/16660/stat : 16660 (java) R 16656 16656 12870 0 -1 4202560 9650 0 0 0 16 3 0 0 20 0 15 0 405653159 15373000704 22384 33554432000 4194304 4196468 140721847054368 140527305425536 140527333663901 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16661] ppid=16656 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16661/stat : 16661 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 22384 33554432000 4194304 4196468 140721847054368 140527337884432 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16662] ppid=16656 vsize=15012696 memory=288370488343459456 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16662/stat : 16662 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 22384 33554432000 4194304 4196468 140721847054368 140527171263376 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16663] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16663/stat : 16663 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526792727568 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16664] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16664/stat : 16664 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526791675024 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16665] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16665/stat : 16665 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653162 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526304192496 140527333653122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16666] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16666/stat : 16666 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 22384 33554432000 4194304 4196468 140721847054368 140525961208736 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16667] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16667/stat : 16667 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 22384 33554432000 4194304 4196468 140721847054368 140525692773360 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16668] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16668/stat : 16668 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 22384 33554432000 4194304 4196468 140721847054368 140525318265040 140527333660571 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16669] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16669/stat : 16669 (java) S 16656 16656 12870 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526303140336 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16670] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16670/stat : 16670 (java) S 16656 16656 12870 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526302087792 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16671] ppid=16656 vsize=15012696 memory=140112191747712 CPUtime=0.02 cores=0,2,4,6
/proc/16659/task/16671/stat : 16671 (java) S 16656 16656 12870 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 405653165 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526301035248 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16672] ppid=16656 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16672/stat : 16672 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 22384 33554432000 4194304 4196468 140721847054368 140524820360288 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16673] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16673/stat : 16673 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 22384 33554432000 4194304 4196468 140721847054368 140526299982128 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90928 KiB
[startup+0.310526 s]*
/proc/loadavg: 4.15 3.83 2.99 3/234 16673
/proc/meminfo: memFree=30959032/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405653159 115843072 348 33554432000 4194304 5098028 140731270138688 140731270135944 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 348 296 221 0 87 0
[pid=16659] ppid=16656 vsize=15012696 memory=93448 CPUtime=0.42 cores=0,2,4,6
/proc/16659/stat : 16659 (java) S 16656 16656 12870 0 -1 1077944320 12882 0 0 0 37 5 0 0 20 0 15 0 405653159 15373000704 23362 33554432000 4194304 4196468 140721847054368 140721847036912 140527333641975 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
/proc/16659/statm: 3753174 23362 3038 1 0 3715579 0
[pid=16659/tid=16660] ppid=16656 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16659/task/16660/stat : 16660 (java) R 16656 16656 12870 0 -1 4202560 10332 0 0 0 26 4 0 0 20 0 15 0 405653159 15373000704 23362 33554432000 4194304 4196468 140721847054368 140527305472048 140527333655884 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16661] ppid=16656 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16661/stat : 16661 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 23362 33554432000 4194304 4196468 140721847054368 140527337884432 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16662] ppid=16656 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16662/stat : 16662 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 23362 33554432000 4194304 4196468 140721847054368 140527171263376 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16663] ppid=16656 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16663/stat : 16663 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526792727568 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16664] ppid=16656 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16664/stat : 16664 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526791675024 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16665] ppid=16656 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16665/stat : 16665 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653162 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526304192496 140527333653122 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16666] ppid=16656 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16666/stat : 16666 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 23362 33554432000 4194304 4196468 140721847054368 140525961208736 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16667] ppid=16656 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16667/stat : 16667 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653163 15373000704 23362 33554432000 4194304 4196468 140721847054368 140525692773360 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16668] ppid=16656 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16668/stat : 16668 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653165 15373000704 23362 33554432000 4194304 4196468 140721847054368 140525318265040 140527333660571 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16669] ppid=16656 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16659/task/16669/stat : 16669 (java) S 16656 16656 12870 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 405653165 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526303140336 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16670] ppid=16656 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16659/task/16670/stat : 16670 (java) S 16656 16656 12870 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 405653165 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526302087792 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16671] ppid=16656 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16659/task/16671/stat : 16671 (java) S 16656 16656 12870 0 -1 1077944384 553 0 0 0 7 0 0 0 20 0 15 0 405653165 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526301035248 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16672] ppid=16656 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16672/stat : 16672 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 23362 33554432000 4194304 4196468 140721847054368 140524820360288 140527333652181 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16673] ppid=16656 vsize=15012696 memory=3617295605882232881 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16673/stat : 16673 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653166 15373000704 23362 33554432000 4194304 4196468 140721847054368 140526299982128 140527333653122 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94840 KiB
[startup+0.701228 s]
/proc/loadavg: 4.15 3.83 2.99 3/234 16673
/proc/meminfo: memFree=30934908/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405653159 115843072 348 33554432000 4194304 5098028 140731270138688 140731270135944 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 348 296 221 0 87 0
[pid=16659] ppid=16656 vsize=15021092 memory=129452 CPUtime=1 cores=0,2,4,6
/proc/16659/stat : 16659 (java) S 16656 16656 12870 0 -1 1077944320 20083 0 0 0 93 7 0 0 20 0 15 0 405653159 15381598208 32363 33554432000 4194304 4196468 140721847054368 140721847036912 140527333641975 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
/proc/16659/statm: 3755273 32363 3211 1 0 3716603 0
[pid=16659/tid=16660] ppid=16656 vsize=15021092 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/16659/task/16660/stat : 16660 (java) R 16656 16656 12870 0 -1 4202560 16901 0 0 0 62 6 0 0 20 0 15 0 405653159 15381598208 32363 33554432000 4194304 4196468 140721847054368 140527305470400 140527333663901 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16661] ppid=16656 vsize=15021092 memory=116 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16661/stat : 16661 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405653161 15381598208 32363 33554432000 4194304 4196468 140721847054368 140527337884432 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16662] ppid=16656 vsize=15021092 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16662/stat : 16662 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15381598208 32363 33554432000 4194304 4196468 140721847054368 140527171263376 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16663] ppid=16656 vsize=15021092 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16663/stat : 16663 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526792727568 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16664] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16664/stat : 16664 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653161 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526791675024 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16665] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16665/stat : 16665 (java) S 16656 16656 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405653162 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526304192496 140527333653122 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16666] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16666/stat : 16666 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405653163 15381598208 32363 33554432000 4194304 4196468 140721847054368 140525961208736 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16667] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16667/stat : 16667 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653163 15381598208 32363 33554432000 4194304 4196468 140721847054368 140525692773360 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16668] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16668/stat : 16668 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653165 15381598208 32363 33554432000 4194304 4196468 140721847054368 140525318265040 140527333660571 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16669] ppid=16656 vsize=15021092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16659/task/16669/stat : 16669 (java) S 16656 16656 12870 0 -1 1077944384 661 0 0 0 8 0 0 0 20 0 15 0 405653165 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526303140336 140527333653122 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16670] ppid=16656 vsize=15021092 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16659/task/16670/stat : 16670 (java) S 16656 16656 12870 0 -1 1077944384 439 0 0 0 6 0 0 0 20 0 15 0 405653165 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526302087792 140527333653122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16671] ppid=16656 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16659/task/16671/stat : 16671 (java) S 16656 16656 12870 0 -1 1077944384 749 0 0 0 15 0 0 0 20 0 15 0 405653165 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526301035248 140527333653122 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16672] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16672/stat : 16672 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405653166 15381598208 32363 33554432000 4194304 4196468 140721847054368 140524820360288 140527333652181 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
[pid=16659/tid=16673] ppid=16656 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16659/task/16673/stat : 16673 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405653166 15381598208 32363 33554432000 4194304 4196468 140721847054368 140526299982128 140527333653122 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31334400 140721847063337 140721847063706 140721847063706 140721847066575 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 130844 KiB
[startup+1.50112 s]
/proc/loadavg: 4.15 3.83 2.99 4/234 16673
/proc/meminfo: memFree=30909336/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405653159 115843072 348 33554432000 4194304 5098028 140731270138688 140731270135944 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=16674/tid=16675] ppid=16656 vsize=8068440 memory=8039887049847964841 CPUtime=0.81 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (java) S 16656 16656 12870 0 -1 1077944384 17768 0 0 0 74 7 0 0 20 0 19 0 405654027 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030486171552 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16676] ppid=16656 vsize=8068440 memory=7309178837960058450 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030518573968 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16677] ppid=16656 vsize=8068440 memory=7079774412187127888 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030318742288 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16678] ppid=16656 vsize=8068440 memory=280224067811784 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16678/stat : 16678 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030317690000 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16679] ppid=16656 vsize=8068440 memory=288293255365344329 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16679/stat : 16679 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030316637200 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16680] ppid=16656 vsize=8068440 memory=280224067489528 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16680/stat : 16680 (java) S 16656 16656 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405654030 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029556942960 140030514342530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16681] ppid=16656 vsize=8068440 memory=8039887049847964841 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16681/stat : 16681 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405654030 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029422723872 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16682] ppid=16656 vsize=8068440 memory=-3967418655009478193 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16682/stat : 16682 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654031 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029154288752 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16683] ppid=16656 vsize=8068440 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16683/stat : 16683 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140028779780176 140030514349979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16684] ppid=16656 vsize=8068440 memory=-1807685287724412255 CPUtime=0.61 cores=0,2,4,6
/proc/16674/task/16684/stat : 16684 (java) S 16656 16656 12870 0 -1 1077944384 1678 0 0 0 61 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029555890800 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16685] ppid=16656 vsize=8068440 memory=6944656592455097440 CPUtime=0.61 cores=0,2,4,6
/proc/16674/task/16685/stat : 16685 (java) S 16656 16656 12870 0 -1 1077944384 2066 0 0 0 61 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029554838000 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16686] ppid=16656 vsize=8068440 memory=6944656592455360604 CPUtime=0.32 cores=0,2,4,6
/proc/16674/task/16686/stat : 16686 (java) S 16656 16656 12870 0 -1 1077944384 908 0 0 0 32 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029553785712 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16687] ppid=16656 vsize=8068440 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16687/stat : 16687 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140028281875424 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16688] ppid=16656 vsize=8068440 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16688/stat : 16688 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 111439 33554432000 4194304 4196468 140734408522160 140029552732592 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16690] ppid=16656 vsize=8068440 memory=7588675775921939049 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16690/stat : 16690 (java) S 16656 16656 12870 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405654105 8262082560 111439 33554432000 4194304 4196468 140734408522160 140030295385024 140030514355993 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16692] ppid=16656 vsize=8068440 memory=280224068483504 CPUtime=0.65 cores=0,2,4,6
/proc/16674/task/16692/stat : 16692 (java) R 16656 16656 12870 0 -1 4202560 214 0 0 0 61 4 0 0 20 0 19 0 405654106 8262082560 111439 33554432000 4194304 4196468 140734408522160 140027744993088 140030514353309 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16693] ppid=16656 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16693/stat : 16693 (java) S 16656 16656 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405654106 8262082560 111439 33554432000 4194304 4196468 140734408522160 140027476557744 140030514353309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16694] ppid=16656 vsize=8068440 memory=9050722978612019373 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16694/stat : 16694 (java) S 16656 16656 12870 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405654108 8262082560 111439 33554432000 4194304 4196468 140734408522160 140028013436336 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
Current children cumulated CPU time: 17.07 s
Current children cumulated vsize: 8820296 KiB
Current children cumulated memory: 998348 KiB
[startup+14.001 s]*
/proc/loadavg: 4.05 3.82 3.00 3/240 16696
/proc/meminfo: memFree=29900948/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1472 CPUtime=10.79 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 581 26964 0 0 0 0 1010 69 20 0 1 0 405653159 115843072 368 33554432000 4194304 5098028 140731270138688 140731270135432 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 368 311 221 0 87 0
[pid=16674] ppid=16656 vsize=8068440 memory=684636 CPUtime=3.36 cores=0,2,4,6
/proc/16674/stat : 16674 (java) S 16656 16656 12870 0 -1 1077944320 24508 0 0 0 319 17 0 0 20 0 19 0 405654027 8262082560 171159 33554432000 4194304 4196468 140734408522160 140734408504704 140030514331383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
/proc/16674/statm: 2017110 171159 3240 1 0 1978454 0
[pid=16689] ppid=16674 vsize=467864 memory=390804 CPUtime=3.5 cores=0,2,4,6
/proc/16689/stat : 16689 (cryptominisat5) R 16674 16656 12870 0 -1 4202496 152824 0 0 0 323 27 0 0 20 0 1 0 405654105 479092736 97701 33554432000 4194304 4451008 140734715658048 140734715655272 140369797553774 0 4 0 2 0 0 0 17 0 0 0 44 0 0 6549032 6559120 31830016 140734715659196 140734715659328 140734715659328 140734715662278 0
/proc/16689/statm: 116966 97701 691 63 0 110693 0
[pid=16674/tid=16675] ppid=16656 vsize=8068440 memory=8039887049847964841 CPUtime=0.81 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (java) S 16656 16656 12870 0 -1 1077944384 17768 0 0 0 74 7 0 0 20 0 19 0 405654027 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030486171552 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16676] ppid=16656 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030518573968 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16677] ppid=16656 vsize=8068440 memory=125840 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030318742288 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16678] ppid=16656 vsize=8068440 memory=203932 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16678/stat : 16678 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030317690000 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16679] ppid=16656 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16679/stat : 16679 (java) S 16656 16656 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405654029 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030316637200 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16680] ppid=16656 vsize=8068440 memory=2716 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16680/stat : 16680 (java) S 16656 16656 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405654030 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029556942960 140030514342530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16681] ppid=16656 vsize=8068440 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16681/stat : 16681 (java) S 16656 16656 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405654030 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029422723872 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16682] ppid=16656 vsize=8068440 memory=128508 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16682/stat : 16682 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654031 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029154288752 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16683] ppid=16656 vsize=8068440 memory=551120 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16683/stat : 16683 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140028779780176 140030514349979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16684] ppid=16656 vsize=8068440 memory=8039887049847964841 CPUtime=0.63 cores=0,2,4,6
/proc/16674/task/16684/stat : 16684 (java) S 16656 16656 12870 0 -1 1077944384 1953 0 0 0 63 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029555890800 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16685] ppid=16656 vsize=8068440 memory=4126316290023845779 CPUtime=0.62 cores=0,2,4,6
/proc/16674/task/16685/stat : 16685 (java) S 16656 16656 12870 0 -1 1077944384 2066 0 0 0 62 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029554838000 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16686] ppid=16656 vsize=8068440 memory=140112034239376 CPUtime=0.32 cores=0,2,4,6
/proc/16674/task/16686/stat : 16686 (java) S 16656 16656 12870 0 -1 1077944384 1005 0 0 0 32 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029553785712 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16687] ppid=16656 vsize=8068440 memory=2319529311201053847 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16687/stat : 16687 (java) S 16656 16656 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140028281875424 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16688] ppid=16656 vsize=8068440 memory=3474160556691146882 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16688/stat : 16688 (java) S 16656 16656 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654033 8262082560 171159 33554432000 4194304 4196468 140734408522160 140029552732592 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16690] ppid=16656 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16690/stat : 16690 (java) S 16656 16656 12870 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405654105 8262082560 171159 33554432000 4194304 4196468 140734408522160 140030295385024 140030514355993 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16692] ppid=16656 vsize=8068440 memory=6655300316396806240 CPUtime=0.94 cores=0,2,4,6
/proc/16674/task/16692/stat : 16692 (java) S 16656 16656 12870 0 -1 4202560 331 0 0 0 86 8 0 0 20 0 19 0 405654106 8262082560 171159 33554432000 4194304 4196468 140734408522160 140027744993056 140030514353309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16693] ppid=16656 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16693/stat : 16693 (java) S 16656 16656 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405654106 8262082560 171159 33554432000 4194304 4196468 140734408522160 140027476557744 140030514353309 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16694] ppid=16656 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/16674/task/16694/stat : 16694 (java) S 16656 16656 12870 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405654108 8262082560 171159 33554432000 4194304 4196468 140734408522160 140028013436336 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
Current children cumulated CPU time: 17.65 s
Current children cumulated vsize: 8649432 KiB
Current children cumulated memory: 1076912 KiB
[startup+14.201 s]
/proc/loadavg: 4.05 3.82 3.00 3/240 16696
/proc/meminfo: memFree=29900948/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1472 CPUtime=10.79 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 581 26964 0 0 0 0 1010 69 20 0 1 0 405653159 115843072 368 33554432000 4194304 5098028 140731270138688 140731270135432 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 368 311 221 0 87 0
[pid=16674] ppid=16656 vsize=7937364 memory=689288 CPUtime=7.09 cores=0,2,4,6
/proc/16674/stat : 16674 (java) S 16656 16656 12870 0 -1 1077944320 24598 153869 0 0 328 17 335 29 20 0 17 0 405654027 8127860736 172322 33554432000 4194304 4196468 140734408522160 140734408504704 140030514331383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
/proc/16674/statm: 1984341 172322 3243 1 0 1945685 0
[pid=16674/tid=16675] ppid=16656 vsize=7937364 memory=0 CPUtime=4.5 cores=0,2,4,6
/proc/16674/task/16675/stat : 16675 (java) R 16656 16656 12870 0 -1 4202560 17805 153869 0 0 79 7 335 29 20 0 17 0 405654027 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030486166176 140030498411870 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16676] ppid=16656 vsize=7937364 memory=8388 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 17 0 405654029 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030518573968 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16677] ppid=16656 vsize=7937364 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 17 0 405654029 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030318742288 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16678] ppid=16656 vsize=7937364 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16678/stat : 16678 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 17 0 405654029 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030317690000 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16679] ppid=16656 vsize=7937364 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16679/stat : 16679 (java) S 16656 16656 12870 0 -1 1077944384 2 153869 0 0 0 0 335 29 20 0 17 0 405654029 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030316637200 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16680] ppid=16656 vsize=7937364 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16680/stat : 16680 (java) S 16656 16656 12870 0 -1 1077944384 5 153869 0 0 0 0 335 29 20 0 17 0 405654030 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029556942960 140030514342530 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16681] ppid=16656 vsize=7937364 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16681/stat : 16681 (java) S 16656 16656 12870 0 -1 1077944384 13 153869 0 0 0 0 335 29 20 0 17 0 405654030 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029422723872 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16682] ppid=16656 vsize=7937364 memory=280224067560888 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16682/stat : 16682 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 17 0 405654031 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029154288752 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16683] ppid=16656 vsize=7937364 memory=6944656592387989600 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16683/stat : 16683 (java) S 16656 16656 12870 0 -1 1077944384 3 153869 0 0 0 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140028779780176 140030514349979 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16684] ppid=16656 vsize=7937364 memory=-2893623298589923098 CPUtime=4.28 cores=0,2,4,6
/proc/16674/task/16684/stat : 16684 (java) S 16656 16656 12870 0 -1 1077944384 1961 153869 0 0 64 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029555890800 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16685] ppid=16656 vsize=7937364 memory=288291086406859857 CPUtime=4.27 cores=0,2,4,6
/proc/16674/task/16685/stat : 16685 (java) S 16656 16656 12870 0 -1 1077944384 2072 153869 0 0 63 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029554838000 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16686] ppid=16656 vsize=7937364 memory=6944656592387989600 CPUtime=3.97 cores=0,2,4,6
/proc/16674/task/16686/stat : 16686 (java) S 16656 16656 12870 0 -1 1077944384 1036 153869 0 0 33 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029553785712 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16687] ppid=16656 vsize=7937364 memory=6656426216303648864 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16687/stat : 16687 (java) S 16656 16656 12870 0 -1 1077944384 3 153869 0 0 0 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140028281875424 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16688] ppid=16656 vsize=7937364 memory=6944656592455360604 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16688/stat : 16688 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 17 0 405654033 8127860736 172322 33554432000 4194304 4196468 140734408522160 140029552732592 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16690] ppid=16656 vsize=7937364 memory=6944656592455360604 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16690/stat : 16690 (java) S 16656 16656 12870 0 -1 1077944384 25 153869 0 0 0 0 335 29 20 0 17 0 405654105 8127860736 172322 33554432000 4194304 4196468 140734408522160 140030295384208 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16694] ppid=16656 vsize=7937364 memory=-6160033262581302417 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16694/stat : 16694 (java) S 16656 16656 12870 0 -1 1077944384 32 153869 0 0 0 0 335 29 20 0 17 0 405654108 8127860736 172322 33554432000 4194304 4196468 140734408522160 140028013438128 140030514342530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
Current children cumulated CPU time: 17.88 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 690760 KiB
[startup+14.3008 s]
/proc/loadavg: 4.05 3.82 3.00 3/240 16696
/proc/meminfo: memFree=29900948/32770624 swapFree=66932932/67108860
[pid=16656] ppid=16653 vsize=113128 memory=1472 CPUtime=10.79 cores=0,2,4,6
/proc/16656/stat : 16656 (scop.sh) S 16653 16656 12870 0 -1 4202496 581 26964 0 0 0 0 1010 69 20 0 1 0 405653159 115843072 368 33554432000 4194304 5098028 140731270138688 140731270135432 140681430270588 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39739392 140731270140771 140731270141040 140731270141040 140731270143949 0
/proc/16656/statm: 28282 368 311 221 0 87 0
[pid=16674] ppid=16656 vsize=7806288 memory=694680 CPUtime=7.29 cores=0,2,4,6
/proc/16674/stat : 16674 (java) R 16656 16656 12870 0 -1 1077944320 24959 153869 0 0 346 19 335 29 20 0 15 0 405654027 7993638912 173670 33554432000 4194304 4196468 140734408522160 140734408504704 140030514331383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
/proc/16674/statm: 1951572 173670 3247 1 0 1912916 0
[pid=16674/tid=16676] ppid=16656 vsize=7673156 memory=0 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16676/stat : 16676 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 14 0 405654029 7857311744 173682 33554432000 4194304 4196468 140734408522160 140030518573968 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16677] ppid=16656 vsize=7673156 memory=551120 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16677/stat : 16677 (java) S 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 14 0 405654029 7857311744 173682 33554432000 4194304 4196468 140734408522160 140030318742288 140030514341589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16678] ppid=16656 vsize=7673156 memory=3620 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16678/stat : 16678 (java) R 16656 16656 12870 0 -1 1077944384 1 153869 0 0 0 0 335 29 20 0 14 0 405654029 7857311744 173686 33554432000 4194304 4196468 140734408522160 140030317690000 140030514341589 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16679] ppid=16656 vsize=7673156 memory=18872 CPUtime=3.64 cores=0,2,4,6
/proc/16674/task/16679/stat : 16679 (java) R 16656 16656 12870 0 -1 1077944384 2 153869 0 0 0 0 335 29 20 0 14 0 405654029 7857311744 173688 33554432000 4194304 4196468 140734408522160 140030316637200 140030514341589 256 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
[pid=16674/tid=16686] ppid=16656 vsize=7673156 memory=491528 CPUtime=4.01 cores=0,2,4,6
/proc/16674/task/16686/stat : 16686 (java) R 16656 16656 12870 0 -1 4203588 1123 153869 0 0 37 0 335 29 20 0 3 0 405654033 7857311744 173815 33554432000 4194304 4196468 140734408522160 140029553785712 140030514342530 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11227136 140734408528891 140734408529050 140734408529050 140734408531919 0
Current children cumulated CPU time: 18.08 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 696152 KiB
Child status: 0
Real time (s): 14.309
CPU time (s): 18.122
CPU user time (s): 16.9266
CPU system time (s): 1.19541
CPU usage (%): 126.647
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3042212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9266
system time used= 1.19541
maximum resident set size= 3042192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 143144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7397
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 16656
# total CPU time (s): 18.122
# total CPU user time (s): 16.9266
# total CPU system time (s): 1.19541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113058 second user time and 0.203306 second system time
The end