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-19364-serial-file.bin HOME/instance-4388365-1568297569.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:12:11 CEST 2019
0.66/0.55 c PID: 19367
0.66/0.55 c IP: 172.20.3.151
0.66/0.55 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.11/1.40 c (0,0) Parsing End
3.11/1.41 c (0,0) CSP: 187 int (0 aux), 0 bool (0 aux), 82 ctr, max domain size 26
3.11/1.41 c (0,0) Heap : 341 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.11/1.41 c (0,0) Constraint Name Generate Begin
3.11/1.41 c (0,0) Ctr:HOME/instance-4388365-1568297569.xml,ExtensionSupport:Var
3.11/1.41 c (0,0) Constraint Name Generate End
3.11/1.41 c (0,0) Heap : 341 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.11/1.41 c (0,0) CSP to CSPinCNF Begin
17.59/9.47 c (8,8) translated 9 (10%) constraints
24.15/15.38 c (14,14) translated 17 (20%) constraints
31.08/21.35 c (20,20) translated 25 (30%) constraints
51.27/36.71 c (36,34) translated 33 (40%) constraints
74.78/56.76 c (56,53) translated 41 (50%) constraints
103.43/79.71 c (79,74) translated 50 (60%) constraints
184.71/150.44 c (149,141) translated 58 (70%) constraints
244.63/202.71 c (202,191) translated 66 (80%) constraints
247.15/204.24 c (203,192) translated 74 (90%) constraints
273.46/228.59 c (228,216) translated 82 (100%) constraints
280.42/234.63 c (234,221) ===========================================
281.35/235.53 c (235,222) Hybrid: #OE=367729, #LE=0
281.35/235.53 c (235,222) Hybrid
281.35/235.53 c (235,222) ===========================================
290.98/243.74 c (243,230) translated 414129 (10%) constraints
300.79/252.43 c (251,239) translated 828258 (20%) constraints
310.75/261.20 c (260,247) translated 1242387 (30%) constraints
320.66/269.90 c (269,255) translated 1656516 (40%) constraints
330.61/278.68 c (278,264) translated 2070644 (50%) constraints
340.60/287.46 c (286,272) translated 2484773 (60%) constraints
349.00/295.83 c (295,280) translated 2898902 (70%) constraints
359.14/304.61 c (304,289) translated 3313031 (80%) constraints
368.92/313.21 c (312,297) translated 3727160 (90%) constraints
378.99/321.96 c (321,305) translated 4141288 (100%) constraints
378.99/321.96 c (321,305) CSP to CSPinCNF End
379.10/322.08 c (321,305) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
379.10/322.08 c (321,305) Heap : 6755 MiB used (max 10871 MiB), NonHeap : 26 MiB used (max 0 MiB)
379.10/322.08 c (321,305) CSPinCNF Propagation Begin
421.06/345.87 c (345,323) 0 values, 82 unsatisfiable literals, and 0 valid clauses are removed
421.06/345.87 c (345,323) CSPinCNF Propagation End
421.16/345.98 c (345,323) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
421.16/345.98 c (345,323) Heap : 8178 MiB used (max 10836 MiB), NonHeap : 27 MiB used (max 0 MiB)
422.08/346.87 c (346,324) Hybrid: #OE=367729, #LE=0
422.08/346.87 c (346,324) Simplify CSPinCNF Begin
502.64/372.69 c (372,332) Simplify CSPinCNF End
502.74/372.79 c (372,332) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
502.74/372.79 c (372,332) Heap : 7030 MiB used (max 10494 MiB), NonHeap : 27 MiB used (max 0 MiB)
502.74/372.79 c (372,332) Calculate Precise Domain Begin
502.74/372.80 c (372,332) 0 values are removed by re-calculation
502.74/372.80 c (372,332) Calculate Precise Domain End
502.94/372.90 c (372,332) CSP: 187 int (0 aux), 367542 bool (367542 aux), 4141288 ctr, max domain size 26
502.94/372.90 c (372,332) Heap : 7030 MiB used (max 10494 MiB), NonHeap : 27 MiB used (max 0 MiB)
502.94/372.90 c (372,332) CSPinCNF to SatSolver Begin
510.76/377.94 c (377,336) 414129 (10 %) CSP clauses are encoded (0 SAT variables, 418616 SAT clauses)
516.09/382.14 c (381,340) 828258 (20 %) CSP clauses are encoded (0 SAT variables, 832745 SAT clauses)
520.55/386.16 c (385,344) 1242387 (30 %) CSP clauses are encoded (0 SAT variables, 1246874 SAT clauses)
525.01/390.26 c (389,348) 1656516 (40 %) CSP clauses are encoded (0 SAT variables, 1661003 SAT clauses)
530.12/394.41 c (393,352) 2070644 (50 %) CSP clauses are encoded (0 SAT variables, 2075131 SAT clauses)
534.57/398.46 c (397,356) 2484773 (60 %) CSP clauses are encoded (0 SAT variables, 2489260 SAT clauses)
539.04/402.47 c (401,359) 2898902 (70 %) CSP clauses are encoded (0 SAT variables, 2903389 SAT clauses)
544.24/406.67 c (406,363) 3313031 (80 %) CSP clauses are encoded (0 SAT variables, 3317518 SAT clauses)
548.73/410.67 c (410,367) 3727160 (90 %) CSP clauses are encoded (0 SAT variables, 3731647 SAT clauses)
553.34/414.73 c (414,371) 4141288 (100 %) CSP clauses are encoded (0 SAT variables, 4145775 SAT clauses)
553.34/414.73 c (414,371) CSPinCNF to SatSolver End
553.34/414.73 c (414,371) Heap : 7696 MiB used (max 10827 MiB), NonHeap : 29 MiB used (max 0 MiB)
553.34/414.73 c (414,371) 372217 bool, 4145776 clause
553.34/414.73 c (414,371) Export Begin
553.48/414.83 c (414,371) Export to HOME/scop-19364-serial-file.bin
553.48/414.83 c (414,371) Export End
553.48/414.83 c (414,371) Export File Size: 0.04 MB
553.48/414.83 c (414,371) 0,0,321,345,372,372,414,STOP-AFTER(DIMACS)
553.48/414.83 c END-Prog: Thu Sep 12 16:19:05 CEST 2019
553.48/414.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19364-serial-file.bin
554.17/415.34 c (0,0) Read Serial File Begin
554.17/415.34 c (0,0) HOME/scop-19364-serial-file.bin
554.46/415.57 c (0,0) Read Serial File End
554.46/415.58
554.46/415.58 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
554.46/415.58 (Solving Process)
554.46/415.58
554.62/415.60 c BEGIN-Prog: Thu Sep 12 16:19:06 CEST 2019
554.62/415.60 c PID: 19535
554.62/415.60 c IP: 172.20.3.151
554.62/415.60 c HOST: node151.alineos.net
554.62/415.61 c (0,0) SatSolver.solve Begin
554.62/415.61 c (0,0) HOME/cryptominisat5 HOME/instance-4388365-1568297569.xml-scop-19367.cnf
554.62/415.65 c (0,0) c Outputting solution to console
554.62/415.65 c (0,0) c CryptoMiniSat version 5.6.8
554.62/415.65 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
554.62/415.65 c (0,0) c CMS SHA revision GIT-notfound
554.62/415.65 c (0,0) c CMS is MIT licensed
554.62/415.65 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
554.62/415.65 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
554.62/415.65 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388365-1568297569.xml-scop-19367.cnf
554.62/415.65 c (0,0) c Reading file 'HOME/instance-4388365-1568297569.xml-scop-19367.cnf'
554.62/415.65 c (0,0) c -- header says num vars: 372217
554.62/415.65 c (0,0) c -- header says num clauses: 4145776
556.31/417.17 c (1,0) c -- clauses added: 4145776
556.31/417.17 c (1,0) c -- xor clauses added: 0
556.31/417.17 c (1,0) c -- vars added 372217
556.31/417.17 c (1,0) c Parsing time: 1.40 s
556.51/417.33 c (2,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
556.51/417.37 c (2,0) c [distill] long cls tried: 22/13 cl-short:22 lit-r:14 T: 0.04 T-out: N T-r: 99.70%
561.01/421.86 c (6,0) c [distill] long cls tried: 443/417 cl-short:443 lit-r:1131 T: 0.83 T-out: N T-r: 94.48%
565.32/426.19 c (10,0) c [distill] long cls tried: 515/898 cl-short:515 lit-r:5986 T: 0.73 T-out: N T-r: 94.81%
566.81/427.63 c (12,0) c glue 1 41 8193 372217 3467K 678K 3.77 3.48 1138 3090 3633 334 69.48 66.73
573.12/433.96 c (18,0) c [distill] long cls tried: 1785/2589 cl-short:1785 lit-r:11658 T: 2.78 T-out: N T-r: 80.46%
575.42/436.29 c (21,0) c ------- FINAL TOTAL SEARCH STATS ---------
575.42/436.29 c (21,0) c UIP search time : 18.88 (93.07 % time)
575.42/436.29 c (21,0) c restarts : 54 (254.00 confls per restart)
575.42/436.29 c (21,0) c blocked restarts : 30 (0.56 per normal restart)
575.42/436.29 c (21,0) c time : 18.88
575.42/436.29 c (21,0) c decisions : 128646 (0.00 % random)
575.42/436.29 c (21,0) c propagations : 72260541
575.42/436.29 c (21,0) c decisions/conflicts : 9.38
575.42/436.29 c (21,0) c conflicts : 13716 (726.66 / sec)
575.42/436.29 c (21,0) c conf lits non-minim : 1237560 (90.23 lit/confl)
575.42/436.29 c (21,0) c conf lits final : 71.10
575.42/436.29 c (21,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
575.42/436.29 c (21,0) c red which0 : 2092 (15.25 % of confl)
575.42/436.29 c (21,0) c props/decision : 0.00
575.42/436.29 c (21,0) c props/conflict : 0.00
575.42/436.29 c (21,0) c 0-depth assigns : 0 (0.00 % vars)
575.42/436.29 c (21,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
575.42/436.29 c (21,0) c reduceDB time : 0.00 (0.00 % time)
575.42/436.29 c (21,0) c OccSimplifier time : 0.00 (0.00 % time)
575.42/436.29 c (21,0) c [occur] 0.00 is overhead
575.42/436.29 c (21,0) c [occur] link-in T: 0.00 cleanup T: 0.00
575.42/436.29 c (21,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
575.42/436.29 c (21,0) c SCC time : 0.00 (0.00 % time)
575.42/436.29 c (21,0) c [scc] new: 0 BP 0M T: 0.00
575.42/436.29 c (21,0) c vrep replace time : 0.00 (0.00 % time)
575.42/436.29 c (21,0) c vrep tree roots : 0
575.42/436.30 c (21,0) c vrep trees' crown : 0 (0.00 leafs/tree)
575.42/436.30 c (21,0) c distill time : 4.37 (21.57 % time)
575.42/436.30 c (21,0) c strength cache-irred time: 0.00 (0.00 % time)
575.42/436.30 c (21,0) c strength cache-red time : 0.00 (0.00 % time)
575.42/436.30 c (21,0) c Conflicts in UIP : 13716 (676.28 confl/time_this_thread)
575.42/436.30 c (21,0) c Mem used : 489.15 MB
575.42/436.30 c (21,0) c Total time (this thread) : 20.28
575.42/436.30 c (21,0) s SATISFIABLE
577.11/436.92 c (21,0) SatSolver.solve End
577.11/436.92 c (21,0) Heap : 267 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
577.11/436.92 c (21,0) Show results Begin
577.32/437.03 c (21,0) x[0][0] = 3
577.32/437.03 c (21,0) x[0][1] = 0
577.32/437.03 c (21,0) x[0][2] = 1
577.32/437.04 c (21,0) x[0][3] = 4
577.32/437.04 c (21,0) x[0][5] = 15
577.32/437.04 c (21,0) x[0][6] = 8
577.32/437.04 c (21,0) x[0][7] = 11
577.32/437.04 c (21,0) x[0][8] = 20
577.32/437.04 c (21,0) x[0][9] = 17
577.32/437.04 c (21,0) x[0][11] = 2
577.32/437.04 c (21,0) x[0][12] = 20
577.32/437.04 c (21,0) x[0][13] = 3
577.32/437.04 c (21,0) x[0][14] = 14
577.32/437.04 c (21,0) x[1][0] = 4
577.32/437.04 c (21,0) x[1][1] = 3
577.32/437.04 c (21,0) x[1][2] = 0
577.32/437.04 c (21,0) x[1][3] = 12
577.32/437.04 c (21,0) x[1][5] = 20
577.32/437.04 c (21,0) x[1][6] = 3
577.32/437.04 c (21,0) x[1][7] = 20
577.32/437.04 c (21,0) x[1][8] = 11
577.32/437.04 c (21,0) x[1][9] = 20
577.32/437.04 c (21,0) x[1][11] = 7
577.32/437.04 c (21,0) x[1][12] = 0
577.32/437.04 c (21,0) x[1][13] = 8
577.32/437.04 c (21,0) x[1][14] = 17
577.32/437.04 c (21,0) x[2][0] = 4
577.32/437.04 c (21,0) x[2][1] = 18
577.32/437.04 c (21,0) x[2][2] = 11
577.32/437.04 c (21,0) x[2][3] = 0
577.32/437.04 c (21,0) x[2][5] = 12
577.32/437.04 c (21,0) x[2][6] = 8
577.32/437.04 c (21,0) x[2][7] = 23
577.32/437.04 c (21,0) x[2][8] = 19
577.32/437.04 c (21,0) x[2][9] = 4
577.32/437.04 c (21,0) x[2][11] = 0
577.32/437.04 c (21,0) x[2][12] = 11
577.32/437.04 c (21,0) x[2][13] = 2
577.32/437.04 c (21,0) x[2][14] = 14
577.32/437.04 c (21,0) x[3][0] = 15
577.32/437.04 c (21,0) x[3][1] = 11
577.32/437.04 c (21,0) x[3][2] = 0
577.32/437.04 c (21,0) x[3][3] = 2
577.32/437.04 c (21,0) x[3][4] = 4
577.32/437.04 c (21,0) x[3][5] = 1
577.32/437.04 c (21,0) x[3][6] = 14
577.32/437.04 c (21,0) x[3][8] = 17
577.32/437.04 c (21,0) x[3][9] = 0
577.32/437.04 c (21,0) x[3][10] = 25
577.32/437.04 c (21,0) x[3][11] = 21
577.32/437.04 c (21,0) x[3][12] = 0
577.32/437.04 c (21,0) x[3][13] = 24
577.32/437.04 c (21,0) x[3][14] = 13
577.32/437.04 c (21,0) x[4][3] = 8
577.32/437.04 c (21,0) x[4][4] = 18
577.32/437.04 c (21,0) x[4][5] = 14
577.32/437.04 c (21,0) x[4][7] = 19
577.32/437.04 c (21,0) x[4][8] = 0
577.32/437.04 c (21,0) x[4][9] = 17
577.32/437.04 c (21,0) x[4][10] = 0
577.32/437.04 c (21,0) x[4][11] = 8
577.32/437.04 c (21,0) x[5][0] = 1
577.32/437.04 c (21,0) x[5][1] = 20
577.32/437.04 c (21,0) x[5][2] = 11
577.32/437.04 c (21,0) x[5][3] = 0
577.32/437.04 c (21,0) x[5][4] = 2
577.32/437.04 c (21,0) x[5][6] = 21
577.32/437.04 c (21,0) x[5][7] = 0
577.32/437.04 c (21,0) x[5][8] = 18
577.32/437.04 c (21,0) x[5][10] = 1
577.32/437.04 c (21,0) x[5][11] = 17
577.32/437.04 c (21,0) x[5][12] = 4
577.32/437.04 c (21,0) x[5][13] = 4
577.32/437.04 c (21,0) x[5][14] = 13
577.32/437.04 c (21,0) x[6][0] = 0
577.32/437.04 c (21,0) x[6][1] = 13
577.32/437.04 c (21,0) x[6][2] = 20
577.32/437.04 c (21,0) x[6][3] = 18
577.32/437.04 c (21,0) x[6][5] = 21
577.32/437.04 c (21,0) x[6][6] = 15
577.32/437.04 c (21,0) x[6][7] = 12
577.32/437.04 c (21,0) x[6][9] = 24
577.32/437.04 c (21,0) x[6][10] = 20
577.32/437.04 c (21,0) x[6][11] = 4
577.32/437.04 c (21,0) x[6][12] = 11
577.32/437.04 c (21,0) x[6][13] = 1
577.32/437.04 c (21,0) x[6][14] = 0
577.32/437.04 c (21,0) x[7][0] = 13
577.32/437.04 c (21,0) x[7][1] = 15
577.32/437.04 c (21,0) x[7][2] = 8
577.32/437.04 c (21,0) x[7][4] = 0
577.32/437.04 c (21,0) x[7][5] = 17
577.32/437.04 c (21,0) x[7][6] = 2
577.32/437.04 c (21,0) x[7][7] = 4
577.32/437.04 c (21,0) x[7][8] = 0
577.32/437.04 c (21,0) x[7][9] = 20
577.32/437.04 c (21,0) x[7][10] = 23
577.32/437.04 c (21,0) x[7][12] = 2
577.32/437.04 c (21,0) x[7][13] = 17
577.32/437.04 c (21,0) x[7][14] = 8
577.32/437.04 c (21,0) x[8][0] = 10
577.32/437.04 c (21,0) x[8][1] = 4
577.32/437.04 c (21,0) x[8][2] = 18
577.32/437.04 c (21,0) x[8][3] = 7
577.32/437.04 c (21,0) x[8][4] = 10
577.32/437.04 c (21,0) x[8][5] = 8
577.32/437.04 c (21,0) x[8][7] = 3
577.32/437.04 c (21,0) x[8][8] = 20
577.32/437.04 c (21,0) x[8][9] = 4
577.32/437.04 c (21,0) x[8][11] = 0
577.32/437.04 c (21,0) x[8][12] = 7
577.32/437.04 c (21,0) x[8][13] = 8
577.32/437.04 c (21,0) x[8][14] = 13
577.32/437.04 c (21,0) x[9][0] = 18
577.32/437.04 c (21,0) x[9][1] = 20
577.32/437.04 c (21,0) x[9][2] = 4
577.32/437.04 c (21,0) x[9][3] = 20
577.32/437.04 c (21,0) x[9][4] = 17
577.32/437.04 c (21,0) x[9][6] = 0
577.32/437.04 c (21,0) x[9][7] = 3
577.32/437.04 c (21,0) x[9][8] = 4
577.32/437.04 c (21,0) x[9][10] = 14
577.32/437.04 c (21,0) x[9][11] = 15
577.32/437.04 c (21,0) x[9][12] = 19
577.32/437.04 c (21,0) x[9][13] = 4
577.32/437.04 c (21,0) x[9][14] = 18
577.32/437.04 c (21,0) x[10][3] = 6
577.32/437.04 c (21,0) x[10][4] = 0
577.32/437.04 c (21,0) x[10][5] = 25
577.32/437.04 c (21,0) x[10][6] = 20
577.32/437.04 c (21,0) x[10][7] = 0
577.32/437.04 c (21,0) x[10][9] = 7
577.32/437.04 c (21,0) x[10][10] = 4
577.32/437.04 c (21,0) x[10][11] = 15
577.32/437.04 c (21,0) x[11][0] = 1
577.32/437.04 c (21,0) x[11][1] = 17
577.32/437.04 c (21,0) x[11][2] = 14
577.32/437.04 c (21,0) x[11][3] = 6
577.32/437.04 c (21,0) x[11][4] = 13
577.32/437.04 c (21,0) x[11][5] = 14
577.32/437.04 c (21,0) x[11][6] = 13
577.32/437.04 c (21,0) x[11][8] = 18
577.32/437.04 c (21,0) x[11][9] = 0
577.32/437.04 c (21,0) x[11][10] = 1
577.32/437.04 c (21,0) x[11][11] = 20
577.32/437.04 c (21,0) x[11][12] = 17
577.32/437.04 c (21,0) x[11][13] = 17
577.32/437.04 c (21,0) x[11][14] = 4
577.32/437.04 c (21,0) x[12][0] = 4
577.32/437.04 c (21,0) x[12][1] = 13
577.32/437.04 c (21,0) x[12][2] = 19
577.32/437.04 c (21,0) x[12][3] = 0
577.32/437.04 c (21,0) x[12][5] = 13
577.32/437.04 c (21,0) x[12][6] = 4
577.32/437.04 c (21,0) x[12][7] = 3
577.32/437.04 c (21,0) x[12][8] = 4
577.32/437.04 c (21,0) x[12][9] = 17
577.32/437.04 c (21,0) x[12][11] = 8
577.32/437.04 c (21,0) x[12][12] = 20
577.32/437.04 c (21,0) x[12][13] = 4
577.32/437.04 c (21,0) x[12][14] = 18
577.32/437.04 c (21,0) x[13][0] = 6
577.32/437.04 c (21,0) x[13][1] = 8
577.32/437.04 c (21,0) x[13][2] = 0
577.32/437.04 c (21,0) x[13][3] = 19
577.32/437.04 c (21,0) x[13][5] = 3
577.32/437.04 c (21,0) x[13][6] = 17
577.32/437.04 c (21,0) x[13][7] = 8
577.32/437.04 c (21,0) x[13][8] = 5
577.32/437.04 c (21,0) x[13][9] = 19
577.32/437.04 c (21,0) x[13][11] = 4
577.32/437.04 c (21,0) x[13][12] = 19
577.32/437.04 c (21,0) x[13][13] = 0
577.32/437.04 c (21,0) x[13][14] = 19
577.32/437.04 c (21,0) x[14][0] = 0
577.32/437.04 c (21,0) x[14][1] = 18
577.32/437.04 c (21,0) x[14][2] = 19
577.32/437.04 c (21,0) x[14][3] = 4
577.32/437.04 c (21,0) x[14][5] = 14
577.32/437.04 c (21,0) x[14][6] = 0
577.32/437.04 c (21,0) x[14][7] = 18
577.32/437.04 c (21,0) x[14][8] = 8
577.32/437.04 c (21,0) x[14][9] = 18
577.32/437.04 c (21,0) x[14][11] = 18
577.32/437.04 c (21,0) x[14][12] = 4
577.32/437.04 c (21,0) x[14][13] = 19
577.32/437.05 c (21,0) x[14][14] = 0
577.32/437.05 s SATISFIABLE
577.32/437.05 v <instantiation>
577.32/437.05 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][6] x[9][7] x[9][8] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14]</list>
577.32/437.05 v <values>3 0 1 4 15 8 11 20 17 2 20 3 14 4 3 0 12 20 3 20 11 20 7 0 8 17 4 18 11 0 12 8 23 19 4 0 11 2 14 15 11 0 2 4 1 14 17 0 25 21 0 24 13 8 18 14 19 0 17 0 8 1 20 11 0 2 21 0 18 1 17 4 4 13 0 13 20 18 21 15 12 24 20 4 11 1 0 13 15 8 0 17 2 4 0 20 23 2 17 8 10 4 18 7 10 8 3 20 4 0 7 8 13 18 20 4 20 17 0 3 4 14 15 19 4 18 6 0 25 20 0 7 4 15 1 17 14 6 13 14 13 18 0 1 20 17 17 4 4 13 19 0 13 4 3 4 17 8 20 4 18 6 8 0 19 3 17 8 5 19 4 19 0 19 0 18 19 4 14 0 18 8 18 18 4 19 0</values>
577.32/437.05 v </instantiation>
577.32/437.05 c (21,0) Show results End
577.32/437.05 c (21,0) Heap : 288 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
577.32/437.05 c (21,0) 21,21,STOP-AFTER(ALL)
577.32/437.05 c END-Prog: Thu Sep 12 16:19:27 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 (10307 MiB free)
memory of node 1: 16384 MiB (15536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388365-1568297569/watcher-4388365-1568297569 -o /tmp/evaluation-result-4388365-1568297569/solver-4388365-1568297569 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388365-1568297569.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19364, runsolver pid=19361
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 2.10 2.12 2.15 3/229 19381
/proc/meminfo: memFree=26403000/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406028375 115843072 349 33554432000 4194304 5098028 140727097694848 140727097692104 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 349 296 221 0 87 0
[pid=19367] ppid=19364 vsize=15012696 memory=74276 CPUtime=0.12 cores=1,3,5,7
/proc/19367/stat : 19367 (java) S 19364 19364 12870 0 -1 1077944320 6820 0 0 0 9 3 0 0 20 0 15 0 406028375 15373000704 18569 33554432000 4194304 4196468 140727586483920 140727586466464 139938783891191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
/proc/19367/statm: 3753174 18569 2913 1 0 3715579 0
[pid=19367/tid=19368] ppid=19364 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/19367/task/19368/stat : 19368 (java) R 19364 19364 12870 0 -1 4202560 4645 0 0 0 7 2 0 0 20 0 15 0 406028376 15373000704 18635 33554432000 4194304 4196468 140727586483920 139938755685096 139938783913117 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19369] ppid=19364 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 18635 33554432000 4194304 4196468 140727586483920 139938788133136 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19370] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 18635 33554432000 4194304 4196468 140727586483920 139938563836304 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19371] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19371/stat : 19371 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 18635 33554432000 4194304 4196468 140727586483920 139938562783760 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19372] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19372/stat : 19372 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 18635 33554432000 4194304 4196468 140727586483920 139938561731216 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19373] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19373/stat : 19373 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937821534704 139938783902338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19374] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937349363104 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19375] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19375/stat : 19375 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937080927728 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19376] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19376/stat : 19376 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139936706419408 139938783909787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19377] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19377/stat : 19377 (java) S 19364 19364 12870 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937820481520 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19378] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19378/stat : 19378 (java) S 19364 19364 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937752017008 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19379] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0.01 cores=1,3,5,7
/proc/19367/task/19379/stat : 19379 (java) S 19364 19364 12870 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937750964464 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19380] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19380/stat : 19380 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139936208513632 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19381] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19381/stat : 19381 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 18635 33554432000 4194304 4196468 140727586483920 139937749912368 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75672 KiB
[startup+0.210886 s]*
/proc/loadavg: 2.10 2.12 2.15 3/229 19381
/proc/meminfo: memFree=26384244/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406028375 115843072 349 33554432000 4194304 5098028 140727097694848 140727097692104 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 349 296 221 0 87 0
[pid=19367] ppid=19364 vsize=15012696 memory=89168 CPUtime=0.25 cores=1,3,5,7
/proc/19367/stat : 19367 (java) S 19364 19364 12870 0 -1 1077944320 11864 0 0 0 21 4 0 0 20 0 15 0 406028375 15373000704 22292 33554432000 4194304 4196468 140727586483920 140727586466464 139938783891191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
/proc/19367/statm: 3753174 22292 2916 1 0 3715579 0
[pid=19367/tid=19368] ppid=19364 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19367/task/19368/stat : 19368 (java) R 19364 19364 12870 0 -1 4202560 9628 0 0 0 17 3 0 0 20 0 15 0 406028376 15373000704 22292 33554432000 4194304 4196468 140727586483920 139938755690576 139938783913117 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19369] ppid=19364 vsize=15012696 memory=2964499 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 22292 33554432000 4194304 4196468 140727586483920 139938788133136 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19370] ppid=19364 vsize=15012696 memory=288370196489508480 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 22292 33554432000 4194304 4196468 140727586483920 139938563836304 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19371] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19371/stat : 19371 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 22292 33554432000 4194304 4196468 140727586483920 139938562783760 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19372] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19372/stat : 19372 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 22292 33554432000 4194304 4196468 140727586483920 139938561731216 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19373] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19373/stat : 19373 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937821534704 139938783902338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19374] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937349363104 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19375] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19375/stat : 19375 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937080927728 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19376] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19376/stat : 19376 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139936706419408 139938783909787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19377] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19377/stat : 19377 (java) S 19364 19364 12870 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937820481520 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19378] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19378/stat : 19378 (java) S 19364 19364 12870 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937752017008 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19379] ppid=19364 vsize=15012696 memory=139820337796736 CPUtime=0.03 cores=1,3,5,7
/proc/19367/task/19379/stat : 19379 (java) S 19364 19364 12870 0 -1 1077944384 426 0 0 0 3 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937750964464 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19380] ppid=19364 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19380/stat : 19380 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139936208513632 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19381] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19381/stat : 19381 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 22292 33554432000 4194304 4196468 140727586483920 139937749912368 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90564 KiB
[startup+0.310674 s]*
/proc/loadavg: 2.10 2.12 2.15 4/229 19381
/proc/meminfo: memFree=26381700/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406028375 115843072 349 33554432000 4194304 5098028 140727097694848 140727097692104 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 349 296 221 0 87 0
[pid=19367] ppid=19364 vsize=15012696 memory=92768 CPUtime=0.43 cores=1,3,5,7
/proc/19367/stat : 19367 (java) S 19364 19364 12870 0 -1 1077944320 12712 0 0 0 38 5 0 0 20 0 15 0 406028375 15373000704 23192 33554432000 4194304 4196468 140727586483920 140727586466464 139938783891191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
/proc/19367/statm: 3753174 23192 3062 1 0 3715579 0
[pid=19367/tid=19368] ppid=19364 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19367/task/19368/stat : 19368 (java) R 19364 19364 12870 0 -1 4202560 10303 0 0 0 26 3 0 0 20 0 15 0 406028376 15373000704 23192 33554432000 4194304 4196468 140727586483920 139938755703536 139938767971678 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19369] ppid=19364 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 23192 33554432000 4194304 4196468 140727586483920 139938788133136 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19370] ppid=19364 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 23192 33554432000 4194304 4196468 140727586483920 139938563836304 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19371] ppid=19364 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19371/stat : 19371 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 23192 33554432000 4194304 4196468 140727586483920 139938562783760 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19372] ppid=19364 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19372/stat : 19372 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15373000704 23192 33554432000 4194304 4196468 140727586483920 139938561731216 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19373] ppid=19364 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19373/stat : 19373 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937821534704 139938783902338 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19374] ppid=19364 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937349363104 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19375] ppid=19364 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19375/stat : 19375 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028379 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937080927728 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19376] ppid=19364 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19376/stat : 19376 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139936706419408 139938783909787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19377] ppid=19364 vsize=15012696 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/19367/task/19377/stat : 19377 (java) S 19364 19364 12870 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937820481520 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19378] ppid=19364 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19367/task/19378/stat : 19378 (java) S 19364 19364 12870 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937752017008 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19379] ppid=19364 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19367/task/19379/stat : 19379 (java) S 19364 19364 12870 0 -1 1077944384 446 0 0 0 7 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937750964464 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19380] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19380/stat : 19380 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139936208513632 139938783901397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19381] ppid=19364 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19381/stat : 19381 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028382 15373000704 23192 33554432000 4194304 4196468 140727586483920 139937749912368 139938783902338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94164 KiB
[startup+0.700836 s]
/proc/loadavg: 2.10 2.12 2.15 3/229 19381
/proc/meminfo: memFree=26360608/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406028375 115843072 349 33554432000 4194304 5098028 140727097694848 140727097692104 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 349 296 221 0 87 0
[pid=19367] ppid=19364 vsize=15018968 memory=131764 CPUtime=1.02 cores=1,3,5,7
/proc/19367/stat : 19367 (java) S 19364 19364 12870 0 -1 1077944320 19636 0 0 0 94 8 0 0 20 0 15 0 406028375 15379423232 32941 33554432000 4194304 4196468 140727586483920 140727586466464 139938783891191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
/proc/19367/statm: 3754742 32941 3194 1 0 3716091 0
[pid=19367/tid=19368] ppid=19364 vsize=15018968 memory=19020 CPUtime=0.68 cores=1,3,5,7
/proc/19367/task/19368/stat : 19368 (java) R 19364 19364 12870 0 -1 4202560 16723 0 0 0 62 6 0 0 20 0 15 0 406028376 15379423232 32941 33554432000 4194304 4196468 140727586483920 139938755728672 139938767971678 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19369] ppid=19364 vsize=15018968 memory=984 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15379423232 32941 33554432000 4194304 4196468 140727586483920 139938788133136 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19370] ppid=19364 vsize=15018968 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15379423232 32941 33554432000 4194304 4196468 140727586483920 139938563836304 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19371] ppid=19364 vsize=15018968 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19371/stat : 19371 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406028377 15379423232 32941 33554432000 4194304 4196468 140727586483920 139938562783760 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19372] ppid=19364 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19372/stat : 19372 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028377 15379423232 32941 33554432000 4194304 4196468 140727586483920 139938561731216 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19373] ppid=19364 vsize=15018968 memory=976 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19373/stat : 19373 (java) S 19364 19364 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406028379 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937821534704 139938783902338 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19374] ppid=19364 vsize=15018968 memory=772 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406028379 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937349363104 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19375] ppid=19364 vsize=15018968 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19375/stat : 19375 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028379 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937080927728 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19376] ppid=19364 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19376/stat : 19376 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139936706419408 139938783909787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19377] ppid=19364 vsize=15018968 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/19367/task/19377/stat : 19377 (java) S 19364 19364 12870 0 -1 1077944384 669 0 0 0 7 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937820481520 139938783902338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19378] ppid=19364 vsize=15018968 memory=1056 CPUtime=0.09 cores=1,3,5,7
/proc/19367/task/19378/stat : 19378 (java) S 19364 19364 12870 0 -1 1077944384 359 0 0 0 9 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937752017008 139938783902338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19379] ppid=19364 vsize=15018968 memory=744 CPUtime=0.15 cores=1,3,5,7
/proc/19367/task/19379/stat : 19379 (java) R 19364 19364 12870 0 -1 4202560 551 0 0 0 15 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937750964464 139938762595915 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19380] ppid=19364 vsize=15018968 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19380/stat : 19380 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139936208513632 139938783901397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
[pid=19367/tid=19381] ppid=19364 vsize=15018968 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19381/stat : 19381 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406028382 15379423232 32941 33554432000 4194304 4196468 140727586483920 139937749912368 139938783902338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10092544 140727586485033 140727586485402 140727586485402 140727586488271 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133160 KiB
[startup+1.50147 s]
/proc/loadavg: 2.10 2.12 2.15 5/229 19381
/proc/meminfo: memFree=26244728/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406028375 115843072 349 33554432000 4194304 5098028 140727097694848 140727097692104 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/19535/task/19551/stat : 19551 (java) S 19364 19364 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931557066304 139932324245273 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19553] ppid=19364 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19553/stat : 19553 (java) S 19364 19364 12870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929631830160 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19554] ppid=19364 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19554/stat : 19554 (java) S 19364 19364 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929229180176 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19555] ppid=19364 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19555/stat : 19555 (java) S 19364 19364 12870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406069942 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929766059056 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
Current children cumulated CPU time: 574.43 s
Current children cumulated vsize: 8741564 KiB
Current children cumulated memory: 622048 KiB
[startup+436.001 s]*
/proc/loadavg: 2.32 2.23 2.18 3/239 19556
/proc/meminfo: memFree=30323456/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1476 CPUtime=553.63 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 583 144753 0 0 0 0 54490 873 20 0 1 0 406028375 115843072 369 33554432000 4194304 5098028 140727097694848 140727097691592 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 369 311 221 0 87 0
[pid=19535] ppid=19364 vsize=8068440 memory=121960 CPUtime=1.24 cores=1,3,5,7
/proc/19535/stat : 19535 (java) S 19364 19364 12870 0 -1 1077944320 19903 0 0 0 116 8 0 0 20 0 19 0 406069863 8262082560 30490 33554432000 4194304 4196468 140733102039584 140733102022128 139932324220663 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
/proc/19535/statm: 2017110 30490 3212 1 0 1978454 0
[pid=19550] ppid=19535 vsize=560404 memory=499012 CPUtime=20.36 cores=1,3,5,7
/proc/19550/stat : 19550 (cryptominisat5) R 19535 19364 12870 0 -1 4202496 436203 0 0 0 1999 37 0 0 20 0 1 0 406069938 573853696 124753 33554432000 4194304 4451008 140736951923536 140736951918088 140017442594985 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 6967296 140736951927740 140736951927872 140736951927872 140736951930822 0
/proc/19550/statm: 140101 124753 640 63 0 133828 0
[pid=19535/tid=19536] ppid=19364 vsize=8068440 memory=8039887049847965093 CPUtime=0.77 cores=1,3,5,7
/proc/19535/task/19536/stat : 19536 (java) S 19364 19364 12870 0 -1 1077944384 16880 0 0 0 72 5 0 0 20 0 19 0 406069864 8262082560 30490 33554432000 4194304 4196468 140733102039584 139932296060832 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19537] ppid=19364 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19537/stat : 19537 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 30490 33554432000 4194304 4196468 140733102039584 139932328462608 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19538] ppid=19364 vsize=8068440 memory=-7770280188136143179 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19538/stat : 19538 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 30490 33554432000 4194304 4196468 140733102039584 139932128631184 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19539] ppid=19364 vsize=8068440 memory=-7745171780239594627 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19539/stat : 19539 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 30490 33554432000 4194304 4196468 140733102039584 139932127578640 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19540] ppid=19364 vsize=8068440 memory=6278082026699120978 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19540/stat : 19540 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 30490 33554432000 4194304 4196468 140733102039584 139932126526096 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19541] ppid=19364 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19541/stat : 19541 (java) S 19364 19364 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406069866 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931569310192 139932324231810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19542] ppid=19364 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19542/stat : 19542 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406069867 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931175347616 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19543] ppid=19364 vsize=8068440 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19543/stat : 19543 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406069867 8262082560 30490 33554432000 4194304 4196468 140733102039584 139930906912240 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19544] ppid=19364 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19544/stat : 19544 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139930532403920 139932324239259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19545] ppid=19364 vsize=8068440 memory=2532 CPUtime=0.09 cores=1,3,5,7
/proc/19535/task/19545/stat : 19545 (java) S 19364 19364 12870 0 -1 1077944384 735 0 0 0 9 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931568257008 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19546] ppid=19364 vsize=8068440 memory=1440 CPUtime=0.11 cores=1,3,5,7
/proc/19535/task/19546/stat : 19546 (java) S 19364 19364 12870 0 -1 1077944384 329 0 0 0 11 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931567204464 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19547] ppid=19364 vsize=8068440 memory=808 CPUtime=0.21 cores=1,3,5,7
/proc/19535/task/19547/stat : 19547 (java) S 19364 19364 12870 0 -1 1077944384 565 0 0 0 21 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931566151920 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19548] ppid=19364 vsize=8068440 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19548/stat : 19548 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139930034498144 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19549] ppid=19364 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19549/stat : 19549 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931565099824 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19551] ppid=19364 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19551/stat : 19551 (java) S 19364 19364 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139931557066304 139932324245273 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19553] ppid=19364 vsize=8068440 memory=11820976 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19553/stat : 19553 (java) S 19364 19364 12870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929631830160 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19554] ppid=19364 vsize=8068440 memory=7883389998062458215 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19554/stat : 19554 (java) S 19364 19364 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929229180176 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19555] ppid=19364 vsize=8068440 memory=7667494159601199468 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19555/stat : 19555 (java) S 19364 19364 12870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406069942 8262082560 30490 33554432000 4194304 4196468 140733102039584 139929766059056 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
Current children cumulated CPU time: 575.23 s
Current children cumulated vsize: 8741972 KiB
Current children cumulated memory: 622448 KiB
[startup+436.801 s]
/proc/loadavg: 2.32 2.23 2.18 3/239 19556
/proc/meminfo: memFree=30323456/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1476 CPUtime=553.63 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 583 144753 0 0 0 0 54490 873 20 0 1 0 406028375 115843072 369 33554432000 4194304 5098028 140727097694848 140727097691592 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 369 311 221 0 87 0
[pid=19535] ppid=19364 vsize=8068440 memory=313376 CPUtime=2.57 cores=1,3,5,7
/proc/19535/stat : 19535 (java) S 19364 19364 12870 0 -1 1077944320 25922 0 0 0 246 11 0 0 20 0 19 0 406069863 8262082560 78344 33554432000 4194304 4196468 140733102039584 140733102022128 139932324220663 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
/proc/19535/statm: 2017110 78344 3229 1 0 1978454 0
[pid=19550] ppid=19535 vsize=487588 memory=431172 CPUtime=20.81 cores=1,3,5,7
/proc/19550/stat : 19550 (cryptominisat5) R 19535 19364 12870 0 -1 4202496 449334 0 0 0 2041 40 0 0 20 0 1 0 406069938 499290112 107793 33554432000 4194304 4451008 140736951923536 140736951920824 140017422914076 0 4 0 2 0 0 0 17 7 0 0 0 0 0 6549032 6559120 6967296 140736951927740 140736951927872 140736951927872 140736951930822 0
/proc/19550/statm: 121897 107793 689 63 0 115624 0
[pid=19535/tid=19536] ppid=19364 vsize=8068440 memory=477580 CPUtime=0.77 cores=1,3,5,7
/proc/19535/task/19536/stat : 19536 (java) S 19364 19364 12870 0 -1 1077944384 16880 0 0 0 72 5 0 0 20 0 19 0 406069864 8262082560 78344 33554432000 4194304 4196468 140733102039584 139932296060832 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19537] ppid=19364 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19537/stat : 19537 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 78344 33554432000 4194304 4196468 140733102039584 139932328462608 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19538] ppid=19364 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19538/stat : 19538 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 78344 33554432000 4194304 4196468 140733102039584 139932128631184 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19539] ppid=19364 vsize=8068440 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19539/stat : 19539 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 78344 33554432000 4194304 4196468 140733102039584 139932127578640 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19540] ppid=19364 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19540/stat : 19540 (java) S 19364 19364 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406069865 8262082560 78344 33554432000 4194304 4196468 140733102039584 139932126526096 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19541] ppid=19364 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19541/stat : 19541 (java) S 19364 19364 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406069866 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931569310192 139932324231810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19542] ppid=19364 vsize=8068440 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19542/stat : 19542 (java) S 19364 19364 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406069867 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931175347616 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19543] ppid=19364 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19543/stat : 19543 (java) S 19364 19364 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406069867 8262082560 78344 33554432000 4194304 4196468 140733102039584 139930906912240 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19544] ppid=19364 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19544/stat : 19544 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139930532403920 139932324239259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19545] ppid=19364 vsize=8068440 memory=1656 CPUtime=0.49 cores=1,3,5,7
/proc/19535/task/19545/stat : 19545 (java) S 19364 19364 12870 0 -1 1077944384 3542 0 0 0 49 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931568257008 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19546] ppid=19364 vsize=8068440 memory=1804 CPUtime=0.49 cores=1,3,5,7
/proc/19535/task/19546/stat : 19546 (java) S 19364 19364 12870 0 -1 1077944384 2422 0 0 0 49 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931567204464 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19547] ppid=19364 vsize=8068440 memory=916 CPUtime=0.3 cores=1,3,5,7
/proc/19535/task/19547/stat : 19547 (java) S 19364 19364 12870 0 -1 1077944384 1430 0 0 0 30 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931566151920 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19548] ppid=19364 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19548/stat : 19548 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139930034498144 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19549] ppid=19364 vsize=8068440 memory=8039887049847965093 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19549/stat : 19549 (java) S 19364 19364 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406069870 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931565099824 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19551] ppid=19364 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19551/stat : 19551 (java) S 19364 19364 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 78344 33554432000 4194304 4196468 140733102039584 139931557066304 139932324245273 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19553] ppid=19364 vsize=8068440 memory=121960 CPUtime=0.45 cores=1,3,5,7
/proc/19535/task/19553/stat : 19553 (java) S 19364 19364 12870 0 -1 4202560 262 0 0 0 43 2 0 0 20 0 19 0 406069939 8262082560 78344 33554432000 4194304 4196468 140733102039584 139929631830496 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19554] ppid=19364 vsize=8068440 memory=498864 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19554/stat : 19554 (java) S 19364 19364 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 406069939 8262082560 78344 33554432000 4194304 4196468 140733102039584 139929229180176 139932324242589 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19555] ppid=19364 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/19535/task/19555/stat : 19555 (java) S 19364 19364 12870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 406069942 8262082560 78344 33554432000 4194304 4196468 140733102039584 139929766059056 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
Current children cumulated CPU time: 577.01 s
Current children cumulated vsize: 8669156 KiB
Current children cumulated memory: 746024 KiB
[startup+437.001 s]*
/proc/loadavg: 2.32 2.23 2.18 5/236 19556
/proc/meminfo: memFree=30625140/32770624 swapFree=66933016/67108860
[pid=19364] ppid=19361 vsize=113128 memory=1476 CPUtime=553.63 cores=1,3,5,7
/proc/19364/stat : 19364 (scop.sh) S 19361 19364 12870 0 -1 4202496 583 144753 0 0 0 0 54490 873 20 0 1 0 406028375 115843072 369 33554432000 4194304 5098028 140727097694848 140727097691592 140117579862652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26075136 140727097697123 140727097697392 140727097697392 140727097700301 0
/proc/19364/statm: 28282 369 311 221 0 87 0
[pid=19535] ppid=19364 vsize=7937364 memory=317340 CPUtime=23.69 cores=1,3,5,7
/proc/19535/stat : 19535 (java) S 19364 19364 12870 0 -1 1077944320 26306 450669 0 0 267 12 2048 42 20 0 17 0 406069863 8127860736 79335 33554432000 4194304 4196468 140733102039584 140733102022128 139932324220663 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
/proc/19535/statm: 1984341 79335 3238 1 0 1945685 0
[pid=19535/tid=19536] ppid=19364 vsize=7937364 memory=6791534058613427641 CPUtime=21.78 cores=1,3,5,7
/proc/19535/task/19536/stat : 19536 (java) R 19364 19364 12870 0 -1 4202560 17121 450669 0 0 83 5 2048 42 20 0 17 0 406069864 8127860736 79335 33554432000 4194304 4196468 140733102039584 139932296058720 139932324232598 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19537] ppid=19364 vsize=7937364 memory=4126316290023845779 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19537/stat : 19537 (java) S 19364 19364 12870 0 -1 1077944384 2 450669 0 0 0 0 2048 42 20 0 17 0 406069865 8127860736 79335 33554432000 4194304 4196468 140733102039584 139932328462608 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19538] ppid=19364 vsize=7937364 memory=2124 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19538/stat : 19538 (java) S 19364 19364 12870 0 -1 1077944384 1 450669 0 0 0 0 2048 42 20 0 17 0 406069865 8127860736 79335 33554432000 4194304 4196468 140733102039584 139932128631184 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19539] ppid=19364 vsize=7937364 memory=5840 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19539/stat : 19539 (java) S 19364 19364 12870 0 -1 1077944384 2 450669 0 0 0 0 2048 42 20 0 17 0 406069865 8127860736 79335 33554432000 4194304 4196468 140733102039584 139932127578640 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19540] ppid=19364 vsize=7937364 memory=504 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19540/stat : 19540 (java) S 19364 19364 12870 0 -1 1077944384 2 450669 0 0 0 0 2048 42 20 0 17 0 406069865 8127860736 79335 33554432000 4194304 4196468 140733102039584 139932126526096 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19541] ppid=19364 vsize=7937364 memory=1564 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19541/stat : 19541 (java) S 19364 19364 12870 0 -1 1077944384 7 450669 0 0 0 0 2048 42 20 0 17 0 406069866 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931569310192 139932324231810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19542] ppid=19364 vsize=7937364 memory=924 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19542/stat : 19542 (java) S 19364 19364 12870 0 -1 1077944384 13 450669 0 0 0 0 2048 42 20 0 17 0 406069867 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931175347616 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19543] ppid=19364 vsize=7937364 memory=1476 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19543/stat : 19543 (java) S 19364 19364 12870 0 -1 1077944384 1 450669 0 0 0 0 2048 42 20 0 17 0 406069867 8127860736 79335 33554432000 4194304 4196468 140733102039584 139930906912240 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19544] ppid=19364 vsize=7937364 memory=3620 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19544/stat : 19544 (java) S 19364 19364 12870 0 -1 1077944384 3 450669 0 0 0 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139930532403920 139932324239259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19545] ppid=19364 vsize=7937364 memory=19020 CPUtime=21.42 cores=1,3,5,7
/proc/19535/task/19545/stat : 19545 (java) S 19364 19364 12870 0 -1 1077944384 3565 450669 0 0 52 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931568257008 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19546] ppid=19364 vsize=7937364 memory=164 CPUtime=21.42 cores=1,3,5,7
/proc/19535/task/19546/stat : 19546 (java) S 19364 19364 12870 0 -1 1077944384 2446 450669 0 0 52 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931567204464 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19547] ppid=19364 vsize=7937364 memory=916 CPUtime=21.25 cores=1,3,5,7
/proc/19535/task/19547/stat : 19547 (java) R 19364 19364 12870 0 -1 4202560 1522 450669 0 0 35 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931566151920 139932308301150 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19548] ppid=19364 vsize=7937364 memory=3848 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19548/stat : 19548 (java) S 19364 19364 12870 0 -1 1077944384 3 450669 0 0 0 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139930034498144 139932324230869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19549] ppid=19364 vsize=7937364 memory=288230587427455269 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19549/stat : 19549 (java) S 19364 19364 12870 0 -1 1077944384 3 450669 0 0 0 0 2048 42 20 0 17 0 406069870 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931565099824 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19551] ppid=19364 vsize=7937364 memory=288288861677946038 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19551/stat : 19551 (java) S 19364 19364 12870 0 -1 1077944384 23 450669 0 0 0 0 2048 42 20 0 17 0 406069939 8127860736 79335 33554432000 4194304 4196468 140733102039584 139931557065488 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
[pid=19535/tid=19555] ppid=19364 vsize=7937364 memory=288288861677946038 CPUtime=20.9 cores=1,3,5,7
/proc/19535/task/19555/stat : 19555 (java) S 19364 19364 12870 0 -1 1077944384 27 450669 0 0 0 0 2048 42 20 0 17 0 406069942 8127860736 79335 33554432000 4194304 4196468 140733102039584 139929766060848 139932324231810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14123008 140733102048251 140733102048410 140733102048410 140733102051279 0
Current children cumulated CPU time: 577.32 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 318816 KiB
Child status: 0
Real time (s): 437.075
CPU time (s): 577.503
CPU user time (s): 568.198
CPU system time (s): 9.30537
CPU usage (%): 132.129
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11823456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 568.198
system time used= 9.30537
maximum resident set size= 11822416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622452
page faults= 0
swaps= 0
block input operations= 8
block output operations= 211864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18450
involuntary context switches= 2035
# summary of solver processes directly reported to runsolver:
# pid: 19364
# total CPU time (s): 577.503
# total CPU user time (s): 568.198
# total CPU system time (s): 9.30537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.99108 second user time and 4.3278 second system time
The end