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-17064-serial-file.bin HOME/instance-4388038-1568293902.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Sep 12 15:11:04 CEST 2019
0.66/0.54 c PID: 17067
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.41/0.92 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 112
1.41/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.93 c (0,0) Constraint Name Generate Begin
1.41/0.94 c (0,0) Ctr:HOME/instance-4388038-1568293902.xml,Num:Var:WeightedSum
1.41/0.94 c (0,0) Constraint Name Generate End
1.41/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.94 c (0,0) CSP to CSPinCNF Begin
1.58/1.05 c (0,0) translated 8 (10%) constraints
1.58/1.06 c (0,0) translated 16 (20%) constraints
1.58/1.08 c (0,0) translated 24 (30%) constraints
1.58/1.09 c (0,0) translated 32 (40%) constraints
1.58/1.10 c (0,0) translated 40 (50%) constraints
1.58/1.11 c (0,0) translated 48 (60%) constraints
1.85/1.12 c (0,0) translated 56 (70%) constraints
1.85/1.12 c (0,0) translated 64 (80%) constraints
1.85/1.13 c (0,0) translated 72 (90%) constraints
1.85/1.14 c (0,0) translated 80 (100%) constraints
1.85/1.14 c (0,0) ===========================================
1.85/1.15 c (0,0) Hybrid: #OE=1, #LE=99
1.85/1.15 c (0,0) Hybrid
1.85/1.15 c (0,0) ===========================================
1.85/1.16 c (0,0) translated 8 (10%) constraints
1.85/1.17 c (0,0) translated 16 (20%) constraints
1.85/1.18 c (0,0) translated 24 (30%) constraints
1.85/1.19 c (0,0) translated 32 (40%) constraints
1.85/1.19 c (0,0) translated 40 (50%) constraints
1.85/1.20 c (0,0) translated 48 (60%) constraints
2.11/1.20 c (0,0) translated 56 (70%) constraints
2.11/1.20 c (0,0) translated 64 (80%) constraints
2.11/1.21 c (0,0) translated 72 (90%) constraints
2.11/1.21 c (0,0) translated 80 (100%) constraints
2.11/1.22 c (0,0) CSP to CSPinCNF End
2.11/1.22 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 112
2.11/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.22 c (0,0) CSPinCNF Propagation Begin
2.11/1.24 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.11/1.24 c (0,0) CSPinCNF Propagation End
2.11/1.24 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 112
2.11/1.24 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.24 c (0,0) Hybrid: #OE=1, #LE=99
2.11/1.24 c (0,0) Simplify CSPinCNF Begin
2.11/1.25 c (0,0) Simplify CSPinCNF End
2.11/1.25 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 112
2.11/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.25 c (0,0) Calculate Precise Domain Begin
2.11/1.25 c (0,0) 0 values are removed by re-calculation
2.11/1.25 c (0,0) Calculate Precise Domain End
2.11/1.25 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 112
2.11/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.11/1.25 c (0,0) CSPinCNF to SatSolver Begin
5.47/3.78 c (3,3) 16 (10 %) CSP clauses are encoded (0 SAT variables, 1061397 SAT clauses)
7.41/5.48 c (4,4) 32 (20 %) CSP clauses are encoded (0 SAT variables, 1842658 SAT clauses)
9.92/8.00 c (7,7) 48 (30 %) CSP clauses are encoded (0 SAT variables, 3162172 SAT clauses)
12.12/10.46 c (9,9) 64 (40 %) CSP clauses are encoded (0 SAT variables, 4151315 SAT clauses)
14.17/12.39 c (11,11) 80 (50 %) CSP clauses are encoded (0 SAT variables, 5120827 SAT clauses)
15.00/13.19 c (12,11) 96 (60 %) CSP clauses are encoded (0 SAT variables, 5546311 SAT clauses)
16.90/15.43 c (14,13) 112 (70 %) CSP clauses are encoded (0 SAT variables, 6420020 SAT clauses)
17.51/15.96 c (15,14) 128 (80 %) CSP clauses are encoded (0 SAT variables, 6682598 SAT clauses)
19.66/18.01 c (17,16) 144 (90 %) CSP clauses are encoded (0 SAT variables, 7724992 SAT clauses)
21.63/20.59 c (20,18) 160 (100 %) CSP clauses are encoded (0 SAT variables, 8720908 SAT clauses)
21.83/20.72 c (20,18) CSPinCNF to SatSolver End
21.83/20.72 c (20,18) Heap : 1304 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
21.83/20.72 c (20,18) 3166029 bool, 8785801 clause
21.83/20.72 c (20,18) Export Begin
21.98/20.85 c (20,18) Export to HOME/scop-17064-serial-file.bin
21.98/20.85 c (20,18) Export End
21.98/20.85 c (20,18) Export File Size: 0.12 MB
21.98/20.85 c (20,18) 0,0,0,0,0,0,20,STOP-AFTER(DIMACS)
21.98/20.85 c END-Prog: Thu Sep 12 15:11:24 CEST 2019
21.98/20.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17064-serial-file.bin
22.74/21.34 c (0,0) Read Serial File Begin
22.74/21.34 c (0,0) HOME/scop-17064-serial-file.bin
23.29/21.60 c (0,0) Read Serial File End
23.29/21.62
23.29/21.62 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
23.29/21.62 (Solving Process)
23.29/21.62
23.29/21.64 c BEGIN-Prog: Thu Sep 12 15:11:25 CEST 2019
23.29/21.64 c PID: 17085
23.29/21.64 c IP: 172.20.3.151
23.29/21.64 c HOST: node151.alineos.net
23.29/21.64 c (0,0) SatSolver.solve Begin
23.29/21.64 c (0,0) HOME/cryptominisat5 HOME/instance-4388038-1568293902.xml-scop-17067.cnf
23.29/21.68 c (0,0) c Outputting solution to console
23.29/21.68 c (0,0) c CryptoMiniSat version 5.6.8
23.29/21.68 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
23.29/21.68 c (0,0) c CMS SHA revision GIT-notfound
23.29/21.68 c (0,0) c CMS is MIT licensed
23.29/21.68 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
23.29/21.68 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
23.29/21.68 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388038-1568293902.xml-scop-17067.cnf
23.29/21.68 c (0,0) c Reading file 'HOME/instance-4388038-1568293902.xml-scop-17067.cnf'
23.29/21.68 c (0,0) c -- header says num vars: 3166029
23.29/21.68 c (0,0) c -- header says num clauses: 8785801
26.75/24.83 c (3,0) c -- clauses added: 8785801
26.75/24.83 c (3,0) c -- xor clauses added: 0
26.75/24.83 c (3,0) c -- vars added 3166029
26.75/24.83 c (3,0) c Parsing time: 2.84 s
27.46/25.50 c (4,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
27.46/25.56 c (4,0) c [distill] long cls tried: 19/18 cl-short:19 lit-r:9 T: 0.06 T-out: N T-r: 99.81%
33.97/32.10 c (10,0) c [distill] long cls tried: 397/365 cl-short:397 lit-r:184 T: 0.56 T-out: N T-r: 97.99%
40.97/39.02 c (17,0) c [distill] long cls tried: 432/727 cl-short:432 lit-r:209 T: 0.58 T-out: N T-r: 97.88%
43.49/41.52 c (20,0) c glue 1 49 8193 3165732 8079K 705K 3.00 2.92 826 2980 4173 208 16.74 16.36
54.89/52.95 c (31,0) c [distill] long cls tried: 1925/2536 cl-short:1922 lit-r:2301 T: 3.50 T-out: N T-r: 87.54%
65.19/63.21 c (41,0) c geom 1 72 16386 3164965 8079K 705K 3.00 2.92 3245 6983 5774 373 16.30 15.98
71.41/69.47 c (48,0) c [distill] long cls tried: 904/3328 cl-short:885 lit-r:1443 T: 1.68 T-out: N T-r: 94.12%
91.71/89.74 c (68,0) c glue 1 94 24K 3155228 8079K 705K 3.00 2.92 5764 8236 10005 541 18.09 17.73
105.62/103.68 c (82,0) c [distill] long cls tried: 2529/4811 cl-short:1940 lit-r:4985 T: 10.70 T-out: N T-r: 63.36%
132.54/130.57 c (109,0) c glue 1 116 32K 3084841 8079K 705K 3.00 2.92 7534 11589 11574 1066 19.48 18.90
150.56/148.50 c (127,0) c [distill] long cls tried: 2849/6979 cl-short:2498 lit-r:7242 T: 12.94 T-out: N T-r: 55.00%
182.09/180.02 c (158,0) c glue 1 155 40K 3063077 8079K 705K 3.00 2.92 9543 9545 19080 1460 20.28 19.61
221.80/219.72 c (198,0) c [distill] long cls tried: 2794/8948 cl-short:2528 lit-r:8843 T: 24.35 T-out: N T-r: 16.27%
244.02/241.96 c (220,0) c glue 1 168 49K 2630292 7076K 941K 3.00 2.88 6418 8362 11342 1399 18.05 17.23
264.54/262.41 c (241,0) c ------- FINAL TOTAL SEARCH STATS ---------
264.54/262.41 c (241,0) c UIP search time : 236.62 (98.80 % time)
264.54/262.41 c (241,0) c restarts : 179 (304.55 confls per restart)
264.54/262.41 c (241,0) c blocked restarts : 221 (1.23 per normal restart)
264.54/262.41 c (241,0) c time : 236.62
264.54/262.41 c (241,0) c decisions : 1445132 (0.00 % random)
264.54/262.41 c (241,0) c propagations : 1454235520
264.54/262.41 c (241,0) c decisions/conflicts : 26.51
264.54/262.41 c (241,0) c conflicts : 54515 (230.39 / sec)
264.54/262.41 c (241,0) c conf lits non-minim : 1784735 (32.74 lit/confl)
264.54/262.41 c (241,0) c conf lits final : 19.44
264.54/262.41 c (241,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
264.54/262.41 c (241,0) c red which0 : 6452 (11.84 % of confl)
264.54/262.41 c (241,0) c props/decision : 0.00
264.54/262.41 c (241,0) c props/conflict : 0.00
264.54/262.41 c (241,0) c 0-depth assigns : 562222 (17.76 % vars)
264.54/262.41 c (241,0) c 0-depth assigns by CNF : 257 (0.01 % vars)
264.54/262.41 c (241,0) c reduceDB time : 0.01 (0.00 % time)
264.54/262.41 c (241,0) c OccSimplifier time : 0.00 (0.00 % time)
264.54/262.41 c (241,0) c [occur] 0.00 is overhead
264.54/262.41 c (241,0) c [occur] link-in T: 0.00 cleanup T: 0.00
264.54/262.41 c (241,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
264.54/262.41 c (241,0) c SCC time : 0.00 (0.00 % time)
264.54/262.41 c (241,0) c [scc] new: 0 BP 0M T: 0.00
264.54/262.41 c (241,0) c vrep replace time : 0.00 (0.00 % time)
264.54/262.41 c (241,0) c vrep tree roots : 0
264.54/262.41 c (241,0) c vrep trees' crown : 0 (0.00 leafs/tree)
264.54/262.41 c (241,0) c distill time : 54.36 (22.70 % time)
264.54/262.41 c (241,0) c strength cache-irred time: 0.00 (0.00 % time)
264.54/262.41 c (241,0) c strength cache-red time : 0.00 (0.00 % time)
264.54/262.41 c (241,0) c Conflicts in UIP : 54515 (227.62 confl/time_this_thread)
264.54/262.41 c (241,0) c Mem used : 1429.00 MB
264.54/262.41 c (241,0) c Total time (this thread) : 239.50
264.54/262.41 c (241,0) s SATISFIABLE
269.97/265.44 c (244,0) SatSolver.solve End
269.97/265.44 c (244,0) Heap : 616 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
269.97/265.44 c (244,0) Show results Begin
270.14/265.53 c (244,0) x[0] = 43
270.14/265.53 c (244,0) x[1] = 59
270.14/265.53 c (244,0) x[2] = 107
270.14/265.53 c (244,0) x[3] = 101
270.14/265.53 c (244,0) x[4] = 89
270.14/265.53 c (244,0) x[5] = 101
270.14/265.53 c (244,0) x[6] = 59
270.14/265.53 c (244,0) x[7] = 41
270.14/265.53 c (244,0) x[8] = 29
270.14/265.53 c (244,0) x[9] = 3
270.14/265.53 c (244,0) x[10] = 5
270.14/265.53 c (244,0) x[11] = 19
270.14/265.53 c (244,0) x[12] = 73
270.14/265.53 c (244,0) x[13] = 71
270.14/265.53 c (244,0) x[14] = 89
270.14/265.53 c (244,0) x[15] = 59
270.14/265.53 c (244,0) x[16] = 2
270.14/265.53 c (244,0) x[17] = 17
270.14/265.53 c (244,0) x[18] = 83
270.14/265.53 c (244,0) x[19] = 59
270.14/265.53 c (244,0) x[20] = 37
270.14/265.53 c (244,0) x[21] = 23
270.14/265.53 c (244,0) x[22] = 107
270.14/265.53 c (244,0) x[23] = 29
270.14/265.53 c (244,0) x[24] = 5
270.14/265.53 c (244,0) x[25] = 73
270.14/265.53 c (244,0) x[26] = 5
270.14/265.53 c (244,0) x[27] = 43
270.14/265.53 c (244,0) x[28] = 19
270.14/265.53 c (244,0) x[29] = 101
270.14/265.53 c (244,0) x[30] = 113
270.14/265.53 c (244,0) x[31] = 41
270.14/265.53 c (244,0) x[32] = 41
270.14/265.53 c (244,0) x[33] = 67
270.14/265.53 c (244,0) x[34] = 113
270.14/265.53 c (244,0) x[35] = 107
270.14/265.53 c (244,0) x[36] = 43
270.14/265.53 c (244,0) x[37] = 59
270.14/265.53 c (244,0) x[38] = 3
270.14/265.53 c (244,0) x[39] = 83
270.14/265.53 c (244,0) x[40] = 29
270.14/265.53 c (244,0) x[41] = 7
270.14/265.53 c (244,0) x[42] = 79
270.14/265.53 c (244,0) x[43] = 113
270.14/265.53 c (244,0) x[44] = 47
270.14/265.53 c (244,0) x[45] = 19
270.14/265.53 c (244,0) x[46] = 23
270.14/265.53 c (244,0) x[47] = 47
270.14/265.53 c (244,0) x[48] = 13
270.14/265.53 c (244,0) x[49] = 2
270.14/265.53 c (244,0) x[50] = 89
270.14/265.53 c (244,0) x[51] = 59
270.14/265.53 c (244,0) x[52] = 3
270.14/265.53 c (244,0) x[53] = 73
270.14/265.53 c (244,0) x[54] = 103
270.14/265.53 c (244,0) x[55] = 7
270.14/265.53 c (244,0) x[56] = 5
270.14/265.53 c (244,0) x[57] = 73
270.14/265.53 c (244,0) x[58] = 59
270.14/265.53 c (244,0) x[59] = 3
270.14/265.53 c (244,0) x[60] = 53
270.14/265.53 c (244,0) x[61] = 53
270.14/265.53 c (244,0) x[62] = 47
270.14/265.53 c (244,0) x[63] = 107
270.14/265.53 c (244,0) x[64] = 103
270.14/265.53 c (244,0) x[65] = 13
270.14/265.53 c (244,0) x[66] = 59
270.14/265.53 c (244,0) x[67] = 29
270.14/265.53 c (244,0) x[68] = 43
270.14/265.53 c (244,0) x[69] = 61
270.14/265.53 c (244,0) x[70] = 97
270.14/265.53 c (244,0) x[71] = 53
270.14/265.53 c (244,0) x[72] = 41
270.14/265.53 c (244,0) x[73] = 53
270.14/265.53 c (244,0) x[74] = 47
270.14/265.53 c (244,0) x[75] = 107
270.14/265.53 c (244,0) x[76] = 47
270.14/265.53 c (244,0) x[77] = 47
270.14/265.53 c (244,0) x[78] = 7
270.14/265.53 c (244,0) x[79] = 73
270.14/265.53 c (244,0) x[80] = 19
270.14/265.53 c (244,0) x[81] = 67
270.14/265.53 c (244,0) x[82] = 17
270.14/265.53 c (244,0) x[83] = 23
270.14/265.53 c (244,0) x[84] = 23
270.14/265.53 c (244,0) x[85] = 97
270.14/265.53 c (244,0) x[86] = 7
270.14/265.53 c (244,0) x[87] = 37
270.14/265.53 c (244,0) x[88] = 47
270.14/265.53 c (244,0) x[89] = 71
270.14/265.53 c (244,0) x[90] = 41
270.14/265.53 c (244,0) x[91] = 2
270.14/265.53 c (244,0) x[92] = 103
270.14/265.53 c (244,0) x[93] = 67
270.14/265.53 c (244,0) x[94] = 71
270.14/265.53 c (244,0) x[95] = 83
270.14/265.53 c (244,0) x[96] = 59
270.14/265.53 c (244,0) x[97] = 17
270.14/265.53 c (244,0) x[98] = 97
270.14/265.53 c (244,0) x[99] = 113
270.14/265.53 s SATISFIABLE
270.14/265.54 v <instantiation>
270.14/265.54 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list>
270.14/265.54 v <values>43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 59 2 17 83 59 37 23 107 29 5 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19 23 47 13 2 89 59 3 73 103 7 5 73 59 3 53 53 47 107 103 13 59 29 43 61 97 53 41 53 47 107 47 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67 71 83 59 17 97 113</values>
270.14/265.54 v </instantiation>
270.14/265.54 c (244,0) Show results End
270.14/265.54 c (244,0) Heap : 616 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
270.14/265.54 c (244,0) 244,244,STOP-AFTER(ALL)
270.14/265.54 c END-Prog: Thu Sep 12 15:15:29 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 (14553 MiB free)
memory of node 1: 16384 MiB (15541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388038-1568293902/watcher-4388038-1568293902 -o /tmp/evaluation-result-4388038-1568293902/solver-4388038-1568293902 -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-4388038-1568293902.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17064, runsolver pid=17061
[startup+0.100129 s]*
/proc/loadavg: 2.76 3.48 2.94 3/235 17081
/proc/meminfo: memFree=30756208/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405661717 115843072 349 33554432000 4194304 5098028 140723934725360 140723934722616 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 349 296 221 0 87 0
[pid=17067] ppid=17064 vsize=15012696 memory=72620 CPUtime=0.12 cores=1,3,5,7
/proc/17067/stat : 17067 (java) S 17064 17064 12870 0 -1 1077944320 6490 0 0 0 10 2 0 0 20 0 15 0 405661717 15373000704 18155 33554432000 4194304 4196468 140723644476112 140723644458656 140398598663927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
/proc/17067/statm: 3753174 18155 2890 1 0 3715579 0
[pid=17067/tid=17068] ppid=17064 vsize=15012696 memory=-6221578594132737991 CPUtime=0.08 cores=1,3,5,7
/proc/17067/task/17068/stat : 17068 (java) R 17064 17064 12870 0 -1 4202560 4292 0 0 0 7 1 0 0 20 0 15 0 405661717 15373000704 18155 33554432000 4194304 4196468 140723644476112 140398570459088 140398582744414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17069] ppid=17064 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17069/stat : 17069 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 18155 33554432000 4194304 4196468 140723644476112 140398602906384 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17070] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17070/stat : 17070 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 18155 33554432000 4194304 4196468 140723644476112 140398393990032 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17071] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17071/stat : 17071 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 18155 33554432000 4194304 4196468 140723644476112 140398392937488 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17072] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17072/stat : 17072 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 18155 33554432000 4194304 4196468 140723644476112 140398391884944 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17073] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17073/stat : 17073 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661720 15373000704 18155 33554432000 4194304 4196468 140723644476112 140397569050608 140398598675074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17074] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17074/stat : 17074 (java) S 17064 17064 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 18155 33554432000 4194304 4196468 140723644476112 140397179298720 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17075] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17075/stat : 17075 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 18221 33554432000 4194304 4196468 140723644476112 140396910863344 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17076] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17076/stat : 17076 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 18221 33554432000 4194304 4196468 140723644476112 140396536355024 140398598682523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17077] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17077/stat : 17077 (java) S 17064 17064 12870 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 18221 33554432000 4194304 4196468 140723644476112 140397567998448 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17078] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17078/stat : 17078 (java) S 17064 17064 12870 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 18221 33554432000 4194304 4196468 140723644476112 140397566945904 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17079] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0.01 cores=1,3,5,7
/proc/17067/task/17079/stat : 17079 (java) S 17064 17064 12870 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 405661723 15373000704 18221 33554432000 4194304 4196468 140723644476112 140397565893360 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17080] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17080/stat : 17080 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 18221 33554432000 4194304 4196468 140723644476112 140396038450272 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17081] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17081/stat : 17081 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 18221 33554432000 4194304 4196468 140723644476112 140397564840240 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74016 KiB
[startup+0.211095 s]*
/proc/loadavg: 2.76 3.48 2.94 3/235 17081
/proc/meminfo: memFree=30737572/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405661717 115843072 349 33554432000 4194304 5098028 140723934725360 140723934722616 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 349 296 221 0 87 0
[pid=17067] ppid=17064 vsize=15012696 memory=88244 CPUtime=0.25 cores=1,3,5,7
/proc/17067/stat : 17067 (java) S 17064 17064 12870 0 -1 1077944320 11592 0 0 0 22 3 0 0 20 0 15 0 405661717 15373000704 22061 33554432000 4194304 4196468 140723644476112 140723644458656 140398598663927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
/proc/17067/statm: 3753174 22061 2957 1 0 3715579 0
[pid=17067/tid=17068] ppid=17064 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/17067/task/17068/stat : 17068 (java) R 17064 17064 12870 0 -1 4202560 9345 0 0 0 17 3 0 0 20 0 15 0 405661717 15373000704 22061 33554432000 4194304 4196468 140723644476112 140398570479168 140398582744414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17069] ppid=17064 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17069/stat : 17069 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 22061 33554432000 4194304 4196468 140723644476112 140398602906384 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17070] ppid=17064 vsize=15012696 memory=288370425334699648 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17070/stat : 17070 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 22061 33554432000 4194304 4196468 140723644476112 140398393990032 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17071] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17071/stat : 17071 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 22061 33554432000 4194304 4196468 140723644476112 140398392937488 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17072] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17072/stat : 17072 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 22061 33554432000 4194304 4196468 140723644476112 140398391884944 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17073] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17073/stat : 17073 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661720 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397569050608 140398598675074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17074] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17074/stat : 17074 (java) S 17064 17064 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397179298720 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17075] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17075/stat : 17075 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 22061 33554432000 4194304 4196468 140723644476112 140396910863344 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17076] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17076/stat : 17076 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 22061 33554432000 4194304 4196468 140723644476112 140396536355024 140398598682523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17077] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17077/stat : 17077 (java) S 17064 17064 12870 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397567998448 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17078] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17078/stat : 17078 (java) S 17064 17064 12870 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397566945904 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17079] ppid=17064 vsize=15012696 memory=140049182987904 CPUtime=0.03 cores=1,3,5,7
/proc/17067/task/17079/stat : 17079 (java) S 17064 17064 12870 0 -1 1077944384 470 0 0 0 3 0 0 0 20 0 15 0 405661723 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397565893360 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17080] ppid=17064 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17080/stat : 17080 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 22061 33554432000 4194304 4196468 140723644476112 140396038450272 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17081] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17081/stat : 17081 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 22061 33554432000 4194304 4196468 140723644476112 140397564840240 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89640 KiB
[startup+0.310958 s]*
/proc/loadavg: 2.76 3.48 2.94 4/235 17081
/proc/meminfo: memFree=30734284/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405661717 115843072 349 33554432000 4194304 5098028 140723934725360 140723934722616 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 349 296 221 0 87 0
[pid=17067] ppid=17064 vsize=15012696 memory=92204 CPUtime=0.43 cores=1,3,5,7
/proc/17067/stat : 17067 (java) S 17064 17064 12870 0 -1 1077944320 12557 0 0 0 40 3 0 0 20 0 15 0 405661717 15373000704 23051 33554432000 4194304 4196468 140723644476112 140723644458656 140398598663927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
/proc/17067/statm: 3753174 23051 3083 1 0 3715579 0
[pid=17067/tid=17068] ppid=17064 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/17067/task/17068/stat : 17068 (java) R 17064 17064 12870 0 -1 4202560 10095 0 0 0 27 3 0 0 20 0 15 0 405661717 15373000704 23051 33554432000 4194304 4196468 140723644476112 140398570494000 140398583829472 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17069] ppid=17064 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17069/stat : 17069 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 23051 33554432000 4194304 4196468 140723644476112 140398602906384 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17070] ppid=17064 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17070/stat : 17070 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 23051 33554432000 4194304 4196468 140723644476112 140398393990032 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17071] ppid=17064 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17071/stat : 17071 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 23051 33554432000 4194304 4196468 140723644476112 140398392937488 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17072] ppid=17064 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17072/stat : 17072 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15373000704 23051 33554432000 4194304 4196468 140723644476112 140398391884944 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17073] ppid=17064 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17073/stat : 17073 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661720 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397569050608 140398598675074 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17074] ppid=17064 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17074/stat : 17074 (java) S 17064 17064 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397179298720 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17075] ppid=17064 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17075/stat : 17075 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661721 15373000704 23051 33554432000 4194304 4196468 140723644476112 140396910863344 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17076] ppid=17064 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17076/stat : 17076 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661723 15373000704 23051 33554432000 4194304 4196468 140723644476112 140396536355024 140398598682523 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17077] ppid=17064 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17067/task/17077/stat : 17077 (java) S 17064 17064 12870 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 405661723 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397567998448 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17078] ppid=17064 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17067/task/17078/stat : 17078 (java) S 17064 17064 12870 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 405661723 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397566945904 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17079] ppid=17064 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17067/task/17079/stat : 17079 (java) S 17064 17064 12870 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 15 0 405661723 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397565893360 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17080] ppid=17064 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17080/stat : 17080 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 23051 33554432000 4194304 4196468 140723644476112 140396038450272 140398598674133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17081] ppid=17064 vsize=15012696 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17081/stat : 17081 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661724 15373000704 23051 33554432000 4194304 4196468 140723644476112 140397564840240 140398598675074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93600 KiB
[startup+0.700826 s]
/proc/loadavg: 2.76 3.48 2.94 4/235 17081
/proc/meminfo: memFree=30712940/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405661717 115843072 349 33554432000 4194304 5098028 140723934725360 140723934722616 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 349 296 221 0 87 0
[pid=17067] ppid=17064 vsize=15021092 memory=130000 CPUtime=1.01 cores=1,3,5,7
/proc/17067/stat : 17067 (java) S 17064 17064 12870 0 -1 1077944320 19899 0 0 0 96 5 0 0 20 0 15 0 405661717 15381598208 32500 33554432000 4194304 4196468 140723644476112 140723644458656 140398598663927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
/proc/17067/statm: 3755273 32500 3205 1 0 3716603 0
[pid=17067/tid=17068] ppid=17064 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/17067/task/17068/stat : 17068 (java) R 17064 17064 12870 0 -1 4202560 16988 0 0 0 64 4 0 0 20 0 15 0 405661717 15381598208 32500 33554432000 4194304 4196468 140723644476112 140398570498304 140398582707557 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17069] ppid=17064 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17069/stat : 17069 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15381598208 32500 33554432000 4194304 4196468 140723644476112 140398602906384 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17070] ppid=17064 vsize=15021092 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17070/stat : 17070 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15381598208 32500 33554432000 4194304 4196468 140723644476112 140398393990032 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17071] ppid=17064 vsize=15021092 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17071/stat : 17071 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405661719 15381598208 32500 33554432000 4194304 4196468 140723644476112 140398392937488 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17072] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17072/stat : 17072 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661719 15381598208 32500 33554432000 4194304 4196468 140723644476112 140398391884944 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17073] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17073/stat : 17073 (java) S 17064 17064 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405661720 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397569050608 140398598675074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17074] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17074/stat : 17074 (java) S 17064 17064 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405661721 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397179298720 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17075] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17075/stat : 17075 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661721 15381598208 32500 33554432000 4194304 4196468 140723644476112 140396910863344 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17076] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17076/stat : 17076 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661723 15381598208 32500 33554432000 4194304 4196468 140723644476112 140396536355024 140398598682523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17077] ppid=17064 vsize=15021092 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/17067/task/17077/stat : 17077 (java) S 17064 17064 12870 0 -1 1077944384 472 0 0 0 6 0 0 0 20 0 15 0 405661723 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397567998448 140398598675074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17078] ppid=17064 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17067/task/17078/stat : 17078 (java) S 17064 17064 12870 0 -1 1077944384 445 0 0 0 9 0 0 0 20 0 15 0 405661723 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397566945904 140398598675074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17079] ppid=17064 vsize=15021092 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/17067/task/17079/stat : 17079 (java) R 17064 17064 12870 0 -1 4202560 659 0 0 0 16 0 0 0 20 0 15 0 405661723 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397565893360 140398591760763 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17080] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17080/stat : 17080 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405661724 15381598208 32500 33554432000 4194304 4196468 140723644476112 140396038450272 140398598674133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
[pid=17067/tid=17081] ppid=17064 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17067/task/17081/stat : 17081 (java) S 17064 17064 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405661724 15381598208 32500 33554432000 4194304 4196468 140723644476112 140397564840240 140398598675074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31563776 140723644482345 140723644482714 140723644482714 140723644485583 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131396 KiB
[startup+1.50085 s]
/proc/loadavg: 2.76 3.48 2.94 3/235 17081
/proc/meminfo: memFree=30685592/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405661717 115843072 349 33554432000 4194304 5098028 140723934725360 140723934722616 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17085/tid=17097] ppid=17064 vsize=8068440 memory=1056 CPUtime=0.35 cores=1,3,5,7
/proc/17085/task/17097/stat : 17097 (java) S 17064 17064 12870 0 -1 1077944384 1470 0 0 0 34 1 0 0 20 0 19 0 405663811 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671053666288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17098] ppid=17064 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17098/stat : 17098 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405663812 8262082560 303949 33554432000 4194304 4196468 140725506980528 140669305743712 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17099] ppid=17064 vsize=8068440 memory=-7824251494390715755 CPUtime=0.14 cores=1,3,5,7
/proc/17085/task/17099/stat : 17099 (java) S 17064 17064 12870 0 -1 1077944384 19 0 0 0 7 7 0 0 20 0 19 0 405663812 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671052614704 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17101] ppid=17064 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17101/stat : 17101 (java) S 17064 17064 12870 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405663884 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671051003712 140671610482457 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17103] ppid=17064 vsize=8068440 memory=8296 CPUtime=2.13 cores=1,3,5,7
/proc/17085/task/17103/stat : 17103 (java) S 17064 17064 12870 0 -1 4202560 1030 0 0 0 198 15 0 0 20 0 19 0 405663884 8262082560 303949 33554432000 4194304 4196468 140725506980528 140668768862368 140671610479773 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17104] ppid=17064 vsize=8068440 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17104/stat : 17104 (java) S 17064 17064 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405663885 8262082560 303949 33554432000 4194304 4196468 140725506980528 140669037297200 140671610479773 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17105] ppid=17064 vsize=8068440 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17105/stat : 17105 (java) S 17064 17064 12870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405663888 8262082560 303949 33554432000 4194304 4196468 140725506980528 140668366216496 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
Current children cumulated CPU time: 269.35 s
Current children cumulated vsize: 9333196 KiB
Current children cumulated memory: 2266972 KiB
[startup+265.201 s]
/proc/loadavg: 2.08 2.75 2.78 3/239 17123
/proc/meminfo: memFree=27643788/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1476 CPUtime=22.19 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 583 35743 0 0 0 0 2126 93 20 0 1 0 405661717 115843072 369 33554432000 4194304 5098028 140723934725360 140723934722104 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 369 311 221 0 87 0
[pid=17085] ppid=17064 vsize=8068440 memory=1215796 CPUtime=5.31 cores=1,3,5,7
/proc/17085/stat : 17085 (java) S 17064 17064 12870 0 -1 1077944320 29541 0 0 0 493 38 0 0 20 0 19 0 405663805 8262082560 303949 33554432000 4194304 4196468 140725506980528 140725506963072 140671610457847 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
/proc/17085/statm: 2017110 303949 3238 1 0 1978454 0
[pid=17100] ppid=17085 vsize=1151628 memory=1049700 CPUtime=242.25 cores=1,3,5,7
/proc/17100/stat : 17100 (cryptominisat5) R 17085 17064 12870 0 -1 4202496 1492035 0 0 0 24079 146 0 0 20 0 1 0 405663883 1179267072 262425 33554432000 4194304 4451008 140729182081136 140729182078360 139645936679012 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 36069376 140729182090172 140729182090304 140729182090304 140729182093254 0
/proc/17100/statm: 287907 262425 694 63 0 281634 0
[pid=17085/tid=17086] ppid=17064 vsize=8068440 memory=2532 CPUtime=0.82 cores=1,3,5,7
/proc/17085/task/17086/stat : 17086 (java) S 17064 17064 12870 0 -1 1077944384 17434 0 0 0 75 7 0 0 20 0 19 0 405663806 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671582298016 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17087] ppid=17064 vsize=8068440 memory=1440 CPUtime=0.06 cores=1,3,5,7
/proc/17085/task/17087/stat : 17087 (java) S 17064 17064 12870 0 -1 1077944384 28 0 0 0 5 1 0 0 20 0 19 0 405663807 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671614700048 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17088] ppid=17064 vsize=8068440 memory=808 CPUtime=0.05 cores=1,3,5,7
/proc/17085/task/17088/stat : 17088 (java) S 17064 17064 12870 0 -1 1077944384 35 0 0 0 4 1 0 0 20 0 19 0 405663807 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671414868624 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17089] ppid=17064 vsize=8068440 memory=11928 CPUtime=0.06 cores=1,3,5,7
/proc/17085/task/17089/stat : 17089 (java) S 17064 17064 12870 0 -1 1077944384 40 0 0 0 5 1 0 0 20 0 19 0 405663807 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671413815568 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17090] ppid=17064 vsize=8068440 memory=2124 CPUtime=0.06 cores=1,3,5,7
/proc/17085/task/17090/stat : 17090 (java) S 17064 17064 12870 0 -1 1077944384 41 0 0 0 5 1 0 0 20 0 19 0 405663807 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671412763024 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17091] ppid=17064 vsize=8068440 memory=5788 CPUtime=0.01 cores=1,3,5,7
/proc/17085/task/17091/stat : 17091 (java) S 17064 17064 12870 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 405663808 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671056825072 140671610468994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17092] ppid=17064 vsize=8068440 memory=504 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17092/stat : 17092 (java) S 17064 17064 12870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 405663809 8262082560 303949 33554432000 4194304 4196468 140725506980528 140670446593696 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17093] ppid=17064 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17093/stat : 17093 (java) S 17064 17064 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405663809 8262082560 303949 33554432000 4194304 4196468 140725506980528 140670178157808 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17094] ppid=17064 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17094/stat : 17094 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405663811 8262082560 303949 33554432000 4194304 4196468 140725506980528 140669803649488 140671610476443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17095] ppid=17064 vsize=8068440 memory=1476 CPUtime=0.67 cores=1,3,5,7
/proc/17085/task/17095/stat : 17095 (java) S 17064 17064 12870 0 -1 1077944384 3748 0 0 0 67 0 0 0 20 0 19 0 405663811 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671055771888 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17096] ppid=17064 vsize=8068440 memory=124264 CPUtime=0.86 cores=1,3,5,7
/proc/17085/task/17096/stat : 17096 (java) S 17064 17064 12870 0 -1 1077944384 4295 0 0 0 86 0 0 0 20 0 19 0 405663811 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671054719344 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17097] ppid=17064 vsize=8068440 memory=1455940 CPUtime=0.35 cores=1,3,5,7
/proc/17085/task/17097/stat : 17097 (java) S 17064 17064 12870 0 -1 1077944384 1470 0 0 0 34 1 0 0 20 0 19 0 405663811 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671053666288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17098] ppid=17064 vsize=8068440 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17098/stat : 17098 (java) S 17064 17064 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405663812 8262082560 303949 33554432000 4194304 4196468 140725506980528 140669305743712 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17099] ppid=17064 vsize=8068440 memory=1332 CPUtime=0.14 cores=1,3,5,7
/proc/17085/task/17099/stat : 17099 (java) S 17064 17064 12870 0 -1 1077944384 19 0 0 0 7 7 0 0 20 0 19 0 405663812 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671052614704 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17101] ppid=17064 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17101/stat : 17101 (java) S 17064 17064 12870 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405663884 8262082560 303949 33554432000 4194304 4196468 140725506980528 140671051003712 140671610482457 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17103] ppid=17064 vsize=8068440 memory=976 CPUtime=2.13 cores=1,3,5,7
/proc/17085/task/17103/stat : 17103 (java) S 17064 17064 12870 0 -1 4202560 1030 0 0 0 198 15 0 0 20 0 19 0 405663884 8262082560 303949 33554432000 4194304 4196468 140725506980528 140668768862368 140671610479773 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17104] ppid=17064 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17104/stat : 17104 (java) S 17064 17064 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405663885 8262082560 303949 33554432000 4194304 4196468 140725506980528 140669037297200 140671610479773 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17105] ppid=17064 vsize=8068440 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/17085/task/17105/stat : 17105 (java) S 17064 17064 12870 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405663888 8262082560 303949 33554432000 4194304 4196468 140725506980528 140668366216496 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
Current children cumulated CPU time: 269.75 s
Current children cumulated vsize: 9333196 KiB
Current children cumulated memory: 2266972 KiB
[startup+265.402 s]
/proc/loadavg: 2.08 2.75 2.78 3/239 17123
/proc/meminfo: memFree=27643788/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1476 CPUtime=22.19 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 583 35743 0 0 0 0 2126 93 20 0 1 0 405661717 115843072 369 33554432000 4194304 5098028 140723934725360 140723934722104 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 369 311 221 0 87 0
[pid=17085] ppid=17064 vsize=7937364 memory=1213820 CPUtime=247.78 cores=1,3,5,7
/proc/17085/stat : 17085 (java) S 17064 17064 12870 0 -1 1077944320 29574 1501352 0 0 497 38 24091 152 20 0 17 0 405663805 8127860736 303455 33554432000 4194304 4196468 140725506980528 140725506963072 140671610457847 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
/proc/17085/statm: 1984341 303455 3238 1 0 1945685 0
[pid=17085/tid=17086] ppid=17064 vsize=7937364 memory=1656 CPUtime=243.27 cores=1,3,5,7
/proc/17085/task/17086/stat : 17086 (java) R 17064 17064 12870 0 -1 4202560 17443 1501352 0 0 77 7 24091 152 20 0 17 0 405663806 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671582296712 140671070700026 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17087] ppid=17064 vsize=7937364 memory=1804 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17087/stat : 17087 (java) S 17064 17064 12870 0 -1 1077944384 28 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671614700048 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17088] ppid=17064 vsize=7937364 memory=916 CPUtime=242.48 cores=1,3,5,7
/proc/17085/task/17088/stat : 17088 (java) S 17064 17064 12870 0 -1 1077944384 35 1501352 0 0 4 1 24091 152 20 0 17 0 405663807 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671414868624 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17089] ppid=17064 vsize=7937364 memory=3848 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17089/stat : 17089 (java) S 17064 17064 12870 0 -1 1077944384 40 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671413815568 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17090] ppid=17064 vsize=7937364 memory=3188 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17090/stat : 17090 (java) S 17064 17064 12870 0 -1 1077944384 41 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671412763024 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17091] ppid=17064 vsize=7937364 memory=3288 CPUtime=242.44 cores=1,3,5,7
/proc/17085/task/17091/stat : 17091 (java) S 17064 17064 12870 0 -1 1077944384 25 1501352 0 0 1 0 24091 152 20 0 17 0 405663808 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671056825072 140671610468994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17092] ppid=17064 vsize=7937364 memory=4096 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17092/stat : 17092 (java) S 17064 17064 12870 0 -1 1077944384 14 1501352 0 0 0 0 24091 152 20 0 17 0 405663809 8127860736 303455 33554432000 4194304 4196468 140725506980528 140670446593696 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17093] ppid=17064 vsize=7937364 memory=1412 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17093/stat : 17093 (java) S 17064 17064 12870 0 -1 1077944384 2 1501352 0 0 0 0 24091 152 20 0 17 0 405663809 8127860736 303455 33554432000 4194304 4196468 140725506980528 140670178157808 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17094] ppid=17064 vsize=7937364 memory=3272 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17094/stat : 17094 (java) S 17064 17064 12870 0 -1 1077944384 3 1501352 0 0 0 0 24091 152 20 0 17 0 405663811 8127860736 303455 33554432000 4194304 4196468 140725506980528 140669803649488 140671610476443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17095] ppid=17064 vsize=7937364 memory=1476 CPUtime=243.11 cores=1,3,5,7
/proc/17085/task/17095/stat : 17095 (java) R 17064 17064 12870 0 -1 4202560 3751 1501352 0 0 68 0 24091 152 20 0 17 0 405663811 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671055771888 140671590174983 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17096] ppid=17064 vsize=7937364 memory=127584 CPUtime=243.29 cores=1,3,5,7
/proc/17085/task/17096/stat : 17096 (java) S 17064 17064 12870 0 -1 1077944384 4297 1501352 0 0 86 0 24091 152 20 0 17 0 405663811 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671054719344 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17097] ppid=17064 vsize=7937364 memory=1412 CPUtime=242.79 cores=1,3,5,7
/proc/17085/task/17097/stat : 17097 (java) S 17064 17064 12870 0 -1 1077944384 1478 1501352 0 0 35 1 24091 152 20 0 17 0 405663811 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671053666288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17098] ppid=17064 vsize=7937364 memory=3260 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17098/stat : 17098 (java) S 17064 17064 12870 0 -1 1077944384 3 1501352 0 0 0 0 24091 152 20 0 17 0 405663812 8127860736 303455 33554432000 4194304 4196468 140725506980528 140669305743712 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17099] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.57 cores=1,3,5,7
/proc/17085/task/17099/stat : 17099 (java) S 17064 17064 12870 0 -1 1077944384 19 1501352 0 0 7 7 24091 152 20 0 17 0 405663812 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671052614704 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17101] ppid=17064 vsize=7937364 memory=124264 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17101/stat : 17101 (java) S 17064 17064 12870 0 -1 1077944384 24 1501352 0 0 0 0 24091 152 20 0 17 0 405663884 8127860736 303455 33554432000 4194304 4196468 140725506980528 140671051002896 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17105] ppid=17064 vsize=7937364 memory=4126316290023845779 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17105/stat : 17105 (java) S 17064 17064 12870 0 -1 1077944384 15 1501352 0 0 0 0 24091 152 20 0 17 0 405663888 8127860736 303455 33554432000 4194304 4196468 140725506980528 140668366218288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
Current children cumulated CPU time: 269.97 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 1215296 KiB
[startup+265.503 s]
/proc/loadavg: 2.08 2.75 2.78 3/239 17123
/proc/meminfo: memFree=27643788/32770624 swapFree=66932940/67108860
[pid=17064] ppid=17061 vsize=113128 memory=1476 CPUtime=22.19 cores=1,3,5,7
/proc/17064/stat : 17064 (scop.sh) S 17061 17064 12870 0 -1 4202496 583 35743 0 0 0 0 2126 93 20 0 1 0 405661717 115843072 369 33554432000 4194304 5098028 140723934725360 140723934722104 139975684366972 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36110336 140723934733155 140723934733424 140723934733424 140723934736333 0
/proc/17064/statm: 28282 369 311 221 0 87 0
[pid=17085] ppid=17064 vsize=7937364 memory=1215148 CPUtime=247.95 cores=1,3,5,7
/proc/17085/stat : 17085 (java) S 17064 17064 12870 0 -1 1077944320 29930 1501352 0 0 514 38 24091 152 20 0 17 0 405663805 8127860736 303787 33554432000 4194304 4196468 140725506980528 140725506963072 140671610457847 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
/proc/17085/statm: 1984341 303787 3244 1 0 1945685 0
[pid=17085/tid=17086] ppid=17064 vsize=7937364 memory=1476 CPUtime=243.37 cores=1,3,5,7
/proc/17085/task/17086/stat : 17086 (java) R 17064 17064 12870 0 -1 4202560 17727 1501352 0 0 87 7 24091 152 20 0 17 0 405663806 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671582295920 140671610469782 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17087] ppid=17064 vsize=7937364 memory=1215796 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17087/stat : 17087 (java) S 17064 17064 12870 0 -1 1077944384 28 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671614700048 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17088] ppid=17064 vsize=7937364 memory=1463300 CPUtime=242.48 cores=1,3,5,7
/proc/17085/task/17088/stat : 17088 (java) S 17064 17064 12870 0 -1 1077944384 35 1501352 0 0 4 1 24091 152 20 0 17 0 405663807 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671414868624 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17089] ppid=17064 vsize=7937364 memory=1548 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17089/stat : 17089 (java) S 17064 17064 12870 0 -1 1077944384 40 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671413815568 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17090] ppid=17064 vsize=7937364 memory=1056 CPUtime=242.49 cores=1,3,5,7
/proc/17085/task/17090/stat : 17090 (java) S 17064 17064 12870 0 -1 1077944384 41 1501352 0 0 5 1 24091 152 20 0 17 0 405663807 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671412763024 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17091] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.44 cores=1,3,5,7
/proc/17085/task/17091/stat : 17091 (java) S 17064 17064 12870 0 -1 1077944384 25 1501352 0 0 1 0 24091 152 20 0 17 0 405663808 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671056825072 140671610468994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17092] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17092/stat : 17092 (java) S 17064 17064 12870 0 -1 1077944384 14 1501352 0 0 0 0 24091 152 20 0 17 0 405663809 8127860736 303787 33554432000 4194304 4196468 140725506980528 140670446593696 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17093] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17093/stat : 17093 (java) S 17064 17064 12870 0 -1 1077944384 2 1501352 0 0 0 0 24091 152 20 0 17 0 405663809 8127860736 303787 33554432000 4194304 4196468 140725506980528 140670178157808 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17094] ppid=17064 vsize=7937364 memory=3620 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17094/stat : 17094 (java) S 17064 17064 12870 0 -1 1077944384 3 1501352 0 0 0 0 24091 152 20 0 17 0 405663811 8127860736 303787 33554432000 4194304 4196468 140725506980528 140669803649488 140671610476443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17095] ppid=17064 vsize=7937364 memory=124264 CPUtime=243.13 cores=1,3,5,7
/proc/17085/task/17095/stat : 17095 (java) R 17064 17064 12870 0 -1 1077944384 3768 1501352 0 0 70 0 24091 152 20 0 17 0 405663811 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671055771888 140671610468994 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17096] ppid=17064 vsize=7937364 memory=1476 CPUtime=243.31 cores=1,3,5,7
/proc/17085/task/17096/stat : 17096 (java) R 17064 17064 12870 0 -1 4202560 4306 1501352 0 0 88 0 24091 152 20 0 17 0 405663811 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671054719344 140671588343993 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17097] ppid=17064 vsize=7937364 memory=1460080 CPUtime=242.81 cores=1,3,5,7
/proc/17085/task/17097/stat : 17097 (java) S 17064 17064 12870 0 -1 1077944384 1523 1501352 0 0 37 1 24091 152 20 0 17 0 405663811 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671053666288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17098] ppid=17064 vsize=7937364 memory=3932 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17098/stat : 17098 (java) S 17064 17064 12870 0 -1 1077944384 3 1501352 0 0 0 0 24091 152 20 0 17 0 405663812 8127860736 303787 33554432000 4194304 4196468 140725506980528 140669305743712 140671610468053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17099] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.57 cores=1,3,5,7
/proc/17085/task/17099/stat : 17099 (java) S 17064 17064 12870 0 -1 1077944384 19 1501352 0 0 7 7 24091 152 20 0 17 0 405663812 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671052614704 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17101] ppid=17064 vsize=7937364 memory=1476 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17101/stat : 17101 (java) S 17064 17064 12870 0 -1 1077944384 24 1501352 0 0 0 0 24091 152 20 0 17 0 405663884 8127860736 303787 33554432000 4194304 4196468 140725506980528 140671051002896 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
[pid=17085/tid=17105] ppid=17064 vsize=7937364 memory=4126316290023845779 CPUtime=242.43 cores=1,3,5,7
/proc/17085/task/17105/stat : 17105 (java) S 17064 17064 12870 0 -1 1077944384 15 1501352 0 0 0 0 24091 152 20 0 17 0 405663888 8127860736 303787 33554432000 4194304 4196468 140725506980528 140668366218288 140671610468994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15597568 140725506982907 140725506983066 140725506983066 140725506985935 0
Current children cumulated CPU time: 270.14 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 1216624 KiB
Child status: 0
Real time (s): 265.579
CPU time (s): 270.283
CPU user time (s): 267.404
CPU system time (s): 2.87871
CPU usage (%): 101.771
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3109508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.404
system time used= 2.87871
maximum resident set size= 3109080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1567737
page faults= 0
swaps= 0
block input operations= 8
block output operations= 398064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15271
involuntary context switches= 139
# summary of solver processes directly reported to runsolver:
# pid: 17064
# total CPU time (s): 270.283
# total CPU user time (s): 267.404
# total CPU system time (s): 2.87871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07127 second user time and 2.91655 second system time
The end