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-12965-serial-file.bin HOME/instance-4388266-1568297074.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:03:36 CEST 2019
0.66/0.56 c PID: 12968
0.66/0.56 c IP: 172.20.3.103
0.66/0.56 c HOST: node103.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.95/1.04 c (0,0) Parsing End
1.95/1.04 c (0,0) CSP: 126 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 2187
2.18/1.18 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.18/1.18 c (0,0) Constraint Name Generate Begin
2.18/1.18 c (0,0) Ctr:HOME/instance-4388266-1568297074.xml,ExtensionSupport:In:Var
2.18/1.18 c (0,0) Constraint Name Generate End
2.18/1.18 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.18/1.18 c (0,0) CSP to CSPinCNF Begin
3.91/1.77 c (1,1) translated 13 (10%) constraints
6.26/2.51 c (1,1) translated 26 (20%) constraints
8.83/3.78 c (3,3) translated 38 (30%) constraints
11.51/6.11 c (5,5) translated 51 (40%) constraints
15.78/10.22 c (9,9) translated 63 (50%) constraints
24.13/17.93 c (17,17) translated 76 (60%) constraints
35.38/28.57 c (28,27) translated 89 (70%) constraints
51.27/43.30 c (42,42) translated 101 (80%) constraints
75.98/66.25 c (65,64) translated 114 (90%) constraints
111.65/98.76 c (98,95) translated 126 (100%) constraints
111.65/98.76 c (98,95) ===========================================
111.76/98.88 c (98,96) Hybrid: #OE=90648, #LE=0
111.76/98.88 c (98,96) Hybrid
111.76/98.88 c (98,96) ===========================================
113.40/99.94 c (99,97) translated 56261 (10%) constraints
114.48/100.90 c (100,98) translated 112521 (20%) constraints
115.40/101.85 c (101,99) translated 168782 (30%) constraints
116.40/102.81 c (102,99) translated 225042 (40%) constraints
117.30/103.76 c (103,100) translated 281303 (50%) constraints
118.30/104.71 c (104,101) translated 337563 (60%) constraints
120.52/106.01 c (105,102) translated 393824 (70%) constraints
121.52/106.95 c (106,103) translated 450084 (80%) constraints
122.52/107.90 c (107,104) translated 506345 (90%) constraints
123.42/108.86 c (108,105) translated 562605 (100%) constraints
123.42/108.86 c (108,105) CSP to CSPinCNF End
123.55/108.90 c (108,105) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562609 ctr, max domain size 2059
123.55/108.90 c (108,105) Heap : 1616 MiB used (max 10763 MiB), NonHeap : 27 MiB used (max 0 MiB)
123.55/108.90 c (108,105) CSPinCNF Propagation Begin
143.98/126.02 c (125,121) 0 values, 125 unsatisfiable literals, and 2 valid clauses are removed
143.98/126.02 c (125,121) CSPinCNF Propagation End
143.98/126.05 c (125,121) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
143.98/126.05 c (125,121) Heap : 1916 MiB used (max 10771 MiB), NonHeap : 27 MiB used (max 0 MiB)
144.10/126.20 c (125,122) Hybrid: #OE=90650, #LE=0
144.10/126.20 c (125,122) Simplify CSPinCNF Begin
145.23/127.12 c (126,123) Simplify CSPinCNF End
145.23/127.15 c (126,123) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
145.23/127.15 c (126,123) Heap : 2470 MiB used (max 10771 MiB), NonHeap : 27 MiB used (max 0 MiB)
145.23/127.15 c (126,123) Calculate Precise Domain Begin
145.23/127.16 c (126,123) 0 values are removed by re-calculation
145.23/127.16 c (126,123) Calculate Precise Domain End
145.23/127.18 c (126,123) CSP: 126 int (0 aux), 90524 bool (90524 aux), 562607 ctr, max domain size 2059
145.23/127.18 c (126,123) Heap : 2470 MiB used (max 10771 MiB), NonHeap : 27 MiB used (max 0 MiB)
145.23/127.18 c (126,123) CSPinCNF to SatSolver Begin
148.07/128.31 c (127,124) 56261 (10 %) CSP clauses are encoded (0 SAT variables, 148589 SAT clauses)
149.41/129.06 c (128,124) 112522 (20 %) CSP clauses are encoded (0 SAT variables, 204850 SAT clauses)
150.02/129.57 c (129,125) 168783 (30 %) CSP clauses are encoded (0 SAT variables, 261111 SAT clauses)
150.53/130.10 c (129,125) 225043 (40 %) CSP clauses are encoded (0 SAT variables, 317371 SAT clauses)
151.13/130.63 c (130,126) 281304 (50 %) CSP clauses are encoded (0 SAT variables, 373632 SAT clauses)
151.67/131.17 c (130,126) 337565 (60 %) CSP clauses are encoded (0 SAT variables, 429893 SAT clauses)
152.27/131.74 c (131,127) 393825 (70 %) CSP clauses are encoded (0 SAT variables, 486153 SAT clauses)
153.74/132.53 c (131,127) 450086 (80 %) CSP clauses are encoded (0 SAT variables, 542414 SAT clauses)
154.35/133.14 c (132,128) 506347 (90 %) CSP clauses are encoded (0 SAT variables, 598675 SAT clauses)
154.94/133.76 c (133,129) 562607 (100 %) CSP clauses are encoded (0 SAT variables, 654935 SAT clauses)
154.94/133.77 c (133,129) CSPinCNF to SatSolver End
154.94/133.77 c (133,129) Heap : 2552 MiB used (max 10808 MiB), NonHeap : 30 MiB used (max 0 MiB)
154.94/133.77 c (133,129) 182979 bool, 654936 clause
154.94/133.77 c (133,129) Export Begin
155.93/134.31 c (133,129) Export to HOME/scop-12965-serial-file.bin
155.93/134.31 c (133,129) Export End
155.93/134.31 c (133,129) Export File Size: 2.74 MB
155.93/134.31 c (133,129) 0,0,108,125,126,126,133,STOP-AFTER(DIMACS)
155.93/134.31 c END-Prog: Thu Sep 12 16:05:50 CEST 2019
155.93/134.35 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12965-serial-file.bin
155.98/134.82 c (0,0) Read Serial File Begin
155.98/134.82 c (0,0) HOME/scop-12965-serial-file.bin
157.73/135.41 c (0,0) Read Serial File End
157.73/135.43
157.73/135.43 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
157.73/135.43 (Solving Process)
157.73/135.43
157.73/135.45 c BEGIN-Prog: Thu Sep 12 16:05:51 CEST 2019
157.73/135.45 c PID: 12993
157.73/135.45 c IP: 172.20.3.103
157.73/135.45 c HOST: node103.alineos.net
157.73/135.45 c (0,0) SatSolver.solve Begin
157.73/135.45 c (0,0) HOME/cryptominisat5 HOME/instance-4388266-1568297074.xml-scop-12968.cnf
157.73/135.48 c (0,0) c Outputting solution to console
157.73/135.48 c (0,0) c CryptoMiniSat version 5.6.8
157.73/135.48 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
157.73/135.48 c (0,0) c CMS SHA revision GIT-notfound
157.73/135.48 c (0,0) c CMS is MIT licensed
157.73/135.48 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
157.73/135.48 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
157.73/135.48 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388266-1568297074.xml-scop-12968.cnf
157.73/135.48 c (0,0) c Reading file 'HOME/instance-4388266-1568297074.xml-scop-12968.cnf'
157.73/135.48 c (0,0) c -- header says num vars: 182979
157.73/135.48 c (0,0) c -- header says num clauses: 654936
157.98/135.74 c (0,0) c -- clauses added: 654936
157.98/135.74 c (0,0) c -- xor clauses added: 0
157.98/135.74 c (0,0) c -- vars added 182979
157.98/135.74 c (0,0) c Parsing time: 0.22 s
157.98/135.79 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
157.98/135.79 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
157.98/135.79 c (1,0) c UIP search time : 0.05 (17.99 % time)
157.98/135.79 c (1,0) c restarts : 1 (0.00 confls per restart)
157.98/135.79 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
157.98/135.79 c (1,0) c time : 0.05
157.98/135.79 c (1,0) c decisions : 1723 (0.00 % random)
157.98/135.79 c (1,0) c propagations : 182979
157.98/135.79 c (1,0) c decisions/conflicts : 0.00
157.98/135.79 c (1,0) c conflicts : 0 (0.00 / sec)
157.98/135.79 c (1,0) c conf lits non-minim : 0 (0.00 lit/confl)
157.98/135.79 c (1,0) c conf lits final : 0.00
157.98/135.79 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
157.98/135.79 c (1,0) c red which0 : 0 (0.00 % of confl)
157.98/135.79 c (1,0) c props/decision : 0.00
157.98/135.79 c (1,0) c props/conflict : 0.00
157.98/135.79 c (1,0) c 0-depth assigns : 0 (0.00 % vars)
157.98/135.79 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
157.98/135.79 c (1,0) c reduceDB time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c [occur] 0.00 is overhead
157.98/135.79 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
157.98/135.79 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
157.98/135.79 c (1,0) c SCC time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c [scc] new: 0 BP 0M T: 0.00
157.98/135.79 c (1,0) c vrep replace time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c vrep tree roots : 0
157.98/135.79 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
157.98/135.79 c (1,0) c distill time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
157.98/135.79 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
157.98/135.79 c (1,0) c Conflicts in UIP : 0 (0.00 confl/time_this_thread)
157.98/135.79 c (1,0) c Mem used : 85.49 MB
158.00/135.80 c (1,0) c Total time (this thread) : 0.28
158.00/135.80 c (1,0) s SATISFIABLE
159.31/136.16 c (1,0) SatSolver.solve End
159.31/136.16 c (1,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
159.31/136.16 c (1,0) Show results Begin
159.85/136.30 c (1,0) x[0] = 1
159.85/136.30 c (1,0) x[1] = 0
159.85/136.30 c (1,0) x[2] = 2
159.85/136.30 c (1,0) x[3] = 0
159.85/136.30 c (1,0) x[4] = 2
159.85/136.30 c (1,0) x[5] = 0
159.85/136.30 c (1,0) x[6] = 2
159.85/136.30 c (1,0) x[7] = 0
159.85/136.30 c (1,0) x[8] = 2
159.85/136.30 c (1,0) x[9] = 0
159.85/136.30 c (1,0) x[10] = 2
159.85/136.30 c (1,0) x[11] = 0
159.85/136.30 c (1,0) x[12] = 2
159.85/136.30 c (1,0) x[13] = 0
159.85/136.30 c (1,0) x[14] = 2
159.85/136.30 c (1,0) x[15] = 0
159.85/136.30 c (1,0) x[16] = 2
159.85/136.30 c (1,0) x[17] = 0
159.85/136.30 c (1,0) x[18] = 2
159.85/136.30 c (1,0) x[19] = 0
159.85/136.30 c (1,0) x[20] = 2
159.85/136.30 c (1,0) x[21] = 0
159.85/136.30 c (1,0) x[22] = 2
159.85/136.30 c (1,0) x[23] = 0
159.85/136.30 c (1,0) x[24] = 2
159.85/136.30 c (1,0) x[25] = 0
159.85/136.30 c (1,0) x[26] = 2
159.85/136.30 c (1,0) x[27] = 0
159.85/136.30 c (1,0) x[28] = 2
159.85/136.30 c (1,0) x[29] = 0
159.85/136.30 c (1,0) x[30] = 2
159.85/136.30 c (1,0) x[31] = 0
159.85/136.30 c (1,0) x[32] = 2
159.85/136.30 c (1,0) x[33] = 0
159.85/136.30 c (1,0) x[34] = 2
159.85/136.30 c (1,0) x[35] = 0
159.85/136.30 c (1,0) x[36] = 2
159.85/136.30 c (1,0) x[37] = 0
159.85/136.30 c (1,0) x[38] = 2
159.85/136.30 c (1,0) x[39] = 0
159.85/136.30 c (1,0) x[40] = 2
159.85/136.30 c (1,0) x[41] = 0
159.85/136.30 c (1,0) x[42] = 2
159.85/136.30 c (1,0) x[43] = 0
159.85/136.30 c (1,0) x[44] = 2
159.85/136.30 c (1,0) x[45] = 0
159.85/136.30 c (1,0) x[46] = 2
159.85/136.30 c (1,0) x[47] = 0
159.85/136.30 c (1,0) x[48] = 2
159.85/136.30 c (1,0) x[49] = 0
159.85/136.30 c (1,0) x[50] = 2
159.85/136.30 c (1,0) x[51] = 0
159.85/136.30 c (1,0) x[52] = 2
159.85/136.30 c (1,0) x[53] = 0
159.85/136.30 c (1,0) x[54] = 2
159.85/136.30 c (1,0) x[55] = 0
159.85/136.30 c (1,0) x[56] = 2
159.85/136.30 c (1,0) x[57] = 0
159.85/136.30 c (1,0) x[58] = 2
159.85/136.30 c (1,0) x[59] = 0
159.85/136.30 c (1,0) x[60] = 2
159.85/136.30 c (1,0) x[61] = 0
159.85/136.30 c (1,0) x[62] = 2
159.85/136.30 c (1,0) x[63] = 0
159.85/136.30 c (1,0) x[64] = 2
159.85/136.30 c (1,0) x[65] = 0
159.85/136.30 c (1,0) x[66] = 2
159.85/136.30 c (1,0) x[67] = 0
159.85/136.30 c (1,0) x[68] = 2
159.85/136.30 c (1,0) x[69] = 0
159.85/136.30 c (1,0) x[70] = 2
159.85/136.30 c (1,0) x[71] = 0
159.85/136.30 c (1,0) x[72] = 2
159.85/136.30 c (1,0) x[73] = 0
159.85/136.30 c (1,0) x[74] = 2
159.85/136.30 c (1,0) x[75] = 0
159.85/136.30 c (1,0) x[76] = 2
159.85/136.30 c (1,0) x[77] = 0
159.85/136.30 c (1,0) x[78] = 2
159.85/136.30 c (1,0) x[79] = 0
159.85/136.30 c (1,0) x[80] = 2
159.85/136.30 c (1,0) x[81] = 0
159.85/136.30 c (1,0) x[82] = 2
159.85/136.30 c (1,0) x[83] = 0
159.85/136.30 c (1,0) x[84] = 2
159.85/136.30 c (1,0) x[85] = 0
159.85/136.30 c (1,0) x[86] = 2
159.85/136.30 c (1,0) x[87] = 0
159.85/136.30 c (1,0) x[88] = 2
159.85/136.30 c (1,0) x[89] = 0
159.85/136.30 c (1,0) x[90] = 2
159.85/136.30 c (1,0) x[91] = 0
159.85/136.30 c (1,0) x[92] = 2
159.85/136.30 c (1,0) x[93] = 0
159.85/136.30 c (1,0) x[94] = 2
159.85/136.30 c (1,0) x[95] = 0
159.85/136.30 c (1,0) x[96] = 2
159.85/136.30 c (1,0) x[97] = 0
159.85/136.30 c (1,0) x[98] = 2
159.85/136.30 c (1,0) x[99] = 0
159.85/136.30 c (1,0) x[100] = 2
159.85/136.30 c (1,0) x[101] = 0
159.85/136.30 c (1,0) x[102] = 2
159.85/136.30 c (1,0) x[103] = 0
159.85/136.30 c (1,0) x[104] = 2
159.85/136.30 c (1,0) x[105] = 0
159.85/136.30 c (1,0) x[106] = 2
159.85/136.30 c (1,0) x[107] = 0
159.85/136.30 c (1,0) x[108] = 2
159.85/136.30 c (1,0) x[109] = 0
159.85/136.30 c (1,0) x[110] = 2
159.85/136.30 c (1,0) x[111] = 0
159.85/136.30 c (1,0) x[112] = 2
159.85/136.30 c (1,0) x[113] = 0
159.85/136.30 c (1,0) x[114] = 2
159.85/136.30 c (1,0) x[115] = 0
159.85/136.30 c (1,0) x[116] = 2
159.85/136.30 c (1,0) x[117] = 0
159.85/136.30 c (1,0) x[118] = 2
159.85/136.30 c (1,0) x[119] = 0
159.85/136.30 c (1,0) x[120] = 2
159.85/136.30 c (1,0) x[121] = 0
159.85/136.30 c (1,0) x[122] = 2
159.85/136.30 c (1,0) x[123] = 0
159.85/136.30 c (1,0) x[124] = 2
159.85/136.30 c (1,0) x[125] = 0
159.85/136.30 s SATISFIABLE
159.85/136.31 v <instantiation>
159.85/136.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] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125]</list>
159.85/136.31 v <values>1 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0</values>
159.85/136.31 v </instantiation>
159.85/136.31 c (1,0) Show results End
159.85/136.31 c (1,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
159.85/136.31 c (1,0) 1,1,STOP-AFTER(ALL)
159.85/136.31 c END-Prog: Thu Sep 12 16:05: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 (9282 MiB free)
memory of node 1: 16384 MiB (12732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388266-1568297074/watcher-4388266-1568297074 -o /tmp/evaluation-result-4388266-1568297074/solver-4388266-1568297074 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9765 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388266-1568297074.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
solver pid=12965, runsolver pid=12962
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 2.04 2.05 2.11 4/236 12982
/proc/meminfo: memFree=22485308/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405960509 115843072 349 33554432000 4194304 5098028 140727521524000 140727521521256 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 349 296 221 0 87 0
[pid=12968] ppid=12965 vsize=15012696 memory=70388 CPUtime=0.11 cores=0,2,4,6
/proc/12968/stat : 12968 (java) S 12965 12965 8640 0 -1 1077944320 6933 0 0 0 9 2 0 0 20 0 15 0 405960509 15373000704 17597 33554432000 4194304 4196468 140733323527584 140733323510128 139767287705335 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
/proc/12968/statm: 3753174 17597 2889 1 0 3715579 0
[pid=12968/tid=12969] ppid=12965 vsize=15013720 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/12968/task/12969/stat : 12969 (java) R 12965 12965 8640 0 -1 4202560 4833 0 0 0 7 2 0 0 20 0 15 0 405960510 15374049280 17794 33554432000 4194304 4196468 140733323527584 139767259489584 139767280385053 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12970] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12970/stat : 12970 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15374049280 17794 33554432000 4194304 4196468 140733323527584 139767291948176 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12971] ppid=12965 vsize=15013720 memory=139927360542776 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12971/stat : 12971 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15374049280 17794 33554432000 4194304 4196468 140733323527584 139767106104336 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12972] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12972/stat : 12972 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15374049280 17794 33554432000 4194304 4196468 140733323527584 139767105051536 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12973] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12973/stat : 12973 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15374049280 17860 33554432000 4194304 4196468 140733323527584 139767103998736 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12974] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12974/stat : 12974 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960513 15374049280 17860 33554432000 4194304 4196468 140733323527584 139766694431088 139767287716482 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12975] ppid=12965 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12975/stat : 12975 (java) S 12965 12965 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405960513 15374049280 17860 33554432000 4194304 4196468 140733323527584 139765886215200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12976] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12976/stat : 12976 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405960513 15374049280 17860 33554432000 4194304 4196468 140733323527584 139765751993200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12977] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12977/stat : 12977 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139765377488720 139767287723931 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12978] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12978/stat : 12978 (java) S 12965 12965 8640 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139766693378928 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12979] ppid=12965 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12979/stat : 12979 (java) S 12965 12965 8640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139766121097968 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12980] ppid=12965 vsize=15013720 memory=139927360530048 CPUtime=0.01 cores=0,2,4,6
/proc/12968/task/12980/stat : 12980 (java) S 12965 12965 8640 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139766120045168 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12981] ppid=12965 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12981/stat : 12981 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139764879583968 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12982] ppid=12965 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12982/stat : 12982 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960516 15374049280 17860 33554432000 4194304 4196468 140733323527584 139766118992560 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71784 KiB
[startup+0.210845 s]*
/proc/loadavg: 2.04 2.05 2.11 3/236 12982
/proc/meminfo: memFree=22469592/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405960509 115843072 349 33554432000 4194304 5098028 140727521524000 140727521521256 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 349 296 221 0 87 0
[pid=12968] ppid=12965 vsize=15012696 memory=83616 CPUtime=0.25 cores=0,2,4,6
/proc/12968/stat : 12968 (java) S 12965 12965 8640 0 -1 1077944320 11453 0 0 0 21 4 0 0 20 0 15 0 405960509 15373000704 20904 33554432000 4194304 4196468 140733323527584 140733323510128 139767287705335 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
/proc/12968/statm: 3753174 20904 2956 1 0 3715579 0
[pid=12968/tid=12969] ppid=12965 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/12968/task/12969/stat : 12969 (java) R 12965 12965 8640 0 -1 4202560 9155 0 0 0 17 3 0 0 20 0 15 0 405960510 15373000704 20904 33554432000 4194304 4196468 140733323527584 139767259527872 139767271785822 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12970] ppid=12965 vsize=15012696 memory=396 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12970/stat : 12970 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 20904 33554432000 4194304 4196468 140733323527584 139767291948176 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12971] ppid=12965 vsize=15012696 memory=288370303512241792 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12971/stat : 12971 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 20904 33554432000 4194304 4196468 140733323527584 139767106104336 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12972] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12972/stat : 12972 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 20904 33554432000 4194304 4196468 140733323527584 139767105051536 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12973] ppid=12965 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12973/stat : 12973 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 20904 33554432000 4194304 4196468 140733323527584 139767103998736 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12974] ppid=12965 vsize=15012696 memory=139927360530048 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12974/stat : 12974 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 20904 33554432000 4194304 4196468 140733323527584 139766694431088 139767287716482 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12975] ppid=12965 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12975/stat : 12975 (java) S 12965 12965 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 20904 33554432000 4194304 4196468 140733323527584 139765886215200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12976] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12976/stat : 12976 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 20904 33554432000 4194304 4196468 140733323527584 139765751993200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12977] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12977/stat : 12977 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139765377488720 139767287723931 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12978] ppid=12965 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12968/task/12978/stat : 12978 (java) S 12965 12965 8640 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139766693378928 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12979] ppid=12965 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12979/stat : 12979 (java) S 12965 12965 8640 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139766121097968 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12980] ppid=12965 vsize=15012696 memory=139927360530048 CPUtime=0.02 cores=0,2,4,6
/proc/12968/task/12980/stat : 12980 (java) S 12965 12965 8640 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139766120045168 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12981] ppid=12965 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12981/stat : 12981 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139764879583968 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12982] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12982/stat : 12982 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 20904 33554432000 4194304 4196468 140733323527584 139766118992560 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85012 KiB
[startup+0.310668 s]*
/proc/loadavg: 2.04 2.05 2.11 3/236 12982
/proc/meminfo: memFree=22465808/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405960509 115843072 349 33554432000 4194304 5098028 140727521524000 140727521521256 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 349 296 221 0 87 0
[pid=12968] ppid=12965 vsize=15012696 memory=88168 CPUtime=0.43 cores=0,2,4,6
/proc/12968/stat : 12968 (java) S 12965 12965 8640 0 -1 1077944320 12557 0 0 0 39 4 0 0 20 0 15 0 405960509 15373000704 22042 33554432000 4194304 4196468 140733323527584 140733323510128 139767287705335 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
/proc/12968/statm: 3753174 22042 3085 1 0 3715579 0
[pid=12968/tid=12969] ppid=12965 vsize=15012696 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/12968/task/12969/stat : 12969 (java) R 12965 12965 8640 0 -1 4202560 10045 0 0 0 26 3 0 0 20 0 15 0 405960510 15373000704 22042 33554432000 4194304 4196468 140733323527584 139767259517680 139767269268899 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12970] ppid=12965 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12970/stat : 12970 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 22042 33554432000 4194304 4196468 140733323527584 139767291948176 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12971] ppid=12965 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12971/stat : 12971 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 22042 33554432000 4194304 4196468 140733323527584 139767106104336 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12972] ppid=12965 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12972/stat : 12972 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 22042 33554432000 4194304 4196468 140733323527584 139767105051536 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12973] ppid=12965 vsize=15012696 memory=7007982110983759250 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12973/stat : 12973 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15373000704 22042 33554432000 4194304 4196468 140733323527584 139767103998736 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12974] ppid=12965 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12974/stat : 12974 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 22042 33554432000 4194304 4196468 140733323527584 139766694431088 139767287716482 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12975] ppid=12965 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12975/stat : 12975 (java) S 12965 12965 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 22042 33554432000 4194304 4196468 140733323527584 139765886215200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12976] ppid=12965 vsize=15012696 memory=-8253362762721939848 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12976/stat : 12976 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405960513 15373000704 22042 33554432000 4194304 4196468 140733323527584 139765751993200 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12977] ppid=12965 vsize=15012696 memory=6576575808607462311 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12977/stat : 12977 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139765377488720 139767287723931 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12978] ppid=12965 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12968/task/12978/stat : 12978 (java) S 12965 12965 8640 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139766693378928 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12979] ppid=12965 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12968/task/12979/stat : 12979 (java) S 12965 12965 8640 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139766121097968 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12980] ppid=12965 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12968/task/12980/stat : 12980 (java) S 12965 12965 8640 0 -1 1077944384 539 0 0 0 7 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139766120045168 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12981] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12981/stat : 12981 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139764879583968 139767287715541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12982] ppid=12965 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12982/stat : 12982 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960516 15373000704 22042 33554432000 4194304 4196468 140733323527584 139766118992560 139767287716482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89564 KiB
[startup+0.700795 s]
/proc/loadavg: 2.04 2.05 2.11 3/236 12982
/proc/meminfo: memFree=22442696/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405960509 115843072 349 33554432000 4194304 5098028 140727521524000 140727521521256 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 349 296 221 0 87 0
[pid=12968] ppid=12965 vsize=15021092 memory=127792 CPUtime=1.02 cores=0,2,4,6
/proc/12968/stat : 12968 (java) S 12965 12965 8640 0 -1 1077944320 20322 0 0 0 95 7 0 0 20 0 15 0 405960509 15381598208 31948 33554432000 4194304 4196468 140733323527584 140733323510128 139767287705335 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
/proc/12968/statm: 3755273 31948 3199 1 0 3716603 0
[pid=12968/tid=12969] ppid=12965 vsize=15021092 memory=2828 CPUtime=0.67 cores=0,2,4,6
/proc/12968/task/12969/stat : 12969 (java) R 12965 12965 8640 0 -1 4202560 17301 0 0 0 62 5 0 0 20 0 15 0 405960510 15381598208 31948 33554432000 4194304 4196468 140733323527584 139767259542096 139767287726682 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12970] ppid=12965 vsize=15021092 memory=676 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12970/stat : 12970 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15381598208 31948 33554432000 4194304 4196468 140733323527584 139767291948176 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12971] ppid=12965 vsize=15021092 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12971/stat : 12971 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15381598208 31948 33554432000 4194304 4196468 140733323527584 139767106104336 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12972] ppid=12965 vsize=15021092 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12972/stat : 12972 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960511 15381598208 31948 33554432000 4194304 4196468 140733323527584 139767105051536 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12973] ppid=12965 vsize=15021092 memory=8488 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12973/stat : 12973 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405960511 15381598208 31948 33554432000 4194304 4196468 140733323527584 139767103998736 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12974] ppid=12965 vsize=15021092 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12974/stat : 12974 (java) S 12965 12965 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405960513 15381598208 31948 33554432000 4194304 4196468 140733323527584 139766694431088 139767287716482 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12975] ppid=12965 vsize=15021092 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12975/stat : 12975 (java) S 12965 12965 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405960513 15381598208 31948 33554432000 4194304 4196468 140733323527584 139765886215200 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12976] ppid=12965 vsize=15021092 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12976/stat : 12976 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405960513 15381598208 31948 33554432000 4194304 4196468 140733323527584 139765751993200 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12977] ppid=12965 vsize=15021092 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12977/stat : 12977 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139765377488720 139767287723931 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12978] ppid=12965 vsize=15021092 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/12968/task/12978/stat : 12978 (java) S 12965 12965 8640 0 -1 1077944384 588 0 0 0 7 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139766693378928 139767287716482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12979] ppid=12965 vsize=15021092 memory=2124 CPUtime=0.09 cores=0,2,4,6
/proc/12968/task/12979/stat : 12979 (java) R 12965 12965 8640 0 -1 1077944384 440 0 0 0 9 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139766121097968 139767287716482 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12980] ppid=12965 vsize=15021092 memory=20528 CPUtime=0.14 cores=0,2,4,6
/proc/12968/task/12980/stat : 12980 (java) R 12965 12965 8640 0 -1 4202560 638 0 0 0 14 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139766120045168 139767266464848 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12981] ppid=12965 vsize=15021092 memory=3472323897372787046 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12981/stat : 12981 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139764879583968 139767287715541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
[pid=12968/tid=12982] ppid=12965 vsize=15021092 memory=139927215965968 CPUtime=0 cores=0,2,4,6
/proc/12968/task/12982/stat : 12982 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405960516 15381598208 31948 33554432000 4194304 4196468 140733323527584 139766118992560 139767287716482 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19865600 140733323535145 140733323535514 140733323535514 140733323538383 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129188 KiB
[startup+1.50105 s]
/proc/loadavg: 2.04 2.05 2.11 5/236 12982
/proc/meminfo: memFree=22401128/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405960509 115843072 349 33554432000 4194304 5098028 140727521524000 140727521521256 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=12993/tid=13001] ppid=12965 vsize=7408652 memory=15260333174426011 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13001/stat : 13001 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405973948 7586459648 28546 33554432000 4194304 4196468 140734193862800 139741592802032 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13002] ppid=12965 vsize=7408652 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13002/stat : 13002 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139741218297808 139743032965019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13003] ppid=12965 vsize=7408652 memory=5968 CPUtime=0.2 cores=0,2,4,6
/proc/12993/task/13003/stat : 13003 (java) R 12965 12965 8640 0 -1 4202560 1215 0 0 0 20 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139742344096496 139743016357453 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13004] ppid=12965 vsize=7408652 memory=14008 CPUtime=0.19 cores=0,2,4,6
/proc/12993/task/13004/stat : 13004 (java) R 12965 12965 8640 0 -1 4202560 554 0 0 0 19 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139742343043952 139743010963406 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13005] ppid=12965 vsize=7408652 memory=2124 CPUtime=0.18 cores=0,2,4,6
/proc/12993/task/13005/stat : 13005 (java) S 12965 12965 8640 0 -1 1077944384 709 0 0 0 18 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139742341990896 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13006] ppid=12965 vsize=7408652 memory=20528 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13006/stat : 13006 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139740720393056 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13007] ppid=12965 vsize=7408652 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13007/stat : 13007 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405973951 7586459648 28546 33554432000 4194304 4196468 140734193862800 139742340938288 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
Current children cumulated CPU time: 157.4 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 115660 KiB
[startup+136.001 s]*
/proc/loadavg: 1.93 2.03 2.10 5/240 13013
/proc/meminfo: memFree=22237036/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1476 CPUtime=155.98 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 583 74665 0 0 0 0 15313 285 20 0 1 0 405960509 115843072 369 33554432000 4194304 5098028 140727521524000 140727521520744 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 369 311 221 0 87 0
[pid=12993] ppid=12965 vsize=8068440 memory=197912 CPUtime=2.68 cores=0,2,4,6
/proc/12993/stat : 12993 (java) S 12965 12965 8640 0 -1 1077944320 22967 0 0 0 242 26 0 0 20 0 19 0 405973944 8262082560 49478 33554432000 4194304 4196468 140734193862800 140734193845344 139743032946423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
/proc/12993/statm: 2017110 49478 3235 1 0 1978454 0
[pid=13008] ppid=12993 vsize=117704 memory=87540 CPUtime=0.34 cores=0,2,4,6
/proc/13008/stat : 13008 (cryptominisat5) R 12993 12965 8640 0 -1 4202496 20412 0 0 0 30 4 0 0 20 0 1 0 405974057 120528896 21885 33554432000 4194304 4451008 140721730549536 140721730546760 140456592014432 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 25231360 140721730556860 140721730556992 140721730556992 140721730559942 0
/proc/13008/statm: 29426 21885 646 63 0 23153 0
[pid=12993/tid=12994] ppid=12965 vsize=8068440 memory=8317482817917895235 CPUtime=1.15 cores=0,2,4,6
/proc/12993/task/12994/stat : 12994 (java) S 12965 12965 8640 0 -1 1077944384 17915 0 0 0 92 23 0 0 20 0 19 0 405973945 8262082560 49990 33554432000 4194304 4196468 140734193862800 139743004786592 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12995] ppid=12965 vsize=8068440 memory=4206749494057918560 CPUtime=0 cores=0,2,4,6
/proc/12993/task/12995/stat : 12995 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405973946 8262082560 49990 33554432000 4194304 4196468 140734193862800 139743037189136 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12996] ppid=12965 vsize=8068440 memory=-7449383003082255507 CPUtime=0 cores=0,2,4,6
/proc/12993/task/12996/stat : 12996 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405973946 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742518029456 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12997] ppid=12965 vsize=8068440 memory=-7966001967340291680 CPUtime=0 cores=0,2,4,6
/proc/12993/task/12997/stat : 12997 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405973946 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742516976400 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12998] ppid=12965 vsize=8068440 memory=6944656626178237591 CPUtime=0 cores=0,2,4,6
/proc/12993/task/12998/stat : 12998 (java) S 12965 12965 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405973946 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742515923856 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12999] ppid=12965 vsize=8068440 memory=7684433386921362195 CPUtime=0 cores=0,2,4,6
/proc/12993/task/12999/stat : 12999 (java) S 12965 12965 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405973947 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742345148656 139743032957570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13000] ppid=12965 vsize=8068440 memory=8243114992657236051 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13000/stat : 13000 (java) S 12965 12965 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405973948 8262082560 49990 33554432000 4194304 4196468 140734193862800 139741727024288 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13001] ppid=12965 vsize=8068440 memory=932 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13001/stat : 13001 (java) S 12965 12965 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405973948 8262082560 49990 33554432000 4194304 4196468 140734193862800 139741592802032 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13002] ppid=12965 vsize=8068440 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13002/stat : 13002 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139741218297808 139743032965019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13003] ppid=12965 vsize=8068440 memory=1980 CPUtime=0.5 cores=0,2,4,6
/proc/12993/task/13003/stat : 13003 (java) R 12965 12965 8640 0 -1 4202560 1872 0 0 0 50 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742344082520 139743014491930 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13004] ppid=12965 vsize=8068440 memory=2512 CPUtime=0.46 cores=0,2,4,6
/proc/12993/task/13004/stat : 13004 (java) R 12965 12965 8640 0 -1 4202560 649 0 0 0 46 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742343033632 139743017369408 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13005] ppid=12965 vsize=8068440 memory=1436 CPUtime=0.32 cores=0,2,4,6
/proc/12993/task/13005/stat : 13005 (java) R 12965 12965 8640 0 -1 1077944384 1056 0 0 0 32 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742341990896 139743032957570 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13006] ppid=12965 vsize=8068440 memory=812 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13006/stat : 13006 (java) S 12965 12965 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139740720393056 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13007] ppid=12965 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13007/stat : 13007 (java) S 12965 12965 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405973951 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742340938288 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13009] ppid=12965 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13009/stat : 13009 (java) S 12965 12965 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405974057 8262082560 49990 33554432000 4194304 4196468 140734193862800 139742332904768 139743032971033 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13011] ppid=12965 vsize=8068440 memory=20528 CPUtime=0.2 cores=0,2,4,6
/proc/12993/task/13011/stat : 13011 (java) R 12965 12965 8640 0 -1 4202560 70 0 0 0 20 0 0 0 20 0 19 0 405974057 8262082560 49990 33554432000 4194304 4196468 140734193862800 139740183511096 139743032968349 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13012] ppid=12965 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13012/stat : 13012 (java) S 12965 12965 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405974057 8262082560 49990 33554432000 4194304 4196468 140734193862800 139740317728816 139743032968349 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13013] ppid=12965 vsize=8068440 memory=137276 CPUtime=0 cores=0,2,4,6
/proc/12993/task/13013/stat : 13013 (java) S 12965 12965 8640 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405974060 8262082560 49990 33554432000 4194304 4196468 140734193862800 139739915083568 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
Current children cumulated CPU time: 159 s
Current children cumulated vsize: 8299272 KiB
Current children cumulated memory: 286928 KiB
[startup+136.201 s]
/proc/loadavg: 1.93 2.03 2.10 5/240 13013
/proc/meminfo: memFree=22237036/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1476 CPUtime=155.98 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 583 74665 0 0 0 0 15313 285 20 0 1 0 405960509 115843072 369 33554432000 4194304 5098028 140727521524000 140727521520744 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 369 311 221 0 87 0
[pid=12993] ppid=12965 vsize=7937364 memory=237448 CPUtime=3.63 cores=0,2,4,6
/proc/12993/stat : 12993 (java) S 12965 12965 8640 0 -1 1077944320 24196 20423 0 0 298 27 33 5 20 0 17 0 405973944 8127860736 59362 33554432000 4194304 4196468 140734193862800 140734193845344 139743032946423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
/proc/12993/statm: 1984341 59362 3240 1 0 1945685 0
[pid=12993/tid=12994] ppid=12965 vsize=7937364 memory=1396 CPUtime=1.58 cores=0,2,4,6
/proc/12993/task/12994/stat : 12994 (java) R 12965 12965 8640 0 -1 4202560 18066 20423 0 0 97 23 33 5 20 0 17 0 405973945 8127860736 59362 33554432000 4194304 4196468 140734193862800 139743004784608 139742536035296 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12995] ppid=12965 vsize=7937364 memory=4792268 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12995/stat : 12995 (java) S 12965 12965 8640 0 -1 1077944384 2 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 59362 33554432000 4194304 4196468 140734193862800 139743037189136 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12996] ppid=12965 vsize=7937364 memory=1656 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12996/stat : 12996 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742518029456 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12997] ppid=12965 vsize=7937364 memory=8317482817917895235 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12997/stat : 12997 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742516976400 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12998] ppid=12965 vsize=7937364 memory=676 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12998/stat : 12998 (java) S 12965 12965 8640 0 -1 1077944384 2 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742515923856 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12999] ppid=12965 vsize=7937364 memory=4770996 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12999/stat : 12999 (java) S 12965 12965 8640 0 -1 1077944384 5 20423 0 0 0 0 33 5 20 0 17 0 405973947 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742345148656 139743032957570 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13000] ppid=12965 vsize=7937364 memory=486312 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13000/stat : 13000 (java) S 12965 12965 8640 0 -1 1077944384 13 20423 0 0 0 0 33 5 20 0 17 0 405973948 8127860736 59362 33554432000 4194304 4196468 140734193862800 139741727024288 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13001] ppid=12965 vsize=7937364 memory=17729 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13001/stat : 13001 (java) S 12965 12965 8640 0 -1 1077944384 21 20423 0 0 0 0 33 5 20 0 17 0 405973948 8127860736 59362 33554432000 4194304 4196468 140734193862800 139741592802032 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13002] ppid=12965 vsize=7937364 memory=4420 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13002/stat : 13002 (java) S 12965 12965 8640 0 -1 1077944384 3 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139741218297808 139743032965019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13003] ppid=12965 vsize=7937364 memory=776 CPUtime=1.07 cores=0,2,4,6
/proc/12993/task/13003/stat : 13003 (java) S 12965 12965 8640 0 -1 1077944384 2046 20423 0 0 68 1 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742344096496 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13004] ppid=12965 vsize=7937364 memory=3500 CPUtime=1.03 cores=0,2,4,6
/proc/12993/task/13004/stat : 13004 (java) S 12965 12965 8640 0 -1 1077944384 1495 20423 0 0 65 0 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742343043952 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13005] ppid=12965 vsize=7937364 memory=3504 CPUtime=0.72 cores=0,2,4,6
/proc/12993/task/13005/stat : 13005 (java) R 12965 12965 8640 0 -1 1077944384 1088 20423 0 0 34 0 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742341990896 139743032957570 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13006] ppid=12965 vsize=7937364 memory=37456 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13006/stat : 13006 (java) S 12965 12965 8640 0 -1 1077944384 3 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139740720393056 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13007] ppid=12965 vsize=7937364 memory=3028 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13007/stat : 13007 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742340938288 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13009] ppid=12965 vsize=7937364 memory=2012 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13009/stat : 13009 (java) S 12965 12965 8640 0 -1 1077944384 23 20423 0 0 0 0 33 5 20 0 17 0 405974057 8127860736 59362 33554432000 4194304 4196468 140734193862800 139742332903952 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13013] ppid=12965 vsize=7937364 memory=3500 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13013/stat : 13013 (java) S 12965 12965 8640 0 -1 1077944384 15 20423 0 0 0 0 33 5 20 0 17 0 405974060 8127860736 59362 33554432000 4194304 4196468 140734193862800 139739915085360 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
Current children cumulated CPU time: 159.61 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 238924 KiB
[startup+136.301 s]
/proc/loadavg: 1.93 2.03 2.10 5/240 13013
/proc/meminfo: memFree=22237036/32770624 swapFree=66997112/67108860
[pid=12965] ppid=12962 vsize=113128 memory=1476 CPUtime=155.98 cores=0,2,4,6
/proc/12965/stat : 12965 (scop.sh) S 12962 12965 8640 0 -1 4202496 583 74665 0 0 0 0 15313 285 20 0 1 0 405960509 115843072 369 33554432000 4194304 5098028 140727521524000 140727521520744 140636777140860 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9445376 140727521530723 140727521530992 140727521530992 140727521533901 0
/proc/12965/statm: 28282 369 311 221 0 87 0
[pid=12993] ppid=12965 vsize=7937364 memory=242484 CPUtime=3.87 cores=0,2,4,6
/proc/12993/stat : 12993 (java) S 12965 12965 8640 0 -1 1077944320 24459 20423 0 0 321 28 33 5 20 0 17 0 405973944 8127860736 60621 33554432000 4194304 4196468 140734193862800 140734193845344 139743032946423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
/proc/12993/statm: 1984341 60621 3240 1 0 1945685 0
[pid=12993/tid=12994] ppid=12965 vsize=7937364 memory=1476 CPUtime=1.69 cores=0,2,4,6
/proc/12993/task/12994/stat : 12994 (java) R 12965 12965 8640 0 -1 4202560 18172 20423 0 0 107 24 33 5 20 0 17 0 405973945 8127860736 60621 33554432000 4194304 4196468 140734193862800 139743004781984 139743032958358 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12995] ppid=12965 vsize=7937364 memory=87540 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12995/stat : 12995 (java) S 12965 12965 8640 0 -1 1077944384 2 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 60621 33554432000 4194304 4196468 140734193862800 139743037189136 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12996] ppid=12965 vsize=7937364 memory=1476 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12996/stat : 12996 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742518029456 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12997] ppid=12965 vsize=7937364 memory=1060 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12997/stat : 12997 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742516976400 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12998] ppid=12965 vsize=7937364 memory=1548 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12998/stat : 12998 (java) S 12965 12965 8640 0 -1 1077944384 2 20423 0 0 0 0 33 5 20 0 17 0 405973946 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742515923856 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=12999] ppid=12965 vsize=7937364 memory=8488 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/12999/stat : 12999 (java) S 12965 12965 8640 0 -1 1077944384 5 20423 0 0 0 0 33 5 20 0 17 0 405973947 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742345148656 139743032957570 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13000] ppid=12965 vsize=7937364 memory=1704 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13000/stat : 13000 (java) S 12965 12965 8640 0 -1 1077944384 13 20423 0 0 0 0 33 5 20 0 17 0 405973948 8127860736 60621 33554432000 4194304 4196468 140734193862800 139741727024288 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13001] ppid=12965 vsize=7937364 memory=2012 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13001/stat : 13001 (java) S 12965 12965 8640 0 -1 1077944384 21 20423 0 0 0 0 33 5 20 0 17 0 405973948 8127860736 60621 33554432000 4194304 4196468 140734193862800 139741592802032 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13002] ppid=12965 vsize=7937364 memory=1388 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13002/stat : 13002 (java) S 12965 12965 8640 0 -1 1077944384 3 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139741218297808 139743032965019 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13003] ppid=12965 vsize=7937364 memory=303430223234596890 CPUtime=1.13 cores=0,2,4,6
/proc/12993/task/13003/stat : 13003 (java) R 12965 12965 8640 0 -1 4202560 2078 20423 0 0 74 1 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742344078208 139743032967770 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13004] ppid=12965 vsize=7937364 memory=288230583166042425 CPUtime=1.07 cores=0,2,4,6
/proc/12993/task/13004/stat : 13004 (java) R 12965 12965 8640 0 -1 4202560 1515 20423 0 0 69 0 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742343029152 139743012600688 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13005] ppid=12965 vsize=7937364 memory=2828 CPUtime=0.77 cores=0,2,4,6
/proc/12993/task/13005/stat : 13005 (java) R 12965 12965 8640 0 -1 1077944384 1190 20423 0 0 39 0 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742341990896 139743032957570 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13006] ppid=12965 vsize=7937364 memory=676 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13006/stat : 13006 (java) S 12965 12965 8640 0 -1 1077944384 3 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139740720393056 139743032956629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13007] ppid=12965 vsize=7937364 memory=1560 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13007/stat : 13007 (java) S 12965 12965 8640 0 -1 1077944384 1 20423 0 0 0 0 33 5 20 0 17 0 405973951 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742340938288 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13009] ppid=12965 vsize=7937364 memory=932 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13009/stat : 13009 (java) S 12965 12965 8640 0 -1 1077944384 23 20423 0 0 0 0 33 5 20 0 17 0 405974057 8127860736 60621 33554432000 4194304 4196468 140734193862800 139742332903952 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
[pid=12993/tid=13013] ppid=12965 vsize=7937364 memory=3640 CPUtime=0.38 cores=0,2,4,6
/proc/12993/task/13013/stat : 13013 (java) S 12965 12965 8640 0 -1 1077944384 15 20423 0 0 0 0 33 5 20 0 17 0 405974060 8127860736 60621 33554432000 4194304 4196468 140734193862800 139739915085360 139743032957570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15118336 140734193865723 140734193865882 140734193865882 140734193868751 0
Current children cumulated CPU time: 159.85 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 243960 KiB
Child status: 0
Real time (s): 136.321
CPU time (s): 159.939
CPU user time (s): 156.735
CPU system time (s): 3.20384
CPU usage (%): 117.325
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4901992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.735
system time used= 3.20384
maximum resident set size= 4901024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120195
page faults= 0
swaps= 0
block input operations= 8
block output operations= 35824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10624
involuntary context switches= 405
# summary of solver processes directly reported to runsolver:
# pid: 12965
# total CPU time (s): 159.939
# total CPU user time (s): 156.735
# total CPU system time (s): 3.20384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.867251 second user time and 1.41905 second system time
The end