Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 11031 | 2520.04 | 2510.51 |
| Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
| MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 221 |
| Best CPU time to get the best result obtained on this benchmark | 9.42536 |
| 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.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406251-1569414541.xml" -tl '2520s' -p 1 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406251-1569414541.xml, -tl, 2520s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 5.19/1.90 c solve instance... 23.82/18.09 o 34124 23.97/18.14 o 34034 23.97/18.15 o 34024 25.10/19.02 o 33944 25.10/19.04 o 33045 25.10/19.05 o 32948 25.10/19.06 o 32947 25.10/19.06 o 32938 25.10/19.07 o 32937 26.43/19.90 o 32936 26.43/19.92 o 32827 27.78/21.19 o 32826 27.78/21.19 o 32746 28.07/21.32 o 32647 29.47/22.68 o 31736 29.47/22.68 o 31735 29.93/22.96 o 31567 29.93/22.97 o 31479 29.93/23.00 o 31390 30.04/23.09 o 30761 30.86/23.84 o 30662 30.86/23.84 o 30661 30.86/23.84 o 30660 31.25/24.12 o 30659 31.66/24.52 o 29652 31.66/24.52 o 29642 32.28/25.17 o 29641 33.68/26.55 o 29551 39.09/32.00 o 29541 39.39/32.21 o 29343 45.62/38.42 o 29342 46.92/39.74 o 28664 47.63/40.42 o 28663 47.63/40.42 o 28662 47.93/40.77 o 28661 48.53/41.39 o 28481 50.98/43.75 o 27492 53.50/46.20 o 27482 54.31/47.05 o 27481 54.50/47.21 o 27480 61.00/53.71 o 27351 62.70/55.48 o 27342 63.47/56.18 o 27169 63.86/56.58 o 27011 64.06/56.72 o 26910 65.08/57.72 o 25911 65.08/57.72 o 25910 71.76/64.25 o 25610 92.77/85.19 o 25509 94.56/86.90 o 25500 104.46/96.84 o 25460 104.46/96.84 o 25459 104.46/96.84 o 25449 104.46/96.85 o 25439 105.57/97.97 o 25359 106.07/98.44 o 24789 106.27/98.67 o 24778 109.37/101.71 o 23779 122.69/115.06 o 22889 142.02/134.37 o 22804 142.02/134.38 o 22794 143.02/135.37 o 22604 143.77/136.09 o 22594 143.87/136.12 o 22574 168.00/160.21 o 22567 196.34/188.44 o 22557 196.44/188.53 o 22556 196.44/188.54 o 22555 196.44/188.55 o 22554 196.44/188.57 o 22553 196.65/188.77 o 22544 198.35/190.41 o 21655 198.35/190.42 o 21654 198.35/190.44 o 21645 200.25/192.33 o 20745 217.17/209.24 o 20643 217.17/209.25 o 19863 217.28/209.31 o 19774 217.28/209.32 o 19765 217.28/209.32 o 19764 217.38/209.42 o 19763 218.09/210.19 o 19754 226.00/218.01 o 19644 226.00/218.05 o 19643 229.19/221.22 o 19583 229.19/221.22 o 19573 229.80/221.81 o 19463 233.70/225.71 o 18909 233.70/225.79 o 18889 236.31/228.34 o 18292 253.46/245.44 o 18290 257.37/249.37 o 18250 257.37/249.38 o 18174 257.37/249.38 o 18164 257.37/249.39 o 18163 257.37/249.39 o 18162 257.37/249.40 o 18161 260.77/252.78 o 18160 293.97/285.83 o 18139 299.08/290.94 o 17713 301.08/293.01 o 17712 376.49/368.29 o 17702 452.63/444.37 o 16712 550.40/542.01 o 16031 550.40/542.04 o 15932 558.10/549.79 o 15522 558.20/549.82 o 15512 593.22/584.87 o 15401 595.82/587.47 o 15314 598.53/590.19 o 15313 605.23/596.85 o 15312 611.73/603.31 o 15309 612.33/603.90 o 15299 620.74/612.31 o 15270 620.74/612.32 o 15260 698.89/690.49 o 15192 700.60/692.15 o 15191 726.00/717.55 o 15179 731.40/722.97 o 14189 735.40/726.94 o 14188 794.33/785.81 o 13318 929.89/921.27 o 13280 1040.15/1031.44 o 13181 1078.56/1069.81 o 12954 1078.66/1069.96 o 12953 1247.63/1238.84 o 12943 1480.95/1472.03 o 12942 1481.45/1472.53 o 12832 1484.65/1475.70 o 12418 1488.25/1479.33 o 12417 1499.25/1490.36 o 12407 1505.25/1496.32 o 12387 1505.45/1496.52 o 12377 1526.27/1517.33 o 12157 1529.98/1521.08 o 12117 1556.28/1547.37 o 12116 1568.00/1559.01 o 12106 1569.39/1560.49 o 11500 1569.49/1560.55 o 11499 1569.49/1560.55 o 11490 1576.39/1567.48 o 11391 1578.49/1569.58 o 11390 1578.49/1569.58 o 11389 1578.49/1569.59 o 11276 1578.49/1569.60 o 11275 1626.82/1617.81 o 11162 1738.87/1729.82 o 11152 1763.59/1754.59 o 11142 1763.59/1754.59 o 11141 1961.89/1952.77 o 11140 1989.71/1980.58 o 11139 2102.65/2093.44 o 11059 2155.68/2146.44 o 11050 2265.41/2256.04 o 11040 2266.20/2256.85 o 11032 2290.70/2281.38 o 11031 2520.02/2510.50 s SATISFIABLE 2520.02/2510.50 v <instantiation> 2520.02/2510.50 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] 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] </list> 2520.02/2510.50 v <values>778 540 792 554 72 310 240 478 142 380 792 554 750 512 722 484 16 254 792 554 722 484 240 478 666 428 540 778 484 722 16 254 16 254 722 484 254 16 16 254 30 268 86 324 652 414 428 666 680 442 764 526 86 324 310 72 58 296 722 484 44 282 652 414 16 254 736 498 764 526 414 652 142 380 86 324 750 512 750 512 100 338 16 254 16 254 792 554 652 414 652 414 792 554 268 30 142 380 498 736 16 254 680 442 708 470 680 442 100 338 16 254 414 652 16 254 540 778 554 792 170 408 170 408 282 44 114 352 694 456 254 16 100 338 142 380 778 540 666 428 736 498 722 484 30 268 16 254 554 792 778 540 142 380 554 792 484 722 352 114 128 366 792 554 764 526 30 268 58 296 694 456 16 254 652 414 792 554 394 156 254 16 540 778 792 554 750 512 128 366 16 254 240 478 72 310 16 254 16 254 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 1000 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 1000 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 1000 0 1000 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2520.02/2510.50 v </instantiation> 2520.02/2510.50 c Unexpected resolution interruption!
OK 11031
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 (13820 MiB free)
memory of node 1: 16384 MiB (9429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406251-1569414541/watcher-4406251-1569414541 -o /tmp/evaluation-result-4406251-1569414541/solver-4406251-1569414541 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569407845-31186 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 718747787 HOME/instance-4406251-1569414541.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=32426, runsolver pid=32423
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 2.00 1.99 1.93 3/229 32442
/proc/meminfo: memFree=23791776/32770624 swapFree=66956612/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15144776 memory=29868 CPUtime=0.12 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 5937 0 0 0 11 1 0 0 20 0 15 0 517725393 15508250624 7467 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3786194 7467 3117 1 0 3748377 0
[pid=32428/tid=32429] ppid=32426 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 3848 0 0 0 8 0 0 0 20 0 15 0 517725393 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190779014128 140190774809757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0.02 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) R 32426 32426 31155 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190237042800 140190774799766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 7467 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31316 KiB
[startup+0.210734 s]*
/proc/loadavg: 2.00 1.99 1.93 3/229 32442
/proc/meminfo: memFree=23779800/32770624 swapFree=66956612/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15144776 memory=40368 CPUtime=0.34 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 9340 0 0 0 31 3 0 0 20 0 15 0 517725393 15508250624 10092 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3786194 10092 3268 1 0 3748377 0
[pid=32428/tid=32429] ppid=32426 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 15 0 517725393 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190779017552 140190758868318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15144776 memory=2964504 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15144776 memory=3762397189662017184 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517725394 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517725396 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15144776 memory=139771770275456 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) R 32426 32426 31155 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190237042800 140190759953470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725399 15508250624 10092 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41816 KiB
[startup+0.311122 s]*
/proc/loadavg: 2.00 1.99 1.93 5/229 32442
/proc/meminfo: memFree=23774576/32770624 swapFree=66956612/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15149032 memory=50168 CPUtime=0.53 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 10825 0 0 0 49 4 0 0 20 0 15 0 517725393 15512608768 12542 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3787258 12542 3373 1 0 3748377 0
[pid=32428/tid=32429] ppid=32426 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 7754 0 0 0 27 2 0 0 20 0 15 0 517725393 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190779024640 140190758868318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517725394 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517725396 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517725396 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517725396 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 482 0 0 0 5 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) R 32426 32426 31155 0 -1 4202560 333 0 0 0 3 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190238085984 140190759913883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 951 0 0 0 12 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725399 15512608768 12542 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51616 KiB
[startup+0.701572 s]
/proc/loadavg: 2.00 1.99 1.93 5/229 32442
/proc/meminfo: memFree=23751500/32770624 swapFree=66956612/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15151156 memory=92788 CPUtime=1.73 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 15840 0 0 0 167 6 0 0 20 0 15 0 517725393 15514783744 23197 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3787789 23197 3457 1 0 3748889 0
[pid=32428/tid=32429] ppid=32426 vsize=15151156 memory=53988 CPUtime=0.68 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 9204 0 0 0 65 3 0 0 20 0 15 0 517725393 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190779015584 140190371170439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15151156 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15151156 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725394 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517725394 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15151156 memory=976 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517725396 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517725396 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517725396 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15151156 memory=1548 CPUtime=0.31 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) R 32426 32426 31155 0 -1 4202560 1587 0 0 0 31 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190239132432 140190758263084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15151156 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) R 32426 32426 31155 0 -1 4202560 1239 0 0 0 29 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190238082168 140190756309035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15151156 memory=744 CPUtime=0.41 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 2503 0 0 0 41 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15151156 memory=8444 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15151156 memory=6184 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517725399 15514783744 23197 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94236 KiB
[startup+1.50156 s]
/proc/loadavg: 2.00 1.99 1.93 5/229 32442
/proc/meminfo: memFree=23693256/32770624 swapFree=66956612/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15153204 memory=318596 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15153204 memory=1448 CPUtime=3.26 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 19846 0 0 0 323 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15153204 memory=1448 CPUtime=3.91 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 26701 0 0 0 387 4 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15153204 memory=318596 CPUtime=0.91 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 18959 0 0 0 88 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15153204 memory=318596 CPUtime=1.03 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1402 0 0 0 53 50 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 2451.79 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 320044 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/207 32747
/proc/meminfo: memFree=25313752/32770624 swapFree=66956616/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15153204 memory=318596 CPUtime=2511.81 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 113059 0 0 0 251106 75 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3788301 79649 3518 1 0 3749401 0
[pid=32428/tid=32429] ppid=32426 vsize=15153204 memory=318596 CPUtime=2502.24 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 41140 0 0 0 250216 8 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190779026632 140190374051357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15153204 memory=318596 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 904 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15153204 memory=318596 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 259 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15153204 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 1230 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15153204 memory=2032 CPUtime=0.05 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 1125 0 0 0 3 2 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15153204 memory=1448 CPUtime=3.26 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 19846 0 0 0 323 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15153204 memory=1448 CPUtime=3.91 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 26701 0 0 0 387 4 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.91 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 18959 0 0 0 88 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15153204 memory=318596 CPUtime=1.05 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1406 0 0 0 54 51 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 2511.81 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 320044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.5 s]
/proc/loadavg: 1.00 1.06 1.40 2/207 32747
/proc/meminfo: memFree=25313844/32770624 swapFree=66956616/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15153204 memory=318596 CPUtime=2520.02 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 113061 0 0 0 251927 75 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3788301 79649 3518 1 0 3749401 0
[pid=32428/tid=32429] ppid=32426 vsize=15153204 memory=318596 CPUtime=2510.44 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 41140 0 0 0 251036 8 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190779026632 140190374026838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 904 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15153204 memory=1564 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 259 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15153204 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 1230 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15153204 memory=2124 CPUtime=0.05 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 1125 0 0 0 3 2 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15153204 memory=23168 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15153204 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15153204 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15153204 memory=0 CPUtime=3.26 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 19846 0 0 0 323 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15153204 memory=106 CPUtime=3.91 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 26701 0 0 0 387 4 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.91 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 18959 0 0 0 88 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15153204 memory=318596 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15153204 memory=1448 CPUtime=1.06 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1408 0 0 0 55 51 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 320044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.51 s]
# the end of solver process 32426 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000759 s, system=0.001519 s
[startup+2510.51 s]
# the end of solver process 32428 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.28 s, system=0.761651 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2510.5 s]
/proc/loadavg: 1.00 1.06 1.40 2/207 32747
/proc/meminfo: memFree=25313844/32770624 swapFree=66956616/67108860
[pid=32426] ppid=32423 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32426/stat : 32426 (xcsp3-exec) S 32423 32426 31155 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 517725393 115843072 362 33554432000 4194304 5098028 140728271612768 140728271610872 140662628438652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13209600 140728271614843 140728271615085 140728271615085 140728271617994 0
/proc/32426/statm: 28282 362 304 221 0 87 0
[pid=32428] ppid=32426 vsize=15153204 memory=318596 CPUtime=2520.02 cores=0,2,4,6
/proc/32428/stat : 32428 (java) S 32426 32426 31155 0 -1 1077944320 113061 0 0 0 251927 75 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140727689288448 140190774787831 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
/proc/32428/statm: 3788301 79649 3518 1 0 3749401 0
[pid=32428/tid=32429] ppid=32426 vsize=15153204 memory=318596 CPUtime=2510.44 cores=0,2,4,6
/proc/32428/task/32429/stat : 32429 (java) R 32426 32426 31155 0 -1 4202560 41140 0 0 0 251036 8 0 0 20 0 15 0 517725393 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190779026632 140190374026838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32430] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32430/stat : 32430 (java) S 32426 32426 31155 0 -1 1077944384 904 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190686444176 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32431] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32431/stat : 32431 (java) S 32426 32426 31155 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190366558736 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32432] ppid=32426 vsize=15153204 memory=1564 CPUtime=0.07 cores=0,2,4,6
/proc/32428/task/32432/stat : 32432 (java) S 32426 32426 31155 0 -1 1077944384 259 0 0 0 4 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190365505936 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32433] ppid=32426 vsize=15153204 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/32428/task/32433/stat : 32433 (java) S 32426 32426 31155 0 -1 1077944384 1230 0 0 0 5 3 0 0 20 0 15 0 517725394 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190364453136 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32434] ppid=32426 vsize=15153204 memory=2124 CPUtime=0.05 cores=0,2,4,6
/proc/32428/task/32434/stat : 32434 (java) S 32426 32426 31155 0 -1 1077944384 1125 0 0 0 3 2 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190243359600 140190774798978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32435] ppid=32426 vsize=15153204 memory=23168 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32435/stat : 32435 (java) S 32426 32426 31155 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190242305568 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32436] ppid=32426 vsize=15153204 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32436/stat : 32436 (java) S 32426 32426 31155 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517725396 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190241252720 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32437] ppid=32426 vsize=15153204 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32437/stat : 32437 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190240201040 140190774806427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32438] ppid=32426 vsize=15153204 memory=0 CPUtime=3.26 cores=0,2,4,6
/proc/32428/task/32438/stat : 32438 (java) S 32426 32426 31155 0 -1 1077944384 19846 0 0 0 323 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190239148400 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32439] ppid=32426 vsize=15153204 memory=106 CPUtime=3.91 cores=0,2,4,6
/proc/32428/task/32439/stat : 32439 (java) S 32426 32426 31155 0 -1 1077944384 26701 0 0 0 387 4 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190238095600 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32440] ppid=32426 vsize=15153204 memory=1448 CPUtime=0.91 cores=0,2,4,6
/proc/32428/task/32440/stat : 32440 (java) S 32426 32426 31155 0 -1 1077944384 18959 0 0 0 88 3 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190237042800 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32441] ppid=32426 vsize=15153204 memory=318596 CPUtime=0 cores=0,2,4,6
/proc/32428/task/32441/stat : 32441 (java) S 32426 32426 31155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190235990240 140190774798037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
[pid=32428/tid=32442] ppid=32426 vsize=15153204 memory=1448 CPUtime=1.06 cores=0,2,4,6
/proc/32428/task/32442/stat : 32442 (java) S 32426 32426 31155 0 -1 1077944384 1408 0 0 0 55 51 0 0 20 0 15 0 517725399 15516880896 79649 33554432000 4194304 4196468 140727689305904 140190234938544 140190774798978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 37883904 140727689307119 140727689307290 140727689307290 140727689310159 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 320044 KiB
Child status: 143
Real time (s): 2510.51
CPU time (s): 2520.04
CPU user time (s): 2519.28
CPU system time (s): 0.761651
CPU usage (%): 100.38
Max. virtual memory (cumulated for all children) (KiB): 15268256
Max. memory (cumulated for all children) (KiB): 320044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.761651
maximum resident set size= 319160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58342
involuntary context switches= 727
# summary of solver processes directly reported to runsolver:
# pid: 32426,32428
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.28
# total CPU system time (s): 0.761651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.986 second user time and 25.4478 second system time
The end
Begin job on node151 at 2019-09-25 14:28:20 IDJOB=4406251 IDBENCH=141204 IDSOLVER=2869 FILE ID=node151/4406251-1569414541 RUNJOBID= node151-1569407845-31186 PBS_JOBID= 21705705 Free space on /tmp= 12388 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406251-1569414541/watcher-4406251-1569414541 -o /tmp/evaluation-result-4406251-1569414541/solver-4406251-1569414541 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569407845-31186 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 718747787 HOME/instance-4406251-1569414541.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=718747787 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23808864 kB MemAvailable: 30012180 kB Buffers: 91248 kB Cached: 6299964 kB SwapCached: 50652 kB Active: 4482500 kB Inactive: 3748456 kB Active(anon): 1788416 kB Inactive(anon): 105796 kB Active(file): 2694084 kB Inactive(file): 3642660 kB Unevictable: 108536 kB Mlocked: 108536 kB SwapTotal: 67108860 kB SwapFree: 66956612 kB Dirty: 26276 kB Writeback: 12 kB AnonPages: 1897784 kB Mapped: 68832 kB Shmem: 46076 kB Slab: 323680 kB SReclaimable: 295032 kB SUnreclaim: 28648 kB KernelStack: 3728 kB PageTables: 9392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4057372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1783808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12388 MiB End job on node151 at 2019-09-25 15:10:11