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-17805-serial-file.bin HOME/instance-4305308-1534070102.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:35:02 CEST 2018
0.66/0.55 c PID: 17808
0.66/0.55 c IP: 172.20.3.107
0.66/0.55 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.00/1.16 c (0,0) Parsing End
2.00/1.17 c (0,0) CSP: 0 int (0 aux), 972 bool (0 aux), 154 ctr, max domain size 2
2.00/1.17 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.17 c (0,0) Constraint Name Generate Begin
2.00/1.18 c (0,0) Ctr:HOME/instance-4305308-1534070102.xml,IntVar:LexMatrix:Num:WeightedSum
2.00/1.18 c (0,0) Constraint Name Generate End
2.00/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.00/1.18 c (0,0) CSP to CSPinCNF Begin
2.93/1.45 c (0,0) translated 16 (10%) constraints
2.93/1.46 c (0,0) translated 31 (20%) constraints
2.93/1.47 c (0,0) translated 47 (30%) constraints
2.93/1.47 c (0,0) translated 62 (40%) constraints
2.93/1.48 c (0,0) translated 77 (50%) constraints
2.93/1.49 c (0,0) translated 93 (60%) constraints
2.93/1.50 c (0,0) translated 108 (70%) constraints
4.45/1.99 c (1,1) translated 124 (80%) constraints
6.57/2.62 c (2,2) translated 139 (90%) constraints
7.77/3.08 c (2,2) translated 154 (100%) constraints
20.47/13.34 c (12,12) STATISTICS1:HOME/instance-4305308-1534070102.xml,IntVar:LexMatrix:Num:WeightedSum,10345,19129,9223372036854775807,2,4,108,9223372036854775807:90;256:216;2:3539,2:52693,4:1597;3:7891;2:9373;1:268,108:90;9:216;2:3539;1:43671,5184:90
20.47/13.34 c (12,12) ==========================================
20.47/13.34 c (12,12) Order
20.47/13.34 c (12,12) ==========================================
21.49/13.65 c (13,12) translated 1913 (10%) constraints
21.80/13.75 c (13,13) translated 3826 (20%) constraints
22.10/13.85 c (13,13) translated 5739 (30%) constraints
22.40/13.95 c (13,13) translated 7652 (40%) constraints
22.74/14.09 c (13,13) translated 9565 (50%) constraints
23.04/14.18 c (13,13) translated 11478 (60%) constraints
23.31/14.27 c (13,13) translated 13391 (70%) constraints
23.61/14.36 c (13,13) translated 15304 (80%) constraints
23.80/14.44 c (13,13) translated 17217 (90%) constraints
24.09/14.51 c (13,13) translated 19129 (100%) constraints
24.09/14.51 c (13,13) CSP to CSPinCNF End
24.09/14.52 c (13,13) CSP: 945 int (945 aux), 14233 bool (13261 aux), 28948 ctr, max domain size 37
24.09/14.52 c (13,13) Heap : 2833 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
24.09/14.52 c (13,13) CSPinCNF Propagation Begin
25.11/14.82 c (14,14) 0 values, 3888 unsatisfiable literals, and 3888 valid clauses are removed
25.11/14.82 c (14,14) CSPinCNF Propagation End
25.11/14.82 c (14,14) CSP: 945 int (945 aux), 14233 bool (13261 aux), 25060 ctr, max domain size 37
25.11/14.82 c (14,14) Heap : 180 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
25.11/14.82 c (14,14) Simplify CSPinCNF Begin
25.36/14.96 c (14,14) Simplify CSPinCNF End
25.36/14.96 c (14,14) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.36/14.96 c (14,14) Heap : 248 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
25.36/14.96 c (14,14) Calculate Precise Domain Begin
25.68/15.03 c (14,14) 0 values are removed by re-calculation
25.68/15.03 c (14,14) Calculate Precise Domain End
25.68/15.04 c (14,14) CSP: 945 int (945 aux), 17772 bool (16800 aux), 28599 ctr, max domain size 37
25.68/15.04 c (14,14) Heap : 248 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.68/15.04 c (14,14) CSPinCNF to SatSolver Begin
28.47/16.25 c (15,15) 2860 (10 %) CSP clauses are encoded (27492 SAT variables, 234862 SAT clauses)
28.91/16.53 c (16,15) 5720 (20 %) CSP clauses are encoded (27492 SAT variables, 304222 SAT clauses)
29.13/16.78 c (16,15) 8580 (30 %) CSP clauses are encoded (27492 SAT variables, 373582 SAT clauses)
29.45/17.02 c (16,16) 11440 (40 %) CSP clauses are encoded (27492 SAT variables, 442942 SAT clauses)
29.63/17.27 c (16,16) 14300 (50 %) CSP clauses are encoded (27492 SAT variables, 512302 SAT clauses)
29.94/17.51 c (16,16) 17160 (60 %) CSP clauses are encoded (27492 SAT variables, 581662 SAT clauses)
30.13/17.76 c (17,16) 20020 (70 %) CSP clauses are encoded (27492 SAT variables, 651022 SAT clauses)
30.39/17.91 c (17,17) 22880 (80 %) CSP clauses are encoded (27492 SAT variables, 681102 SAT clauses)
30.39/17.95 c (17,17) 25740 (90 %) CSP clauses are encoded (27492 SAT variables, 685379 SAT clauses)
30.60/18.01 c (17,17) 28599 (100 %) CSP clauses are encoded (27492 SAT variables, 689625 SAT clauses)
30.60/18.01 c (17,17) Launch Command will be: minisat_release
30.60/18.01 c (17,17) CSPinCNF to SatSolver End
30.60/18.01 c (17,17) Heap : 2581 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.91/18.17 c (17,17) STATISTICS2:HOME/instance-4305308-1534070102.xml,IntVar:LexMatrix:Num:WeightedSum,18717,28599,1369,37,4,10,1369:18;512:1080;361:54;256:216;100:828;2:5251,37:108;19:216;10:3456;2:76803,4:1597;3:4003;2:20688;1:2311,10:1080;9:216;3:900;2:5251;1:54637,
30.91/18.17 c (17,17) 27492 bool, 689626 clause
30.91/18.17 c (17,17) Export Begin
31.53/18.31 c (17,17) Export to HOME/scop-17805-serial-file.bin
31.53/18.31 c (17,17) Export End
31.53/18.32 c (17,17) Export File Size: 0.15 MB
31.53/18.32 c (17,17) 0,0,13,14,14,14,17,STOP-AFTER(DIMACS)
31.53/18.32 c END-Prog: Sun Aug 12 12:35:20 CEST 2018
31.53/18.35 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17805-serial-file.bin
31.62/18.84 c (0,0) Read Serial File Begin
31.62/18.84 c (0,0) HOME/scop-17805-serial-file.bin
32.56/19.06 c (0,0) Read Serial File End
32.56/19.07
32.56/19.07 scop order+minisat_release (2018-07-31)
32.56/19.07 (Solving Process)
32.56/19.07
32.56/19.09 c BEGIN-Prog: Sun Aug 12 12:35:21 CEST 2018
32.56/19.09 c PID: 17823
32.56/19.09 c IP: 172.20.3.107
32.56/19.09 c HOST: node107.alineos.net
32.56/19.10 c (0,0) SatSolver.solve Begin
32.56/19.10 c (0,0) 0 bool, 0 clause
32.56/19.10 c (0,0) minisat_release HOME/instance-4305308-1534070102.xml-scop-17808.cnf
36.84/23.06 c (4,0) c This is COMiniSatPS.
36.84/23.06 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
36.84/23.06 c (4,0) c ============================[ Problem Statistics ]=============================
36.84/23.06 c (4,0) c | |
36.84/23.06 c (4,0) c | Number of variables: 27492 |
36.84/23.06 c (4,0) c | Number of clauses: 689626 |
36.84/23.06 c (4,0) c | Parse time: 0.21 s |
36.84/23.06 c (4,0) c | Eliminated clauses: 0.29 Mb |
36.84/23.06 c (4,0) c Reduced to 16169 vars, 652037 cls (grow=0)
36.84/23.06 c (4,0) c No iterative elimination performed. (vars=16169, c/v ratio=40.3)
36.84/23.06 c (4,0) c | Simplification time: 2.90 s |
36.84/23.06 c (4,0) c | |
36.84/23.06 c (4,0) c ============================[ Search Statistics ]==============================
36.84/23.06 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
36.84/23.06 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
36.84/23.06 c (4,0) c ===============================================================================
36.84/23.06 c (4,0) c ===============================================================================
36.84/23.08 c (4,0) c restarts : 24
36.84/23.08 c (4,0) c conflicts : 5068 (1301 /sec)
36.84/23.08 c (4,0) c decisions : 21154 (0.00 % random) (5431 /sec)
36.84/23.08 c (4,0) c propagations : 2491585 (639724 /sec)
36.84/23.08 c (4,0) c conflict literals : 186090 (20.38 % deleted)
36.84/23.08 c (4,0) c CPU time : 3.89478 s
36.84/23.08 c (4,0)
36.84/23.08 c (4,0) s SATISFIABLE
37.05/23.12 c (4,0) SatSolver.solve End
37.05/23.12 c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
37.05/23.12 c (4,0) Show results Begin
37.20/23.21 s SATISFIABLE
37.20/23.24 v <instantiation>
37.20/23.24 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[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[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[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[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[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[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[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[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]</list>
37.20/23.24 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 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 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 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 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 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 0 0 0 0 0 0 0 1 1 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 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 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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 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 0 0 0 0 1 1 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 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 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 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
37.20/23.24 v </instantiation>
37.20/23.24 c (4,0) Show results End
37.20/23.24 c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
37.20/23.24 c (4,0) 4,4,STOP-AFTER(ALL)
37.20/23.24 c END-Prog: Sun Aug 12 12:35:25 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 (12865 MiB free)
memory of node 1: 16384 MiB (10362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305308-1534070102/watcher-4305308-1534070102 -o /tmp/evaluation-result-4305308-1534070102/solver-4305308-1534070102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305308-1534070102.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17805, runsolver pid=17802
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.30 2.17 2.09 3/222 17822
/proc/meminfo: memFree=23725404/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224573365 115843072 349 33554432000 4194304 5098028 140722685940432 140722685937688 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 349 296 221 0 87 0
[pid=17808] ppid=17805 vsize=15012476 memory=73140 CPUtime=0.11 cores=0,2,4,6
/proc/17808/stat : 17808 (java) S 17805 17805 16605 0 -1 1077944320 6379 0 0 0 9 2 0 0 20 0 15 0 224573365 15372775424 18285 33554432000 4194304 4196468 140727500531152 140727500513696 139628854476535 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
/proc/17808/statm: 3753119 18285 2770 1 0 3715579 0
[pid=17808/tid=17809] ppid=17805 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/17808/task/17809/stat : 17809 (java) R 17805 17805 16605 0 -1 4202560 4474 0 0 0 7 1 0 0 20 0 15 0 224573365 15372775424 18285 33554432000 4194304 4196468 140727500531152 139628826288520 139628837663344 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17810] ppid=17805 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17810/stat : 17810 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 18285 33554432000 4194304 4196468 140727500531152 139628858719376 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17811] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17811/stat : 17811 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 18285 33554432000 4194304 4196468 140727500531152 139628649802768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17812] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17812/stat : 17812 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 18285 33554432000 4194304 4196468 140727500531152 139628314442640 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17813] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17813/stat : 17813 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 18285 33554432000 4194304 4196468 140727500531152 139628313389840 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17814] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17814/stat : 17814 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573368 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627825015152 139628854487682 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17815] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17815/stat : 17815 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627440628768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17816] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17816/stat : 17816 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627172193136 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17817] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17817/stat : 17817 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 18285 33554432000 4194304 4196468 140727500531152 139626797684560 139628854495131 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17818] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17818/stat : 17818 (java) S 17805 17805 16605 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627823962992 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17819] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17819/stat : 17819 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627822910192 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17820] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0.01 cores=0,2,4,6
/proc/17808/task/17820/stat : 17820 (java) R 17805 17805 16605 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 224573371 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627821857392 139628846713662 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17821] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17821/stat : 17821 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 18285 33554432000 4194304 4196468 140727500531152 139626299779808 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17822] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17822/stat : 17822 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 18285 33554432000 4194304 4196468 140727500531152 139627820804784 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74536 KiB
[startup+0.210684 s]*
/proc/loadavg: 2.30 2.17 2.09 4/222 17822
/proc/meminfo: memFree=23710460/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224573365 115843072 349 33554432000 4194304 5098028 140722685940432 140722685937688 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 349 296 221 0 87 0
[pid=17808] ppid=17805 vsize=15012476 memory=86164 CPUtime=0.26 cores=0,2,4,6
/proc/17808/stat : 17808 (java) S 17805 17805 16605 0 -1 1077944320 9882 0 0 0 23 3 0 0 20 0 15 0 224573365 15372775424 21541 33554432000 4194304 4196468 140727500531152 140727500513696 139628854476535 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
/proc/17808/statm: 3753119 21541 2905 1 0 3715579 0
[pid=17808/tid=17809] ppid=17805 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/17808/task/17809/stat : 17809 (java) R 17805 17805 16605 0 -1 4202560 7795 0 0 0 17 2 0 0 20 0 15 0 224573365 15372775424 21541 33554432000 4194304 4196468 140727500531152 139628826301632 139628838520165 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17810] ppid=17805 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17810/stat : 17810 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 21541 33554432000 4194304 4196468 140727500531152 139628858719376 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17811] ppid=17805 vsize=15012476 memory=4050061892241954464 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17811/stat : 17811 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 21541 33554432000 4194304 4196468 140727500531152 139628649802768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17812] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17812/stat : 17812 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 21541 33554432000 4194304 4196468 140727500531152 139628314442640 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17813] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17813/stat : 17813 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 21541 33554432000 4194304 4196468 140727500531152 139628313389840 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17814] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17814/stat : 17814 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573368 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627825015152 139628854487682 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17815] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17815/stat : 17815 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627440628768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17816] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17816/stat : 17816 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627172193136 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17817] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17817/stat : 17817 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 21541 33554432000 4194304 4196468 140727500531152 139626797684560 139628854495131 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17818] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17818/stat : 17818 (java) S 17805 17805 16605 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627823962992 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17819] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17819/stat : 17819 (java) S 17805 17805 16605 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627822910192 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17820] ppid=17805 vsize=15012476 memory=140320950556288 CPUtime=0.03 cores=0,2,4,6
/proc/17808/task/17820/stat : 17820 (java) S 17805 17805 16605 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 224573371 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627821857392 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17821] ppid=17805 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17821/stat : 17821 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 21541 33554432000 4194304 4196468 140727500531152 139626299779808 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17822] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17822/stat : 17822 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 21541 33554432000 4194304 4196468 140727500531152 139627820804784 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87560 KiB
[startup+0.310561 s]*
/proc/loadavg: 2.30 2.17 2.09 3/222 17822
/proc/meminfo: memFree=23706800/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224573365 115843072 349 33554432000 4194304 5098028 140722685940432 140722685937688 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 349 296 221 0 87 0
[pid=17808] ppid=17805 vsize=15012476 memory=89948 CPUtime=0.42 cores=0,2,4,6
/proc/17808/stat : 17808 (java) S 17805 17805 16605 0 -1 1077944320 10408 0 0 0 39 3 0 0 20 0 15 0 224573365 15372775424 22487 33554432000 4194304 4196468 140727500531152 140727500513696 139628854476535 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
/proc/17808/statm: 3753119 22487 3019 1 0 3715579 0
[pid=17808/tid=17809] ppid=17805 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17808/task/17809/stat : 17809 (java) R 17805 17805 16605 0 -1 4202560 8162 0 0 0 27 2 0 0 20 0 15 0 224573365 15372775424 22487 33554432000 4194304 4196468 140727500531152 139628826271984 139628838557022 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17810] ppid=17805 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17810/stat : 17810 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 22487 33554432000 4194304 4196468 140727500531152 139628858719376 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17811] ppid=17805 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17811/stat : 17811 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 22487 33554432000 4194304 4196468 140727500531152 139628649802768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17812] ppid=17805 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17812/stat : 17812 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 22487 33554432000 4194304 4196468 140727500531152 139628314442640 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17813] ppid=17805 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17813/stat : 17813 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15372775424 22487 33554432000 4194304 4196468 140727500531152 139628313389840 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17814] ppid=17805 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17814/stat : 17814 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573368 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627825015152 139628854487682 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17815] ppid=17805 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17815/stat : 17815 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627440628768 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17816] ppid=17805 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17816/stat : 17816 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573369 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627172193136 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17817] ppid=17805 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17817/stat : 17817 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573371 15372775424 22487 33554432000 4194304 4196468 140727500531152 139626797684560 139628854495131 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17818] ppid=17805 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17808/task/17818/stat : 17818 (java) S 17805 17805 16605 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 224573371 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627823962992 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17819] ppid=17805 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17808/task/17819/stat : 17819 (java) S 17805 17805 16605 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 224573371 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627822910192 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17820] ppid=17805 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17808/task/17820/stat : 17820 (java) S 17805 17805 16605 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 224573371 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627821857392 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17821] ppid=17805 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17821/stat : 17821 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 22487 33554432000 4194304 4196468 140727500531152 139626299779808 139628854486741 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17822] ppid=17805 vsize=15012476 memory=3761129318981378097 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17822/stat : 17822 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573372 15372775424 22487 33554432000 4194304 4196468 140727500531152 139627820804784 139628854487682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91344 KiB
[startup+0.707565 s]
/proc/loadavg: 2.27 2.16 2.09 4/222 17822
/proc/meminfo: memFree=23679700/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224573365 115843072 349 33554432000 4194304 5098028 140722685940432 140722685937688 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 349 296 221 0 87 0
[pid=17808] ppid=17805 vsize=15020872 memory=129644 CPUtime=1.02 cores=0,2,4,6
/proc/17808/stat : 17808 (java) S 17805 17805 16605 0 -1 1077944320 17599 0 0 0 98 4 0 0 20 0 15 0 224573365 15381372928 32411 33554432000 4194304 4196468 140727500531152 140727500513696 139628854476535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
/proc/17808/statm: 3755218 32411 3147 1 0 3716603 0
[pid=17808/tid=17809] ppid=17805 vsize=15020872 memory=-7082918048272507482 CPUtime=0.68 cores=0,2,4,6
/proc/17808/task/17809/stat : 17809 (java) R 17805 17805 16605 0 -1 4202560 14878 0 0 0 64 4 0 0 20 0 15 0 224573365 15381372928 32411 33554432000 4194304 4196468 140727500531152 139628826311504 139628854488470 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17810] ppid=17805 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17810/stat : 17810 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224573367 15381372928 32411 33554432000 4194304 4196468 140727500531152 139628858719376 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17811] ppid=17805 vsize=15020872 memory=61100 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17811/stat : 17811 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15381372928 32411 33554432000 4194304 4196468 140727500531152 139628649802768 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17812] ppid=17805 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17812/stat : 17812 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15381372928 32411 33554432000 4194304 4196468 140727500531152 139628314442640 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17813] ppid=17805 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17813/stat : 17813 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573367 15381372928 32411 33554432000 4194304 4196468 140727500531152 139628313389840 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17814] ppid=17805 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17814/stat : 17814 (java) S 17805 17805 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224573368 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627825015152 139628854487682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17815] ppid=17805 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17815/stat : 17815 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224573369 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627440628768 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17816] ppid=17805 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17816/stat : 17816 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573369 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627172193136 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17817] ppid=17805 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17817/stat : 17817 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573371 15381372928 32411 33554432000 4194304 4196468 140727500531152 139626797684560 139628854495131 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17818] ppid=17805 vsize=15020872 memory=1120 CPUtime=0.08 cores=0,2,4,6
/proc/17808/task/17818/stat : 17818 (java) R 17805 17805 16605 0 -1 4202560 593 0 0 0 8 0 0 0 20 0 15 0 224573371 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627823952256 139628835169799 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17819] ppid=17805 vsize=15020872 memory=6120 CPUtime=0.08 cores=0,2,4,6
/proc/17808/task/17819/stat : 17819 (java) R 17805 17805 16605 0 -1 1077944384 336 0 0 0 8 0 0 0 20 0 15 0 224573371 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627822910192 139628854487682 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17820] ppid=17805 vsize=15020872 memory=1724 CPUtime=0.16 cores=0,2,4,6
/proc/17808/task/17820/stat : 17820 (java) R 17805 17805 16605 0 -1 4202560 458 0 0 0 16 0 0 0 20 0 15 0 224573371 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627821857392 139628854488470 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17821] ppid=17805 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17821/stat : 17821 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224573372 15381372928 32411 33554432000 4194304 4196468 140727500531152 139626299779808 139628854486741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
[pid=17808/tid=17822] ppid=17805 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/17808/task/17822/stat : 17822 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224573372 15381372928 32411 33554432000 4194304 4196468 140727500531152 139627820804784 139628854487682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39071744 140727500538886 140727500539185 140727500539185 140727500541903 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131040 KiB
[startup+1.5008 s]
/proc/loadavg: 2.27 2.16 2.09 5/222 17822
/proc/meminfo: memFree=23651784/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224573365 115843072 349 33554432000 4194304 5098028 140722685940432 140722685937688 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/17823/task/17839/stat : 17839 (java) S 17805 17805 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500430743104 140501063507737 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17841] ppid=17805 vsize=8068220 memory=-3831251742559211316 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17841/stat : 17841 (java) S 17805 17805 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498245234864 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17842] ppid=17805 vsize=8068220 memory=-7595754389018307734 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17842/stat : 17842 (java) S 17805 17805 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498111012144 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17843] ppid=17805 vsize=8068220 memory=6944656601042741910 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17843/stat : 17843 (java) S 17805 17805 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 224575280 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498379463712 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
Current children cumulated CPU time: 34.64 s
Current children cumulated vsize: 8277404 KiB
Current children cumulated memory: 193200 KiB
[startup+22.401 s]
/proc/loadavg: 2.34 2.19 2.10 3/227 17843
/proc/meminfo: memFree=23553456/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1472 CPUtime=31.62 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 591 50231 0 0 0 0 3081 81 20 0 1 0 224573365 115843072 368 33554432000 4194304 5098028 140722685940432 140722685937176 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 368 311 221 0 87 0
[pid=17823] ppid=17805 vsize=8068220 memory=122508 CPUtime=1.35 cores=0,2,4,6
/proc/17823/stat : 17823 (java) S 17805 17805 16605 0 -1 1077944320 17809 0 0 0 127 8 0 0 20 0 19 0 224575200 8261857280 30627 33554432000 4194304 4196468 140728301747952 140728301730496 140501063483127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
/proc/17823/statm: 2017055 30627 3156 1 0 1978454 0
[pid=17838] ppid=17823 vsize=92424 memory=63544 CPUtime=3.26 cores=0,2,4,6
/proc/17838/stat : 17838 (minisat_release) R 17823 17805 16605 0 -1 4202496 28978 0 0 0 322 4 0 0 20 0 1 0 224575277 94642176 15886 33554432000 4194304 4308513 140723031536608 140723031533240 4276177 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 23949312 140723031540852 140723031540950 140723031540950 140723031543749 0
/proc/17838/statm: 23106 15886 325 28 0 19346 0
[pid=17823/tid=17824] ppid=17805 vsize=8068220 memory=1120 CPUtime=0.79 cores=0,2,4,6
/proc/17823/task/17824/stat : 17824 (java) S 17805 17805 16605 0 -1 1077944384 14482 0 0 0 73 6 0 0 20 0 19 0 224575201 8261857280 30627 33554432000 4194304 4196468 140728301747952 140501035323280 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17825] ppid=17805 vsize=8068220 memory=69220 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17825/stat : 17825 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140501067725072 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17826] ppid=17805 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17826/stat : 17826 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500867893648 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17827] ppid=17805 vsize=8068220 memory=122508 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17827/stat : 17827 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500866841104 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17828] ppid=17805 vsize=8068220 memory=69220 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17828/stat : 17828 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500865788560 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17829] ppid=17805 vsize=8068220 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17829/stat : 17829 (java) S 17805 17805 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224575203 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500442761712 140501063494274 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17830] ppid=17805 vsize=8068220 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17830/stat : 17830 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224575204 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499922970016 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17831] ppid=17805 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17831/stat : 17831 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575204 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499654534640 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17832] ppid=17805 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17832/stat : 17832 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499280026320 140501063501723 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17833] ppid=17805 vsize=8068220 memory=1120 CPUtime=0.16 cores=0,2,4,6
/proc/17823/task/17833/stat : 17833 (java) S 17805 17805 16605 0 -1 1077944384 1024 0 0 0 16 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500441708528 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17834] ppid=17805 vsize=8068220 memory=6120 CPUtime=0.15 cores=0,2,4,6
/proc/17823/task/17834/stat : 17834 (java) S 17805 17805 16605 0 -1 1077944384 349 0 0 0 15 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500440655984 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17835] ppid=17805 vsize=8068220 memory=1724 CPUtime=0.21 cores=0,2,4,6
/proc/17823/task/17835/stat : 17835 (java) S 17805 17805 16605 0 -1 1077944384 557 0 0 0 21 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500439603440 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17836] ppid=17805 vsize=8068220 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17836/stat : 17836 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498782120544 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17837] ppid=17805 vsize=8068220 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17837/stat : 17837 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575207 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500438551344 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17839] ppid=17805 vsize=8068220 memory=872 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17839/stat : 17839 (java) S 17805 17805 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500430743104 140501063507737 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17841] ppid=17805 vsize=8068220 memory=1288 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17841/stat : 17841 (java) S 17805 17805 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498245234864 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17842] ppid=17805 vsize=8068220 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17842/stat : 17842 (java) S 17805 17805 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498111012144 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17843] ppid=17805 vsize=8068220 memory=56 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17843/stat : 17843 (java) S 17805 17805 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 224575280 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498379463712 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
Current children cumulated CPU time: 36.23 s
Current children cumulated vsize: 8273772 KiB
Current children cumulated memory: 187524 KiB
[startup+22.8009 s]
/proc/loadavg: 2.34 2.19 2.10 3/227 17843
/proc/meminfo: memFree=23553456/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1472 CPUtime=31.62 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 591 50231 0 0 0 0 3081 81 20 0 1 0 224573365 115843072 368 33554432000 4194304 5098028 140722685940432 140722685937176 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 368 311 221 0 87 0
[pid=17823] ppid=17805 vsize=8068220 memory=122508 CPUtime=1.35 cores=0,2,4,6
/proc/17823/stat : 17823 (java) S 17805 17805 16605 0 -1 1077944320 17809 0 0 0 127 8 0 0 20 0 19 0 224575200 8261857280 30627 33554432000 4194304 4196468 140728301747952 140728301730496 140501063483127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
/proc/17823/statm: 2017055 30627 3156 1 0 1978454 0
[pid=17838] ppid=17823 vsize=92424 memory=63544 CPUtime=3.66 cores=0,2,4,6
/proc/17838/stat : 17838 (minisat_release) R 17823 17805 16605 0 -1 4202496 28991 0 0 0 362 4 0 0 20 0 1 0 224575277 94642176 15886 33554432000 4194304 4308513 140723031536608 140723031534232 4276376 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 23949312 140723031540852 140723031540950 140723031540950 140723031543749 0
/proc/17838/statm: 23106 15886 325 28 0 19346 0
[pid=17823/tid=17824] ppid=17805 vsize=8068220 memory=11192 CPUtime=0.79 cores=0,2,4,6
/proc/17823/task/17824/stat : 17824 (java) S 17805 17805 16605 0 -1 1077944384 14482 0 0 0 73 6 0 0 20 0 19 0 224575201 8261857280 30627 33554432000 4194304 4196468 140728301747952 140501035323280 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17825] ppid=17805 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17825/stat : 17825 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140501067725072 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17826] ppid=17805 vsize=8068220 memory=122508 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17826/stat : 17826 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500867893648 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17827] ppid=17805 vsize=8068220 memory=69220 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17827/stat : 17827 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500866841104 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17828] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17828/stat : 17828 (java) S 17805 17805 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224575202 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500865788560 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17829] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17829/stat : 17829 (java) S 17805 17805 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224575203 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500442761712 140501063494274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17830] ppid=17805 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17830/stat : 17830 (java) S 17805 17805 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224575204 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499922970016 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17831] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17831/stat : 17831 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575204 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499654534640 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17832] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17832/stat : 17832 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140499280026320 140501063501723 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17833] ppid=17805 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/17823/task/17833/stat : 17833 (java) S 17805 17805 16605 0 -1 1077944384 1024 0 0 0 16 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500441708528 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17834] ppid=17805 vsize=8068220 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/17823/task/17834/stat : 17834 (java) S 17805 17805 16605 0 -1 1077944384 349 0 0 0 15 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500440655984 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17835] ppid=17805 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/17823/task/17835/stat : 17835 (java) S 17805 17805 16605 0 -1 1077944384 557 0 0 0 21 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500439603440 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17836] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17836/stat : 17836 (java) S 17805 17805 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224575206 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498782120544 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17837] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17837/stat : 17837 (java) S 17805 17805 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224575207 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500438551344 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17839] ppid=17805 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17839/stat : 17839 (java) S 17805 17805 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140500430743104 140501063507737 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17841] ppid=17805 vsize=8068220 memory=-7824251494390848355 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17841/stat : 17841 (java) S 17805 17805 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498245234864 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17842] ppid=17805 vsize=8068220 memory=8747226831578988619 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17842/stat : 17842 (java) S 17805 17805 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224575277 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498111012144 140501063505053 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17843] ppid=17805 vsize=8068220 memory=140320950584417 CPUtime=0 cores=0,2,4,6
/proc/17823/task/17843/stat : 17843 (java) S 17805 17805 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 224575280 8261857280 30627 33554432000 4194304 4196468 140728301747952 140498379463712 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
Current children cumulated CPU time: 36.63 s
Current children cumulated vsize: 8273772 KiB
Current children cumulated memory: 187524 KiB
[startup+23.2009 s]
/proc/loadavg: 2.34 2.19 2.10 3/227 17843
/proc/meminfo: memFree=23554384/32770624 swapFree=67108860/67108860
[pid=17805] ppid=17802 vsize=113128 memory=1472 CPUtime=31.62 cores=0,2,4,6
/proc/17805/stat : 17805 (scop.sh) S 17802 17805 16605 0 -1 4202496 591 50231 0 0 0 0 3081 81 20 0 1 0 224573365 115843072 368 33554432000 4194304 5098028 140722685940432 140722685937176 140123708473980 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26333184 140722685948992 140722685949191 140722685949191 140722685951949 0
/proc/17805/statm: 28282 368 311 221 0 87 0
[pid=17823] ppid=17805 vsize=7937144 memory=130764 CPUtime=5.58 cores=0,2,4,6
/proc/17823/stat : 17823 (java) S 17805 17805 16605 0 -1 1077944320 18395 29187 0 0 156 8 389 5 20 0 17 0 224575200 8127635456 32691 33554432000 4194304 4196468 140728301747952 140728301730496 140501063483127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
/proc/17823/statm: 1984286 32691 3163 1 0 1945685 0
[pid=17823/tid=17824] ppid=17805 vsize=7937144 memory=1400237504561912195 CPUtime=4.81 cores=0,2,4,6
/proc/17823/task/17824/stat : 17824 (java) R 17805 17805 16605 0 -1 4202560 14748 29187 0 0 81 6 389 5 20 0 17 0 224575201 8127635456 32691 33554432000 4194304 4196468 140728301747952 140501035313200 140501063505053 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17825] ppid=17805 vsize=7937144 memory=6791534058613427641 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17825/stat : 17825 (java) S 17805 17805 16605 0 -1 1077944384 1 29187 0 0 0 0 389 5 20 0 17 0 224575202 8127635456 32691 33554432000 4194304 4196468 140728301747952 140501067725072 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17826] ppid=17805 vsize=7937144 memory=752 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17826/stat : 17826 (java) S 17805 17805 16605 0 -1 1077944384 1 29187 0 0 0 0 389 5 20 0 17 0 224575202 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500867893648 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17827] ppid=17805 vsize=7937144 memory=1396 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17827/stat : 17827 (java) S 17805 17805 16605 0 -1 1077944384 1 29187 0 0 0 0 389 5 20 0 17 0 224575202 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500866841104 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17828] ppid=17805 vsize=7937144 memory=3199920 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17828/stat : 17828 (java) S 17805 17805 16605 0 -1 1077944384 2 29187 0 0 0 0 389 5 20 0 17 0 224575202 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500865788560 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17829] ppid=17805 vsize=7937144 memory=6120 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17829/stat : 17829 (java) S 17805 17805 16605 0 -1 1077944384 5 29187 0 0 0 0 389 5 20 0 17 0 224575203 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500442761712 140501063494274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17830] ppid=17805 vsize=7937144 memory=1724 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17830/stat : 17830 (java) S 17805 17805 16605 0 -1 1077944384 13 29187 0 0 0 0 389 5 20 0 17 0 224575204 8127635456 32691 33554432000 4194304 4196468 140728301747952 140499922970016 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17831] ppid=17805 vsize=7937144 memory=4004 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17831/stat : 17831 (java) S 17805 17805 16605 0 -1 1077944384 1 29187 0 0 0 0 389 5 20 0 17 0 224575204 8127635456 32691 33554432000 4194304 4196468 140728301747952 140499654534640 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17832] ppid=17805 vsize=7937144 memory=3200224 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17832/stat : 17832 (java) S 17805 17805 16605 0 -1 1077944384 3 29187 0 0 0 0 389 5 20 0 17 0 224575206 8127635456 32691 33554432000 4194304 4196468 140728301747952 140499280026320 140501063501723 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17833] ppid=17805 vsize=7937144 memory=61100 CPUtime=4.15 cores=0,2,4,6
/proc/17823/task/17833/stat : 17833 (java) S 17805 17805 16605 0 -1 1077944384 1058 29187 0 0 21 0 389 5 20 0 17 0 224575206 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500441708528 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17834] ppid=17805 vsize=7937144 memory=1064 CPUtime=4.13 cores=0,2,4,6
/proc/17823/task/17834/stat : 17834 (java) S 17805 17805 16605 0 -1 1077944384 373 29187 0 0 19 0 389 5 20 0 17 0 224575206 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500440655984 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17835] ppid=17805 vsize=7937144 memory=2072 CPUtime=4.22 cores=0,2,4,6
/proc/17823/task/17835/stat : 17835 (java) S 17805 17805 16605 0 -1 1077944384 723 29187 0 0 28 0 389 5 20 0 17 0 224575206 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500439603440 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17836] ppid=17805 vsize=7937144 memory=1740 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17836/stat : 17836 (java) S 17805 17805 16605 0 -1 1077944384 3 29187 0 0 0 0 389 5 20 0 17 0 224575206 8127635456 32691 33554432000 4194304 4196468 140728301747952 140498782120544 140501063493333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17837] ppid=17805 vsize=7937144 memory=11192 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17837/stat : 17837 (java) S 17805 17805 16605 0 -1 1077944384 2 29187 0 0 0 0 389 5 20 0 17 0 224575207 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500438551344 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17839] ppid=17805 vsize=7937144 memory=752 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17839/stat : 17839 (java) S 17805 17805 16605 0 -1 1077944384 25 29187 0 0 0 0 389 5 20 0 17 0 224575277 8127635456 32691 33554432000 4194304 4196468 140728301747952 140500430742288 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
[pid=17823/tid=17843] ppid=17805 vsize=7937144 memory=1828 CPUtime=3.94 cores=0,2,4,6
/proc/17823/task/17843/stat : 17843 (java) S 17805 17805 16605 0 -1 1077944384 35 29187 0 0 0 0 389 5 20 0 17 0 224575280 8127635456 32691 33554432000 4194304 4196468 140728301747952 140498379465520 140501063494274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30887936 140728301749429 140728301749553 140728301749553 140728301752271 0
Current children cumulated CPU time: 37.2 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 132236 KiB
Child status: 0
Real time (s): 23.2546
CPU time (s): 37.3462
CPU user time (s): 36.3711
CPU system time (s): 0.975092
CPU usage (%): 160.597
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3203244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3711
system time used= 0.975092
maximum resident set size= 3202072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7507
involuntary context switches= 165
# summary of solver processes directly reported to runsolver:
# pid: 17805
# total CPU time (s): 37.3462
# total CPU user time (s): 36.3711
# total CPU system time (s): 0.975092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.174026 second user time and 0.279954 second system time
The end