0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20211-serial-file.bin HOME/instance-4305309-1534070884.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 12:48:04 CEST 2018
0.67/0.54 c PID: 20214
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.04/1.19 c (0,0) Parsing End
2.35/1.20 c (0,0) CSP: 0 int (0 aux), 1200 bool (0 aux), 176 ctr, max domain size 2
2.35/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.20 c (0,0) Constraint Name Generate Begin
2.35/1.22 c (0,0) Ctr:HOME/instance-4305309-1534070884.xml,IntVar:LexMatrix:Num:WeightedSum
2.35/1.22 c (0,0) Constraint Name Generate End
2.35/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.22 c (0,0) CSP to CSPinCNF Begin
3.35/1.52 c (0,0) translated 18 (10%) constraints
3.35/1.53 c (1,1) translated 36 (20%) constraints
3.35/1.54 c (1,1) translated 53 (30%) constraints
3.35/1.55 c (1,1) translated 71 (40%) constraints
3.35/1.55 c (1,1) translated 88 (50%) constraints
3.35/1.57 c (1,1) translated 106 (60%) constraints
3.35/1.57 c (1,1) translated 124 (70%) constraints
5.45/2.30 c (1,1) translated 141 (80%) constraints
7.90/3.02 c (2,2) translated 159 (90%) constraints
9.26/3.56 c (3,3) translated 176 (100%) constraints
27.15/18.52 c (18,17) STATISTICS1:HOME/instance-4305309-1534070884.xml,IntVar:LexMatrix:Num:WeightedSum,14014,26059,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:4412,2:71266,4:2014;3:10928;2:12814;1:303,120:110;10:240;2:4412;1:60042,6400:110
27.15/18.52 c (18,17) ==========================================
27.15/18.52 c (18,17) Order
27.15/18.52 c (18,17) ==========================================
28.16/18.86 c (18,18) translated 2606 (10%) constraints
28.52/19.00 c (18,18) translated 5212 (20%) constraints
29.18/19.13 c (18,18) translated 7818 (30%) constraints
29.46/19.27 c (18,18) translated 10424 (40%) constraints
29.76/19.39 c (18,18) translated 13030 (50%) constraints
30.06/19.50 c (18,18) translated 15636 (60%) constraints
30.32/19.59 c (19,18) translated 18242 (70%) constraints
30.45/19.69 c (19,18) translated 20848 (80%) constraints
31.01/19.89 c (19,18) translated 23454 (90%) constraints
31.25/19.99 c (19,19) translated 26059 (100%) constraints
31.25/20.00 c (19,19) CSP to CSPinCNF End
31.25/20.00 c (19,19) CSP: 1155 int (1155 aux), 19414 bool (18214 aux), 39344 ctr, max domain size 37
31.25/20.00 c (19,19) Heap : 168 MiB used (max 11153 MiB), NonHeap : 31 MiB used (max 0 MiB)
31.25/20.00 c (19,19) CSPinCNF Propagation Begin
32.13/20.27 c (19,19) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed
32.13/20.27 c (19,19) CSPinCNF Propagation End
32.13/20.28 c (19,19) CSP: 1155 int (1155 aux), 19414 bool (18214 aux), 33944 ctr, max domain size 37
32.13/20.28 c (19,19) Heap : 310 MiB used (max 11153 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.13/20.28 c (19,19) Simplify CSPinCNF Begin
32.68/20.44 c (19,19) Simplify CSPinCNF End
32.68/20.44 c (19,19) CSP: 1155 int (1155 aux), 23826 bool (22626 aux), 38356 ctr, max domain size 37
32.68/20.44 c (19,19) Heap : 396 MiB used (max 11153 MiB), NonHeap : 30 MiB used (max 0 MiB)
32.68/20.44 c (19,19) Calculate Precise Domain Begin
32.98/20.52 c (19,19) 0 values are removed by re-calculation
32.98/20.52 c (19,19) Calculate Precise Domain End
32.98/20.52 c (20,19) CSP: 1155 int (1155 aux), 23826 bool (22626 aux), 38356 ctr, max domain size 37
32.98/20.52 c (20,19) Heap : 396 MiB used (max 11153 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.98/20.52 c (20,19) CSPinCNF to SatSolver Begin
37.29/22.71 c (22,21) 3836 (10 %) CSP clauses are encoded (35946 SAT variables, 471480 SAT clauses)
37.81/23.25 c (22,22) 7672 (20 %) CSP clauses are encoded (35946 SAT variables, 627716 SAT clauses)
38.42/23.81 c (23,22) 11507 (30 %) CSP clauses are encoded (35946 SAT variables, 783951 SAT clauses)
39.36/24.52 c (24,23) 15343 (40 %) CSP clauses are encoded (35946 SAT variables, 940187 SAT clauses)
39.90/25.06 c (24,24) 19178 (50 %) CSP clauses are encoded (35946 SAT variables, 1096422 SAT clauses)
40.49/25.60 c (25,24) 23014 (60 %) CSP clauses are encoded (35946 SAT variables, 1252658 SAT clauses)
41.00/26.15 c (25,25) 26850 (70 %) CSP clauses are encoded (35946 SAT variables, 1408894 SAT clauses)
41.40/26.53 c (26,25) 30685 (80 %) CSP clauses are encoded (35946 SAT variables, 1514839 SAT clauses)
41.60/26.60 c (26,25) 34521 (90 %) CSP clauses are encoded (35946 SAT variables, 1520583 SAT clauses)
41.60/26.68 c (26,25) 38356 (100 %) CSP clauses are encoded (35946 SAT variables, 1526284 SAT clauses)
41.60/26.68 c (26,25) Launch Command will be: minisat_release
41.60/26.68 c (26,25) CSPinCNF to SatSolver End
41.60/26.68 c (26,25) Heap : 2305 MiB used (max 11122 MiB), NonHeap : 30 MiB used (max 0 MiB)
42.11/26.88 c (26,25) STATISTICS2:HOME/instance-4305309-1534070884.xml,IntVar:LexMatrix:Num:WeightedSum,24981,38356,1369,37,4,11,1369:20;1024:1320;512:240;441:60;121:120;99:540;81:360;2:6554,37:120;21:240;11:2640;9:1620;2:102974,4:2014;3:5528;2:28026;1:2788,11:1320;10:240;3:1100;2:6554;1:74266,
42.11/26.88 c (26,25) 35946 bool, 1526285 clause
42.11/26.88 c (26,25) Export Begin
42.69/27.02 c (26,25) Export to HOME/scop-20211-serial-file.bin
42.69/27.02 c (26,25) Export End
42.69/27.02 c (26,25) Export File Size: 0.19 MB
42.69/27.02 c (26,25) 0,0,19,19,19,20,26,STOP-AFTER(DIMACS)
42.69/27.02 c END-Prog: Sun Aug 12 12:48:31 CEST 2018
42.69/27.05 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20211-serial-file.bin
42.76/27.55 c (0,0) Read Serial File Begin
42.76/27.55 c (0,0) HOME/scop-20211-serial-file.bin
42.76/27.78 c (0,0) Read Serial File End
42.76/27.79
42.76/27.79 scop order+minisat_release (2018-07-31)
42.76/27.79 (Solving Process)
42.76/27.79
42.76/27.82 c BEGIN-Prog: Sun Aug 12 12:48:32 CEST 2018
42.76/27.82 c PID: 20229
42.76/27.82 c IP: 172.20.3.139
42.76/27.82 c HOST: node139.alineos.net
42.76/27.82 c (0,0) SatSolver.solve Begin
42.76/27.82 c (0,0) 0 bool, 0 clause
42.76/27.82 c (0,0) minisat_release HOME/instance-4305309-1534070884.xml-scop-20214.cnf
56.70/40.40 c (12,0) c This is COMiniSatPS.
56.70/40.40 c (12,0) c WARNING: for repeatability, setting FPU to use double precision
56.70/40.40 c (12,0) c ============================[ Problem Statistics ]=============================
56.70/40.40 c (12,0) c | |
56.70/40.40 c (12,0) c | Number of variables: 35946 |
56.70/40.40 c (12,0) c | Number of clauses: 1525745 |
56.70/40.40 c (12,0) c | Parse time: 0.49 s |
56.70/40.40 c (12,0) c | Eliminated clauses: 0.37 Mb |
56.70/40.40 c (12,0) c Reduced to 19688 vars, 1417122 cls (grow=0)
56.70/40.40 c (12,0) c No iterative elimination performed. (vars=19688, c/v ratio=72.0)
56.70/40.40 c (12,0) c | Simplification time: 10.07 s |
56.70/40.40 c (12,0) c | |
56.70/40.40 c (12,0) c ============================[ Search Statistics ]==============================
56.70/40.40 c (12,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
56.70/40.40 c (12,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
56.70/40.40 c (12,0) c ===============================================================================
56.70/40.40 c (12,0) c ===============================================================================
56.70/40.40 c (12,0) c restarts : 71
56.70/40.40 c (12,0) c conflicts : 7028 (565 /sec)
56.70/40.40 c (12,0) c decisions : 36107 (0.00 % random) (2905 /sec)
56.70/40.40 c (12,0) c propagations : 4147099 (333688 /sec)
56.70/40.40 c (12,0) c conflict literals : 169088 (20.48 % deleted)
56.70/40.40 c (12,0) c CPU time : 12.4281 s
56.70/40.40 c (12,0)
56.70/40.40 c (12,0) s SATISFIABLE
56.70/40.46 c (13,0) SatSolver.solve End
56.70/40.46 c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.70/40.46 c (13,0) Show results Begin
56.94/40.56 s SATISFIABLE
57.19/40.60 v <instantiation>
57.19/40.60 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119]</list>
57.19/40.60 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0</values>
57.19/40.60 v </instantiation>
57.19/40.60 c (13,0) Show results End
57.19/40.60 c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
57.19/40.60 c (13,0) 13,13,STOP-AFTER(ALL)
57.19/40.60 c END-Prog: Sun Aug 12 12:48:44 CEST 2018
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 (2983 MiB free)
memory of node 1: 16384 MiB (5826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305309-1534070884/watcher-4305309-1534070884 -o /tmp/evaluation-result-4305309-1534070884/solver-4305309-1534070884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305309-1534070884.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=20211, runsolver pid=20208
[startup+0.100111 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 20228
/proc/meminfo: memFree=8961920/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224651552 115843072 349 33554432000 4194304 5098028 140734084887344 140734084884600 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 349 296 221 0 87 0
[pid=20214] ppid=20211 vsize=15012476 memory=72240 CPUtime=0.11 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20211 20211 16770 0 -1 1077944320 6671 0 0 0 9 2 0 0 20 0 15 0 224651552 15372775424 18060 33554432000 4194304 4196468 140722481554896 140722481537440 140171412283127 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
/proc/20214/statm: 3753119 18060 2771 1 0 3715579 0
[pid=20214/tid=20215] ppid=20211 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20211 20211 16770 0 -1 4202560 4768 0 0 0 7 1 0 0 20 0 15 0 224651552 15372775424 18060 33554432000 4194304 4196468 140722481554896 140171384109456 140171392559008 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20216] ppid=20211 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 18060 33554432000 4194304 4196468 140722481554896 140171416525200 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20217] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 18060 33554432000 4194304 4196468 140722481554896 140171230681360 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20218] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 18060 33554432000 4194304 4196468 140722481554896 140171229629072 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20219] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 18060 33554432000 4194304 4196468 140722481554896 140171228576272 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20220] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20220/stat : 20220 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651555 15372775424 18060 33554432000 4194304 4196468 140722481554896 140170449918576 140171412294274 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20221] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 18060 33554432000 4194304 4196468 140722481554896 140169948685600 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20222] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20222/stat : 20222 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 18060 33554432000 4194304 4196468 140722481554896 140169680250480 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20223] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20223/stat : 20223 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 18060 33554432000 4194304 4196468 140722481554896 140169305741904 140171412301723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20224] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20224/stat : 20224 (java) S 20211 20211 16770 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 18060 33554432000 4194304 4196468 140722481554896 140170448865392 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20225] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 18060 33554432000 4194304 4196468 140722481554896 140170447812592 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20226] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0.01 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) S 20211 20211 16770 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 224651559 15372775424 18060 33554432000 4194304 4196468 140722481554896 140170446760304 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20227] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20227/stat : 20227 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 18060 33554432000 4194304 4196468 140722481554896 140168807836128 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20228] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20228/stat : 20228 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 18060 33554432000 4194304 4196468 140722481554896 140170445708208 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73636 KiB
[startup+0.210618 s]*
/proc/loadavg: 2.00 2.02 2.05 4/222 20228
/proc/meminfo: memFree=8945308/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224651552 115843072 349 33554432000 4194304 5098028 140734084887344 140734084884600 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 349 296 221 0 87 0
[pid=20214] ppid=20211 vsize=15012476 memory=85572 CPUtime=0.25 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20211 20211 16770 0 -1 1077944320 10272 0 0 0 22 3 0 0 20 0 15 0 224651552 15372775424 21393 33554432000 4194304 4196468 140722481554896 140722481537440 140171412283127 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
/proc/20214/statm: 3753119 21393 2877 1 0 3715579 0
[pid=20214/tid=20215] ppid=20211 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20211 20211 16770 0 -1 4202560 8184 0 0 0 17 3 0 0 20 0 15 0 224651552 15372775424 21393 33554432000 4194304 4196468 140722481554896 140171384108176 140171412295062 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20216] ppid=20211 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 21393 33554432000 4194304 4196468 140722481554896 140171416525200 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20217] ppid=20211 vsize=15012476 memory=139751576979596 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 21393 33554432000 4194304 4196468 140722481554896 140171230681360 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20218] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 21393 33554432000 4194304 4196468 140722481554896 140171229629072 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20219] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 21393 33554432000 4194304 4196468 140722481554896 140171228576272 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20220] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20220/stat : 20220 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651555 15372775424 21393 33554432000 4194304 4196468 140722481554896 140170449918576 140171412294274 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20221] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 21393 33554432000 4194304 4196468 140722481554896 140169948685600 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20222] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20222/stat : 20222 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 21393 33554432000 4194304 4196468 140722481554896 140169680250480 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20223] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20223/stat : 20223 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 21393 33554432000 4194304 4196468 140722481554896 140169305741904 140171412301723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20224] ppid=20211 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20214/task/20224/stat : 20224 (java) S 20211 20211 16770 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 224651558 15372775424 21393 33554432000 4194304 4196468 140722481554896 140170448865392 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20225] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20211 20211 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 21393 33554432000 4194304 4196468 140722481554896 140170447812592 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20226] ppid=20211 vsize=15012476 memory=139751575787136 CPUtime=0.03 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) R 20211 20211 16770 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 224651559 15372775424 21393 33554432000 4194304 4196468 140722481554896 140170446760304 140171396363614 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20227] ppid=20211 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20227/stat : 20227 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 21393 33554432000 4194304 4196468 140722481554896 140168807836128 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20228] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20228/stat : 20228 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 21393 33554432000 4194304 4196468 140722481554896 140170445708208 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86968 KiB
[startup+0.310641 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 20228
/proc/meminfo: memFree=8941352/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224651552 115843072 349 33554432000 4194304 5098028 140734084887344 140734084884600 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 349 296 221 0 87 0
[pid=20214] ppid=20211 vsize=15012476 memory=89712 CPUtime=0.43 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20211 20211 16770 0 -1 1077944320 10897 0 0 0 39 4 0 0 20 0 15 0 224651552 15372775424 22428 33554432000 4194304 4196468 140722481554896 140722481537440 140171412283127 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
/proc/20214/statm: 3753119 22428 2984 1 0 3715579 0
[pid=20214/tid=20215] ppid=20211 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20211 20211 16770 0 -1 4202560 8622 0 0 0 27 3 0 0 20 0 15 0 224651552 15372775424 22428 33554432000 4194304 4196468 140722481554896 140171384078128 140171398021623 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20216] ppid=20211 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 22428 33554432000 4194304 4196468 140722481554896 140171416525200 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20217] ppid=20211 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 22428 33554432000 4194304 4196468 140722481554896 140171230681360 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20218] ppid=20211 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 22428 33554432000 4194304 4196468 140722481554896 140171229629072 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20219] ppid=20211 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15372775424 22428 33554432000 4194304 4196468 140722481554896 140171228576272 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20220] ppid=20211 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20220/stat : 20220 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651555 15372775424 22428 33554432000 4194304 4196468 140722481554896 140170449918576 140171412294274 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20221] ppid=20211 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 22428 33554432000 4194304 4196468 140722481554896 140169948685600 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20222] ppid=20211 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20222/stat : 20222 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651556 15372775424 22428 33554432000 4194304 4196468 140722481554896 140169680250480 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20223] ppid=20211 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20223/stat : 20223 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651558 15372775424 22428 33554432000 4194304 4196468 140722481554896 140169305741904 140171412301723 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20224] ppid=20211 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20214/task/20224/stat : 20224 (java) R 20211 20211 16770 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 224651558 15372775424 22428 33554432000 4194304 4196468 140722481554896 140170448865392 140171412294274 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20225] ppid=20211 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) R 20211 20211 16770 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 15 0 224651558 15372775424 22428 33554432000 4194304 4196468 140722481554896 140170447812592 140171398298704 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20226] ppid=20211 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) R 20211 20211 16770 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 224651559 15372775424 22428 33554432000 4194304 4196468 140722481554896 140170446760304 140171391208815 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20227] ppid=20211 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20227/stat : 20227 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 22428 33554432000 4194304 4196468 140722481554896 140168807836128 140171412293333 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20228] ppid=20211 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20228/stat : 20228 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651559 15372775424 22428 33554432000 4194304 4196468 140722481554896 140170445708208 140171412294274 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91108 KiB
[startup+0.701926 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 20228
/proc/meminfo: memFree=8917044/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224651552 115843072 349 33554432000 4194304 5098028 140734084887344 140734084884600 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 349 296 221 0 87 0
[pid=20214] ppid=20211 vsize=15020872 memory=129792 CPUtime=1.02 cores=1,3,5,7
/proc/20214/stat : 20214 (java) S 20211 20211 16770 0 -1 1077944320 18109 0 0 0 96 6 0 0 20 0 15 0 224651552 15381372928 32448 33554432000 4194304 4196468 140722481554896 140722481537440 140171412283127 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
/proc/20214/statm: 3755218 32448 3156 1 0 3716603 0
[pid=20214/tid=20215] ppid=20211 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/20214/task/20215/stat : 20215 (java) R 20211 20211 16770 0 -1 4202560 15362 0 0 0 62 5 0 0 20 0 15 0 224651552 15381372928 32448 33554432000 4194304 4196468 140722481554896 140171384119648 140171412295062 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20216] ppid=20211 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20216/stat : 20216 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15381372928 32448 33554432000 4194304 4196468 140722481554896 140171416525200 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20217] ppid=20211 vsize=15020872 memory=60964 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20217/stat : 20217 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224651554 15381372928 32448 33554432000 4194304 4196468 140722481554896 140171230681360 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20218] ppid=20211 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20218/stat : 20218 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15381372928 32448 33554432000 4194304 4196468 140722481554896 140171229629072 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20219] ppid=20211 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20219/stat : 20219 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651554 15381372928 32448 33554432000 4194304 4196468 140722481554896 140171228576272 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20220] ppid=20211 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20220/stat : 20220 (java) S 20211 20211 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224651555 15381372928 32448 33554432000 4194304 4196468 140722481554896 140170449918576 140171412294274 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20221] ppid=20211 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20221/stat : 20221 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224651556 15381372928 32448 33554432000 4194304 4196468 140722481554896 140169948685600 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20222] ppid=20211 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20222/stat : 20222 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651556 15381372928 32448 33554432000 4194304 4196468 140722481554896 140169680250480 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20223] ppid=20211 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20223/stat : 20223 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651558 15381372928 32448 33554432000 4194304 4196468 140722481554896 140169305741904 140171412301723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20224] ppid=20211 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/20214/task/20224/stat : 20224 (java) R 20211 20211 16770 0 -1 4202560 751 0 0 0 9 0 0 0 20 0 15 0 224651558 15381372928 32448 33554432000 4194304 4196468 140722481554896 140170448855776 140171395766679 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20225] ppid=20211 vsize=15020872 memory=10096 CPUtime=0.07 cores=1,3,5,7
/proc/20214/task/20225/stat : 20225 (java) S 20211 20211 16770 0 -1 1077944384 182 0 0 0 7 0 0 0 20 0 15 0 224651558 15381372928 32448 33554432000 4194304 4196468 140722481554896 140170447812592 140171412294274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20226] ppid=20211 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/20214/task/20226/stat : 20226 (java) R 20211 20211 16770 0 -1 4202560 480 0 0 0 16 0 0 0 20 0 15 0 224651559 15381372928 32448 33554432000 4194304 4196468 140722481554896 140170446758264 140171390962104 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20227] ppid=20211 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20227/stat : 20227 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224651559 15381372928 32448 33554432000 4194304 4196468 140722481554896 140168807836128 140171412293333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
[pid=20214/tid=20228] ppid=20211 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20214/task/20228/stat : 20228 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224651559 15381372928 32448 33554432000 4194304 4196468 140722481554896 140170445708208 140171412294274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8810496 140722481558534 140722481558833 140722481558833 140722481561551 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131188 KiB
[startup+1.50079 s]
/proc/loadavg: 2.00 2.02 2.05 5/222 20228
/proc/meminfo: memFree=8918168/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224651552 115843072 349 33554432000 4194304 5098028 140734084887344 140734084884600 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/20229/task/20245/stat : 20245 (java) S 20211 20211 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224654336 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063313884992 140063879495449 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20247] ppid=20211 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20247/stat : 20247 (java) S 20211 20211 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061030985648 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20248] ppid=20211 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20248/stat : 20248 (java) S 20211 20211 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061165207088 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20249] ppid=20211 vsize=8068220 memory=154232 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20249/stat : 20249 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654340 8261857280 30503 33554432000 4194304 4196468 140720877226736 140060762561824 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
Current children cumulated CPU time: 54.71 s
Current children cumulated vsize: 8378368 KiB
Current children cumulated memory: 277716 KiB
[startup+40.0009 s]*
/proc/loadavg: 2.07 2.03 2.05 3/227 20249
/proc/meminfo: memFree=8731356/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1472 CPUtime=42.76 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 592 61639 0 0 0 0 4158 118 20 0 1 0 224651552 115843072 368 33554432000 4194304 5098028 140734084887344 140734084884088 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 368 311 221 0 87 0
[pid=20229] ppid=20211 vsize=8068220 memory=122012 CPUtime=1.4 cores=1,3,5,7
/proc/20229/stat : 20229 (java) S 20211 20211 16770 0 -1 1077944320 19180 0 0 0 132 8 0 0 20 0 19 0 224654258 8261857280 30503 33554432000 4194304 4196468 140720877226736 140720877209280 140063879470839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
/proc/20229/statm: 2017055 30503 3148 1 0 1978454 0
[pid=20244] ppid=20229 vsize=159008 memory=138076 CPUtime=12.15 cores=1,3,5,7
/proc/20244/stat : 20244 (minisat_release) R 20229 20211 16770 0 -1 4202496 121336 0 0 0 1203 12 0 0 20 0 1 0 224654336 162824192 34519 33554432000 4194304 4308513 140725197078464 140725197076088 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26300416 140725197083764 140725197083862 140725197083862 140725197086661 0
/proc/20244/statm: 39752 34519 340 28 0 35992 0
[pid=20229/tid=20230] ppid=20211 vsize=8068220 memory=-7824251494390455145 CPUtime=0.8 cores=1,3,5,7
/proc/20229/task/20230/stat : 20230 (java) S 20211 20211 16770 0 -1 1077944384 15574 0 0 0 74 6 0 0 20 0 19 0 224654258 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063851310992 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20231] ppid=20211 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063883713040 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20232] ppid=20211 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20232/stat : 20232 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063717091984 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20233] ppid=20211 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20233/stat : 20233 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063363377424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20234] ppid=20211 vsize=8068220 memory=279502915633392 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20234/stat : 20234 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063362324880 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20235] ppid=20211 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20235/stat : 20235 (java) S 20211 20211 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224654260 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063325903600 140063879481986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20236] ppid=20211 vsize=8068220 memory=279502916824496 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20236/stat : 20236 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224654261 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062708721312 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20237] ppid=20211 vsize=8068220 memory=-7824251494390455145 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20237/stat : 20237 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654261 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062440285424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20238] ppid=20211 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20238/stat : 20238 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062065777104 140063879489435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20239] ppid=20211 vsize=8068220 memory=1796 CPUtime=0.15 cores=1,3,5,7
/proc/20229/task/20239/stat : 20239 (java) S 20211 20211 16770 0 -1 1077944384 679 0 0 0 15 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063324850416 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20240] ppid=20211 vsize=8068220 memory=1472 CPUtime=0.19 cores=1,3,5,7
/proc/20229/task/20240/stat : 20240 (java) S 20211 20211 16770 0 -1 1077944384 760 0 0 0 19 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063323797872 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20241] ppid=20211 vsize=8068220 memory=68 CPUtime=0.21 cores=1,3,5,7
/proc/20229/task/20241/stat : 20241 (java) S 20211 20211 16770 0 -1 1077944384 755 0 0 0 21 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063322744816 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20242] ppid=20211 vsize=8068220 memory=7739834431206611301 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20242/stat : 20242 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061567871328 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20243] ppid=20211 vsize=8068220 memory=7300704863089419377 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20243/stat : 20243 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063321693232 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20245] ppid=20211 vsize=8068220 memory=7233465311924932944 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20245/stat : 20245 (java) S 20211 20211 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224654336 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063313884992 140063879495449 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20247] ppid=20211 vsize=8068220 memory=7233465311924932944 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20247/stat : 20247 (java) S 20211 20211 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061030985648 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20248] ppid=20211 vsize=8068220 memory=7233465311924932944 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20248/stat : 20248 (java) S 20211 20211 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061165207088 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20249] ppid=20211 vsize=8068220 memory=7233465311924932944 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20249/stat : 20249 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654340 8261857280 30503 33554432000 4194304 4196468 140720877226736 140060762561824 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
Current children cumulated CPU time: 56.31 s
Current children cumulated vsize: 8340356 KiB
Current children cumulated memory: 261560 KiB
[startup+40.4009 s]
/proc/loadavg: 2.07 2.03 2.05 3/227 20249
/proc/meminfo: memFree=8731356/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1472 CPUtime=42.76 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 592 61639 0 0 0 0 4158 118 20 0 1 0 224651552 115843072 368 33554432000 4194304 5098028 140734084887344 140734084884088 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 368 311 221 0 87 0
[pid=20229] ppid=20211 vsize=8068220 memory=122012 CPUtime=1.4 cores=1,3,5,7
/proc/20229/stat : 20229 (java) S 20211 20211 16770 0 -1 1077944320 19180 0 0 0 132 8 0 0 20 0 19 0 224654258 8261857280 30503 33554432000 4194304 4196468 140720877226736 140720877209280 140063879470839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
/proc/20229/statm: 2017055 30503 3148 1 0 1978454 0
[pid=20244] ppid=20229 vsize=159008 memory=138076 CPUtime=12.54 cores=1,3,5,7
/proc/20244/stat : 20244 (minisat_release) R 20229 20211 16770 0 -1 4202496 121336 0 0 0 1242 12 0 0 20 0 1 0 224654336 162824192 34519 33554432000 4194304 4308513 140725197078464 140725197076088 4276015 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 26300416 140725197083764 140725197083862 140725197083862 140725197086661 0
/proc/20244/statm: 39752 34519 340 28 0 35992 0
[pid=20229/tid=20230] ppid=20211 vsize=8068220 memory=156232 CPUtime=0.8 cores=1,3,5,7
/proc/20229/task/20230/stat : 20230 (java) S 20211 20211 16770 0 -1 1077944384 15574 0 0 0 74 6 0 0 20 0 19 0 224654258 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063851310992 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20231] ppid=20211 vsize=8068220 memory=1007576 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063883713040 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20232] ppid=20211 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20232/stat : 20232 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063717091984 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20233] ppid=20211 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20233/stat : 20233 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063363377424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20234] ppid=20211 vsize=8068220 memory=2972 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20234/stat : 20234 (java) S 20211 20211 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224654259 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063362324880 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20235] ppid=20211 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20235/stat : 20235 (java) S 20211 20211 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224654260 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063325903600 140063879481986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20236] ppid=20211 vsize=8068220 memory=122012 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20236/stat : 20236 (java) S 20211 20211 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224654261 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062708721312 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20237] ppid=20211 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20237/stat : 20237 (java) S 20211 20211 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224654261 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062440285424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20238] ppid=20211 vsize=8068220 memory=122012 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20238/stat : 20238 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140062065777104 140063879489435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20239] ppid=20211 vsize=8068220 memory=138076 CPUtime=0.15 cores=1,3,5,7
/proc/20229/task/20239/stat : 20239 (java) S 20211 20211 16770 0 -1 1077944384 679 0 0 0 15 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063324850416 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20240] ppid=20211 vsize=8068220 memory=15880 CPUtime=0.19 cores=1,3,5,7
/proc/20229/task/20240/stat : 20240 (java) S 20211 20211 16770 0 -1 1077944384 760 0 0 0 19 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063323797872 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20241] ppid=20211 vsize=8068220 memory=16228 CPUtime=0.21 cores=1,3,5,7
/proc/20229/task/20241/stat : 20241 (java) S 20211 20211 16770 0 -1 1077944384 755 0 0 0 21 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063322744816 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20242] ppid=20211 vsize=8068220 memory=33884 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20242/stat : 20242 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061567871328 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20243] ppid=20211 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20243/stat : 20243 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654264 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063321693232 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20245] ppid=20211 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20245/stat : 20245 (java) S 20211 20211 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224654336 8261857280 30503 33554432000 4194304 4196468 140720877226736 140063313884992 140063879495449 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20247] ppid=20211 vsize=8068220 memory=636 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20247/stat : 20247 (java) S 20211 20211 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061030985648 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20248] ppid=20211 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20248/stat : 20248 (java) S 20211 20211 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224654337 8261857280 30503 33554432000 4194304 4196468 140720877226736 140061165207088 140063879492765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20249] ppid=20211 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20229/task/20249/stat : 20249 (java) S 20211 20211 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224654340 8261857280 30503 33554432000 4194304 4196468 140720877226736 140060762561824 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
Current children cumulated CPU time: 56.7 s
Current children cumulated vsize: 8340356 KiB
Current children cumulated memory: 261560 KiB
[startup+40.6025 s]
/proc/loadavg: 2.07 2.03 2.05 3/227 20249
/proc/meminfo: memFree=8731356/32770624 swapFree=67108860/67108860
[pid=20211] ppid=20208 vsize=113128 memory=1472 CPUtime=42.76 cores=1,3,5,7
/proc/20211/stat : 20211 (scop.sh) S 20208 20211 16770 0 -1 4202496 592 61639 0 0 0 0 4158 118 20 0 1 0 224651552 115843072 368 33554432000 4194304 5098028 140734084887344 140734084884088 140676862247548 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26742784 140734084891712 140734084891911 140734084891911 140734084894669 0
/proc/20211/statm: 28282 368 311 221 0 87 0
[pid=20229] ppid=20211 vsize=7937144 memory=139872 CPUtime=14.43 cores=1,3,5,7
/proc/20229/stat : 20229 (java) S 20211 20211 16770 0 -1 1077944320 20682 121577 0 0 178 9 1243 13 20 0 17 0 224654258 8127635456 34968 33554432000 4194304 4196468 140720877226736 140720877209280 140063879470839 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
/proc/20229/statm: 1984286 34968 3178 1 0 1945685 0
[pid=20229/tid=20230] ppid=20211 vsize=7937144 memory=139753940846874 CPUtime=13.51 cores=1,3,5,7
/proc/20229/task/20230/stat : 20230 (java) R 20211 20211 16770 0 -1 4202560 15834 121577 0 0 88 7 1243 13 20 0 17 0 224654258 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063851308512 140063385227335 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20231] ppid=20211 vsize=7937144 memory=-6800859132029471843 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (java) S 20211 20211 16770 0 -1 1077944384 1 121577 0 0 0 0 1243 13 20 0 17 0 224654259 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063883713040 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20232] ppid=20211 vsize=7937144 memory=6944656592387989600 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20232/stat : 20232 (java) S 20211 20211 16770 0 -1 1077944384 1 121577 0 0 0 0 1243 13 20 0 17 0 224654259 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063717091984 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20233] ppid=20211 vsize=7937144 memory=6944656592455097440 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20233/stat : 20233 (java) S 20211 20211 16770 0 -1 1077944384 1 121577 0 0 0 0 1243 13 20 0 17 0 224654259 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063363377424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20234] ppid=20211 vsize=7937144 memory=-3252517613198930781 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20234/stat : 20234 (java) S 20211 20211 16770 0 -1 1077944384 2 121577 0 0 0 0 1243 13 20 0 17 0 224654259 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063362324880 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20235] ppid=20211 vsize=7937144 memory=-7595718148001206175 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20235/stat : 20235 (java) S 20211 20211 16770 0 -1 1077944384 7 121577 0 0 0 0 1243 13 20 0 17 0 224654260 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063325903600 140063879481986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20236] ppid=20211 vsize=7937144 memory=8305307729386299488 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20236/stat : 20236 (java) S 20211 20211 16770 0 -1 1077944384 13 121577 0 0 0 0 1243 13 20 0 17 0 224654261 8127635456 34968 33554432000 4194304 4196468 140720877226736 140062708721312 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20237] ppid=20211 vsize=7937144 memory=-9001734043636558696 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20237/stat : 20237 (java) S 20211 20211 16770 0 -1 1077944384 1 121577 0 0 0 0 1243 13 20 0 17 0 224654261 8127635456 34968 33554432000 4194304 4196468 140720877226736 140062440285424 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20238] ppid=20211 vsize=7937144 memory=4425517385743431210 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20238/stat : 20238 (java) S 20211 20211 16770 0 -1 1077944384 3 121577 0 0 0 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140062065777104 140063879489435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20239] ppid=20211 vsize=7937144 memory=-8253387840380694172 CPUtime=12.77 cores=1,3,5,7
/proc/20229/task/20239/stat : 20239 (java) S 20211 20211 16770 0 -1 1077944384 731 121577 0 0 21 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063324850416 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20240] ppid=20211 vsize=7937144 memory=-6517102902069810590 CPUtime=12.85 cores=1,3,5,7
/proc/20229/task/20240/stat : 20240 (java) R 20211 20211 16770 0 -1 4202560 1109 121577 0 0 29 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063323784056 140063861015296 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20241] ppid=20211 vsize=7937144 memory=225949639528038 CPUtime=12.88 cores=1,3,5,7
/proc/20229/task/20241/stat : 20241 (java) R 20211 20211 16770 0 -1 1077944384 1508 121577 0 0 32 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063322742608 140063879481045 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20242] ppid=20211 vsize=7937144 memory=279502917126976 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20242/stat : 20242 (java) S 20211 20211 16770 0 -1 1077944384 3 121577 0 0 0 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140061567871328 140063879481045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20243] ppid=20211 vsize=7937144 memory=7449889899364904036 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20243/stat : 20243 (java) S 20211 20211 16770 0 -1 1077944384 3 121577 0 0 0 0 1243 13 20 0 17 0 224654264 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063321693232 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20245] ppid=20211 vsize=7937144 memory=3616532527683103587 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20245/stat : 20245 (java) S 20211 20211 16770 0 -1 1077944384 24 121577 0 0 0 0 1243 13 20 0 17 0 224654336 8127635456 34968 33554432000 4194304 4196468 140720877226736 140063313884176 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
[pid=20229/tid=20249] ppid=20211 vsize=7937144 memory=279502915998704 CPUtime=12.56 cores=1,3,5,7
/proc/20229/task/20249/stat : 20249 (java) S 20211 20211 16770 0 -1 1077944384 9 121577 0 0 0 0 1243 13 20 0 17 0 224654340 8127635456 34968 33554432000 4194304 4196468 140720877226736 140060762563632 140063879481986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140720877229237 140720877229361 140720877229361 140720877232079 0
Current children cumulated CPU time: 57.19 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 141344 KiB
Child status: 0
Real time (s): 40.625
CPU time (s): 57.2607
CPU user time (s): 55.8282
CPU system time (s): 1.43252
CPU usage (%): 140.949
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4014072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.8282
system time used= 1.43252
maximum resident set size= 4012816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 102040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7845
involuntary context switches= 165
# summary of solver processes directly reported to runsolver:
# pid: 20211
# total CPU time (s): 57.2607
# total CPU user time (s): 55.8282
# total CPU system time (s): 1.43252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.283444 second user time and 0.462807 second system time
The end