Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 64228 | 2520.04 | 2498.33 |
| Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
| MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23688 |
| Best CPU time to get the best result obtained on this benchmark | 2519.94 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1234 |
| Number of constraints | 1134 |
| Number of domains | 10 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1134 |
| Distribution of constraint types | [{"type":"intension","count":1134}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.56 c version: 2018-08-14 0.67/0.56 c seed: 604711377 0.67/0.56 c timeout: 2520 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 4.52/1.95 c Parsing done, starting search... 55.54/49.75 o 94831 55.54/49.75 o 93831 55.54/49.75 o 92831 55.54/49.75 o 92731 55.54/49.75 o 91731 55.54/49.76 o 91621 55.54/49.77 o 90521 55.54/49.77 o 90511 55.54/49.77 o 90501 55.54/49.77 o 90500 55.54/49.78 o 90400 55.77/49.82 o 90301 55.77/49.82 o 90300 55.77/49.82 o 90299 55.77/49.83 o 90200 55.77/49.85 o 90171 55.77/49.86 o 90161 55.77/49.86 o 90151 55.77/49.86 o 90150 55.77/49.86 o 90140 55.77/49.86 o 90139 55.77/49.87 o 90031 55.77/49.87 o 90030 56.06/49.90 o 90020 56.06/49.90 o 90010 56.06/49.91 o 89930 56.06/49.96 o 89920 56.32/50.02 o 89912 56.32/50.02 o 89911 56.71/50.48 o 88012 56.71/50.48 o 87912 56.71/50.48 o 87902 56.71/50.49 o 87901 56.71/50.49 o 87892 56.81/50.55 o 87791 56.81/50.55 o 86791 57.26/50.99 o 86710 57.26/50.99 o 86700 57.78/51.43 o 86690 60.69/54.33 o 86680 60.99/54.65 o 86580 60.99/54.65 o 86570 60.99/54.65 o 86569 60.99/54.65 o 86469 60.99/54.66 o 86459 60.99/54.67 o 86457 60.99/54.69 o 85457 61.13/54.72 o 85358 61.13/54.73 o 85357 77.48/71.00 o 85269 77.48/71.00 o 85259 97.86/91.28 o 84062 97.86/91.28 o 84061 98.71/92.07 o 83962 98.71/92.07 o 83961 99.61/92.97 o 83862 99.61/92.97 o 83861 101.31/94.67 o 83762 101.31/94.68 o 83761 155.00/147.90 o 83527 155.00/147.90 o 83526 155.00/147.91 o 83525 155.00/147.91 o 83524 155.00/147.91 o 83514 155.00/147.91 o 83414 155.00/147.91 o 83404 155.00/147.92 o 83304 155.00/147.92 o 83224 155.00/147.95 o 83223 155.00/147.95 o 83214 155.00/147.98 o 83213 155.23/148.18 o 83205 155.23/148.18 o 83204 155.32/148.22 o 83203 155.32/148.22 o 82214 155.32/148.22 o 82213 155.63/148.55 o 82204 155.63/148.55 o 82203 155.63/148.57 o 82114 155.63/148.57 o 82113 156.14/149.07 o 81314 156.14/149.07 o 81313 156.14/149.07 o 81203 156.14/149.10 o 81194 156.14/149.10 o 81193 156.24/149.18 o 81114 156.24/149.19 o 81113 156.33/149.23 o 81104 156.33/149.23 o 81103 157.44/150.37 o 80104 157.44/150.37 o 80004 157.44/150.37 o 79004 157.44/150.37 o 78994 157.44/150.40 o 78993 157.64/150.51 o 78925 157.64/150.51 o 78924 157.64/150.53 o 78913 158.55/151.42 o 74683 158.55/151.43 o 73693 158.55/151.43 o 73683 158.55/151.44 o 73583 158.85/151.70 o 73573 160.17/153.10 o 73483 160.27/153.14 o 73473 161.48/154.35 o 72583 161.48/154.38 o 72483 514.44/505.67 o 72367 514.44/505.67 o 72366 514.44/505.67 o 72266 514.44/505.67 o 72157 514.44/505.67 o 72146 514.55/505.71 o 72048 514.55/505.71 o 72047 514.55/505.71 o 72046 515.26/506.47 o 71045 515.26/506.47 o 71035 515.26/506.48 o 70935 516.78/507.91 o 70835 518.09/509.29 o 69835 519.61/510.71 o 69035 519.61/510.71 o 68935 520.41/511.53 o 68835 522.24/513.34 o 68745 522.24/513.34 o 68735 523.75/514.82 o 68035 523.75/514.83 o 67935 523.75/514.85 o 67835 523.75/514.88 o 67834 523.75/514.88 o 67735 524.26/515.30 o 67734 524.46/515.54 o 67724 534.24/525.29 o 67635 534.35/525.33 o 67625 534.45/525.41 o 66625 534.55/525.56 o 66615 535.25/526.27 o 66605 536.47/527.45 o 66595 536.47/527.46 o 66585 536.67/527.66 o 66186 536.67/527.67 o 66176 536.67/527.67 o 66166 536.67/527.67 o 66056 536.67/527.68 o 66046 536.67/527.68 o 65936 536.67/527.68 o 65705 536.67/527.68 o 65615 536.67/527.69 o 65605 539.41/530.31 o 64966 539.41/530.31 o 64965 539.41/530.32 o 64955 539.41/530.32 o 64855 539.41/530.32 o 64714 539.51/530.40 o 64704 539.51/530.41 o 64614 539.51/530.41 o 64604 539.71/530.68 o 64594 542.73/533.65 o 64584 646.49/636.85 o 64579 646.49/636.86 o 64569 1679.77/1664.17 o 64542 1679.77/1664.17 o 64541 1679.77/1664.18 o 64540 1688.30/1672.60 o 64532 1743.34/1727.22 o 64450 1743.34/1727.25 o 64440 1743.44/1727.33 o 64370 1743.44/1727.33 o 64360 1743.44/1727.33 o 64350 1743.44/1727.33 o 64340 1743.74/1727.68 o 64339 1743.95/1727.85 o 64338 1744.35/1728.24 o 64329 1744.35/1728.30 o 64328 1744.75/1728.63 o 64228 2520.00/2498.30 s SATISFIABLE 2520.00/2498.31 v <instantiation> 2520.00/2498.31 v <list> 2520.00/2498.31 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] 2520.00/2498.31 v </list> 2520.00/2498.31 v <values> 2520.00/2498.31 v 366 128 30 268 128 366 408 170 380 142 792 554 680 442 58 296 44 282 30 268 680 442 142 380 282 44 128 366 526 764 792 554 156 394 764 526 484 722 652 414 708 470 338 100 526 764 428 666 778 540 680 442 352 114 414 652 296 58 764 526 44 282 156 394 512 750 778 540 44 282 268 30 478 240 366 128 694 456 30 268 778 540 58 296 708 470 142 380 114 352 366 128 338 100 694 456 170 408 352 114 296 58 30 268 114 352 30 268 254 16 652 414 296 58 142 380 268 30 254 16 170 408 380 142 282 44 324 86 540 778 58 296 540 778 380 142 554 792 792 554 722 484 540 778 764 526 352 114 722 484 72 310 792 554 44 282 526 764 666 428 100 338 652 414 792 554 268 30 652 414 764 526 394 156 268 30 554 792 540 778 736 498 540 778 652 414 156 394 324 86 128 366 170 408 142 380 666 428 554 792 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 100 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 100 0 100 0 0 0 100 100 0 0 100 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 100 100 0 100 0 100 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 100 100 0 100 100 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 100 100 0 100 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 100 0 0 100 0 100 0 100 0 0 100 100 100 0 100 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 10 10 10 0 0 0 10 0 10 10 0 10 10 10 0 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 10 10 0 10 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 1 0 0 1 0 0 1 0 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 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 2520.00/2498.31 v </values> 2520.00/2498.31 v </instantiation>
OK 64228
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 (13370 MiB free)
memory of node 1: 16384 MiB (9833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308294-1534281245/watcher-4308294-1534281245 -o /tmp/evaluation-result-4308294-1534281245/solver-4308294-1534281245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534271267-32166 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 604711377 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308294-1534281245.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=731, runsolver pid=728
[startup+0.101643 s]*
/proc/loadavg: 1.28 1.34 1.39 3/219 746
/proc/meminfo: memFree=23742204/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14082736 memory=30532 CPUtime=0.11 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 6519 0 0 0 10 1 0 0 20 0 15 0 245687734 14420721664 7568 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3520684 7633 3160 1 0 3482761 0
[pid=731/tid=733] ppid=728 vsize=14082736 memory=8389772277269004345 CPUtime=0.08 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 4595 0 0 0 8 0 0 0 20 0 15 0 245687734 14420721664 7633 33554432000 4194304 4196468 140735076900880 139702456071856 139702435939678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14082736 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 7633 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14082736 memory=288370107667519104 CPUtime=0 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 7633 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 7633 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 7633 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701430485920 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701429433328 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 245687739 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0.01 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 245687739 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 7633 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30532 KiB
[startup+0.210759 s]*
/proc/loadavg: 1.28 1.34 1.39 5/219 746
/proc/meminfo: memFree=23726460/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14082736 memory=46652 CPUtime=0.29 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 10294 0 0 0 27 2 0 0 20 0 15 0 245687734 14420721664 11663 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3520684 11663 3328 1 0 3482761 0
[pid=731/tid=733] ppid=728 vsize=14082736 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 8073 0 0 0 18 1 0 0 20 0 15 0 245687734 14420721664 11729 33554432000 4194304 4196468 140735076900880 139702456081824 139702435939678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14082736 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 11729 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14082736 memory=288370107667519104 CPUtime=0 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 11729 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 11729 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 11729 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701430485920 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701429433328 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) R 728 731 30369 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 15 0 245687739 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701427329648 139702451869397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) R 728 731 30369 0 -1 4202560 148 0 0 0 2 0 0 0 20 0 15 0 245687739 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701426267360 139702435074203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0.06 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) R 728 731 30369 0 -1 4202560 318 0 0 0 6 0 0 0 20 0 15 0 245687739 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701425219600 139702444096318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14082736 memory=139731515807360 CPUtime=0 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 11729 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46652 KiB
[startup+0.310814 s]*
/proc/loadavg: 1.28 1.34 1.39 3/219 746
/proc/meminfo: memFree=23722800/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14082736 memory=50444 CPUtime=0.44 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 10766 0 0 0 42 2 0 0 20 0 15 0 245687734 14420721664 12611 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3520684 12611 3368 1 0 3482761 0
[pid=731/tid=733] ppid=728 vsize=14082736 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 8434 0 0 0 28 1 0 0 20 0 15 0 245687734 14420721664 12663 33554432000 4194304 4196468 140735076900880 139702456070704 139702435046000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14082736 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 12663 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14082736 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 12663 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14082736 memory=9604 CPUtime=0 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 12663 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14082736 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245687735 14420721664 12663 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14082736 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14082736 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701430485920 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14082736 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245687737 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701429433328 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14082736 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 245687739 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 245687739 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14082736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 340 0 0 0 8 0 0 0 20 0 15 0 245687739 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687740 14420721664 12663 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50444 KiB
[startup+0.7008 s]
/proc/loadavg: 1.28 1.34 1.39 3/219 746
/proc/meminfo: memFree=23698980/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14084804 memory=88516 CPUtime=0.96 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 17573 0 0 0 92 4 0 0 20 0 15 0 245687734 14422839296 22129 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3521201 22129 3498 1 0 3483273 0
[pid=731/tid=733] ppid=728 vsize=14084804 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 14880 0 0 0 64 3 0 0 20 0 15 0 245687734 14422839296 22129 33554432000 4194304 4196468 140735076900880 139702456083296 139702451881117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14084804 memory=7156878885259929700 CPUtime=0 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14422839296 22129 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14084804 memory=7012775598469900114 CPUtime=0 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14422839296 22129 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14084804 memory=7295939532482039893 CPUtime=0 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14422839296 22129 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245687735 14422839296 22129 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14084804 memory=142901078270753 CPUtime=0 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245687737 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245687737 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701430485920 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245687737 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701429433328 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14084804 memory=279462784532720 CPUtime=0.04 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 524 0 0 0 4 0 0 0 20 0 15 0 245687739 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 353 0 0 0 8 0 0 0 20 0 15 0 245687739 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14084804 memory=-1161699032756226647 CPUtime=0.15 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) R 728 731 30369 0 -1 4202560 434 0 0 0 15 0 0 0 20 0 15 0 245687739 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701425224432 139702435939678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14084804 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687740 14422839296 22129 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88516 KiB
[startup+1.50406 s]
/proc/loadavg: 1.28 1.34 1.39 6/219 746
/proc/meminfo: memFree=23661384/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14088900 memory=219840 CPUtime=3.36 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 23321 0 0 0 328 8 0 0 20 0 15 0 245687734 14427033600 54960 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3522225 54960 3547 1 0 3484297 0
[pid=731/tid=733] ppid=728 vsize=14088900 memory=3272 CPUtime=1.46 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 16328 0 0 0 141 5 0 0 20 0 15 0 245687734 14427033600 54973 33554432000 4194304 4196468 140735076900880 139702456096144 139702451871126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14088900 memory=860796 CPUtime=0 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 245687735 14427033600 54973 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14088900 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245687735 14427033600 54973 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14088900 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245687735 14427033600 54973 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 245687735 14427033600 54973 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14088900 memory=142901078405281 CPUtime=0 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 245687737 14427033600 54973 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
################
# More data... #
################
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 43234 0 0 0 237113 19 0 0 20 0 15 0 245687734 14429130752 92274 33554432000 4194304 4196468 140735076900880 139702456097328 139702093432993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14090948 memory=369096 CPUtime=5.32 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 5579 0 0 0 504 28 0 0 20 0 15 0 245687735 14429130752 92274 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14090948 memory=367048 CPUtime=5.32 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 7576 0 0 0 500 32 0 0 20 0 15 0 245687735 14429130752 92274 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14090948 memory=369096 CPUtime=5.3 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 4978 0 0 0 496 34 0 0 20 0 15 0 245687735 14429130752 92274 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14090948 memory=369096 CPUtime=5.34 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 5056 0 0 0 502 32 0 0 20 0 15 0 245687735 14429130752 92274 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14090948 memory=369096 CPUtime=3.43 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 7442 0 0 0 317 26 0 0 20 0 15 0 245687737 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14090948 memory=369096 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701430485984 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701429433344 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14090948 memory=362952 CPUtime=2.62 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 12550 0 0 0 260 2 0 0 20 0 15 0 245687739 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14090948 memory=365000 CPUtime=2.65 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 11113 0 0 0 263 2 0 0 20 0 15 0 245687739 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14090948 memory=6947385649911455296 CPUtime=1.02 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 15810 0 0 0 100 2 0 0 20 0 15 0 245687739 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14090948 memory=367048 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14090948 memory=369096 CPUtime=0.88 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1050 0 0 0 39 49 0 0 20 0 15 0 245687740 14429130752 92274 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 2403.3 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 369096 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.29 1.34 3/219 916
/proc/meminfo: memFree=24043428/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14090948 memory=371144 CPUtime=2463.66 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 116983 0 0 0 246171 195 0 0 20 0 15 0 245687734 14429130752 92786 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3522737 92786 3593 1 0 3484809 0
[pid=731/tid=733] ppid=728 vsize=14090948 memory=371144 CPUtime=2431.08 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 43702 0 0 0 243088 20 0 0 20 0 15 0 245687734 14429130752 92786 33554432000 4194304 4196468 140735076900880 139702456097344 139702093959244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14090948 memory=369096 CPUtime=5.44 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 5775 0 0 0 516 28 0 0 20 0 15 0 245687735 14429130752 92786 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14090948 memory=369096 CPUtime=5.46 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 7674 0 0 0 513 33 0 0 20 0 15 0 245687735 14429130752 92786 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14090948 memory=371144 CPUtime=5.43 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 5022 0 0 0 508 35 0 0 20 0 15 0 245687735 14429130752 92786 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14090948 memory=369096 CPUtime=5.46 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 5210 0 0 0 514 32 0 0 20 0 15 0 245687735 14429130752 92786 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14090948 memory=371144 CPUtime=3.5 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 7616 0 0 0 324 26 0 0 20 0 15 0 245687737 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14090948 memory=371144 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701430485984 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14090948 memory=371144 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701429433344 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14090948 memory=303148748257886234 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14090948 memory=288230596050944315 CPUtime=2.62 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 12552 0 0 0 260 2 0 0 20 0 15 0 245687739 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14090948 memory=371144 CPUtime=2.65 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 11115 0 0 0 263 2 0 0 20 0 15 0 245687739 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14090948 memory=66808 CPUtime=1.02 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 15812 0 0 0 100 2 0 0 20 0 15 0 245687739 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14090948 memory=369096 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14090948 memory=66808 CPUtime=0.9 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1065 0 0 0 40 50 0 0 20 0 15 0 245687740 14429130752 92786 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 2463.66 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 371144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.3 s]
/proc/loadavg: 1.26 1.29 1.33 3/219 919
/proc/meminfo: memFree=24041332/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14090948 memory=373192 CPUtime=2520 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 117617 0 0 0 251802 198 0 0 20 0 15 0 245687734 14429130752 93298 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3522737 93298 3593 1 0 3484809 0
[pid=731/tid=733] ppid=728 vsize=14090948 memory=371144 CPUtime=2486.85 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 44025 0 0 0 248665 20 0 0 20 0 15 0 245687734 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702456097328 139702094606063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14090948 memory=373192 CPUtime=5.57 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 5920 0 0 0 528 29 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14090948 memory=373192 CPUtime=5.57 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 7685 0 0 0 524 33 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14090948 memory=373192 CPUtime=5.55 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 5103 0 0 0 520 35 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14090948 memory=373192 CPUtime=5.59 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 5255 0 0 0 526 33 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14090948 memory=373192 CPUtime=3.57 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 7635 0 0 0 330 27 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14090948 memory=371144 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701430485984 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701429433344 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14090948 memory=373192 CPUtime=2.62 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 12554 0 0 0 260 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14090948 memory=4216 CPUtime=2.65 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 11117 0 0 0 263 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14090948 memory=752 CPUtime=1.02 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 15814 0 0 0 100 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14090948 memory=373192 CPUtime=0.91 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1069 0 0 0 40 51 0 0 20 0 15 0 245687740 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 373192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.33 s]
# the end of solver process 731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.04 s, system=1.99401 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2498.3 s]
/proc/loadavg: 1.26 1.29 1.33 3/219 919
/proc/meminfo: memFree=24041332/32770624 swapFree=67108688/67108860
[pid=731] ppid=728 vsize=14090948 memory=373192 CPUtime=2520 cores=1,3,5,7
/proc/731/stat : 731 (java) S 728 731 30369 0 -1 1077944320 117617 0 0 0 251802 198 0 0 20 0 15 0 245687734 14429130752 93298 33554432000 4194304 4196468 140735076900880 140735076883424 139702451859191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
/proc/731/statm: 3522737 93298 3593 1 0 3484809 0
[pid=731/tid=733] ppid=728 vsize=14090948 memory=371144 CPUtime=2486.85 cores=1,3,5,7
/proc/731/task/733/stat : 733 (java) R 728 731 30369 0 -1 4202560 44025 0 0 0 248665 20 0 0 20 0 15 0 245687734 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702456097328 139702094606063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=734] ppid=728 vsize=14090948 memory=373192 CPUtime=5.57 cores=1,3,5,7
/proc/731/task/734/stat : 734 (java) S 728 731 30369 0 -1 1077944384 5920 0 0 0 528 29 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702404479760 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=735] ppid=728 vsize=14090948 memory=373192 CPUtime=5.57 cores=1,3,5,7
/proc/731/task/735/stat : 735 (java) S 728 731 30369 0 -1 1077944384 7685 0 0 0 524 33 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702403427216 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=736] ppid=728 vsize=14090948 memory=373192 CPUtime=5.55 cores=1,3,5,7
/proc/731/task/736/stat : 736 (java) S 728 731 30369 0 -1 1077944384 5103 0 0 0 520 35 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702402374672 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=737] ppid=728 vsize=14090948 memory=373192 CPUtime=5.59 cores=1,3,5,7
/proc/731/task/737/stat : 737 (java) S 728 731 30369 0 -1 1077944384 5255 0 0 0 526 33 0 0 20 0 15 0 245687735 14429130752 93298 33554432000 4194304 4196468 140735076900880 139702044912784 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=738] ppid=728 vsize=14090948 memory=373192 CPUtime=3.57 cores=1,3,5,7
/proc/731/task/738/stat : 738 (java) S 728 731 30369 0 -1 1077944384 7635 0 0 0 330 27 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701431539696 139702451870338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=739] ppid=728 vsize=14090948 memory=371144 CPUtime=0 cores=1,3,5,7
/proc/731/task/739/stat : 739 (java) S 728 731 30369 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701430485984 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=740] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/740/stat : 740 (java) S 728 731 30369 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245687737 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701429433344 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=741] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/741/stat : 741 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701428381904 139702451877787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=742] ppid=728 vsize=14090948 memory=373192 CPUtime=2.62 cores=1,3,5,7
/proc/731/task/742/stat : 742 (java) S 728 731 30369 0 -1 1077944384 12554 0 0 0 260 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701427329520 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=743] ppid=728 vsize=14090948 memory=4216 CPUtime=2.65 cores=1,3,5,7
/proc/731/task/743/stat : 743 (java) S 728 731 30369 0 -1 1077944384 11117 0 0 0 263 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701426276976 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=744] ppid=728 vsize=14090948 memory=752 CPUtime=1.02 cores=1,3,5,7
/proc/731/task/744/stat : 744 (java) S 728 731 30369 0 -1 1077944384 15814 0 0 0 100 2 0 0 20 0 15 0 245687739 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701425224432 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=745] ppid=728 vsize=14090948 memory=373192 CPUtime=0 cores=1,3,5,7
/proc/731/task/745/stat : 745 (java) S 728 731 30369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245687740 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701424172128 139702451869397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
[pid=731/tid=746] ppid=728 vsize=14090948 memory=373192 CPUtime=0.91 cores=1,3,5,7
/proc/731/task/746/stat : 746 (java) S 728 731 30369 0 -1 1077944384 1069 0 0 0 40 51 0 0 20 0 15 0 245687740 14429130752 93298 33554432000 4194304 4196468 140735076900880 139701423118640 139702451870338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 23404544 140735076901961 140735076902153 140735076902153 140735076904911 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 373192 KiB
Child status: 143
Real time (s): 2498.33
CPU time (s): 2520.04
CPU user time (s): 2518.04
CPU system time (s): 1.99401
CPU usage (%): 100.869
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 428008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.04
system time used= 1.99402
maximum resident set size= 436492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151318
involuntary context switches= 5921
# summary of solver processes directly reported to runsolver:
# pid: 731
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.04
# total CPU system time (s): 1.99401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1931 second user time and 24.2241 second system time
The end
Begin job on node134 at 2018-08-14 23:14:05 IDJOB=4308294 IDBENCH=141204 IDSOLVER=2791 FILE ID=node134/4308294-1534281245 RUNJOBID= node134-1534271267-32166 PBS_JOBID= 21038123 Free space on /tmp= 43368 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308294-1534281245/watcher-4308294-1534281245 -o /tmp/evaluation-result-4308294-1534281245/solver-4308294-1534281245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534271267-32166 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 604711377 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308294-1534281245.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=604711377 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23760788 kB MemAvailable: 31056072 kB Buffers: 180508 kB Cached: 7319244 kB SwapCached: 32 kB Active: 4787508 kB Inactive: 3615240 kB Active(anon): 851796 kB Inactive(anon): 103252 kB Active(file): 3935712 kB Inactive(file): 3511988 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 35728 kB Writeback: 0 kB AnonPages: 909848 kB Mapped: 68128 kB Shmem: 49652 kB Slab: 304448 kB SReclaimable: 276044 kB SUnreclaim: 28404 kB KernelStack: 3616 kB PageTables: 7376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1897732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 831488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 43332 MiB End job on node134 at 2018-08-14 23:55:44