Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 56 | 2519.78 | 2520 |
Name | Opd/Opd-sum-large/ Opd-10-360-120.xml |
MD5SUM | 76b33169874d58bfc9aedd730e623c3c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 20056.5 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3601 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 329 |
Distribution of domain sizes | [{"size":2,"count":3600},{"size":329,"count":1}] |
Minimum variable degree | 11 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":11,"count":3600},{"degree":46,"count":1}] |
Minimum constraint arity | 360 |
Maximum constraint arity | 3600 |
Distribution of constraint arities | [{"arity":360,"count":10},{"arity":721,"count":45},{"arity":3600,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.08 c 280717 6.81/6.91 o 93 6.91/7.03 o 92 9.40/9.58 o 91 14.00/14.10 o 90 14.20/14.39 o 89 20.09/20.26 o 88 20.39/20.54 o 87 20.69/20.82 o 86 37.49/37.67 o 85 64.47/64.62 o 84 65.27/65.40 o 83 71.07/71.21 o 82 82.96/83.15 o 81 91.46/91.60 o 80 95.86/96.08 o 79 139.36/139.56 o 78 139.76/139.91 o 77 140.06/140.26 o 76 140.26/140.49 o 75 148.47/148.66 o 74 163.46/163.66 o 73 164.57/164.73 o 72 166.37/166.59 o 71 170.17/170.32 o 70 173.67/173.82 o 69 181.57/181.76 o 68 181.87/182.00 o 67 185.27/185.48 o 66 190.07/190.27 o 65 192.87/193.01 o 64 194.77/194.97 o 63 195.67/195.85 o 62 229.77/229.98 o 61 315.96/316.14 o 60 443.26/443.41 o 59 856.33/856.51 o 58 888.43/888.62 o 57 1314.82/1315.01 o 56 2519.77/2520.00 s SATISFIABLE 2519.77/2520.00 v <instantiation type="solution"> 2519.77/2520.00 v <list> z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[0][350] x[0][351] x[0][352] x[0][353] x[0][354] x[0][355] x[0][356] x[0][357] x[0][358] x[0][359] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[1][350] x[1][351] x[1][352] x[1][353] x[1][354] x[1][355] x[1][356] x[1][357] x[1][358] x[1][359] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[2][350] x[2][351] x[2][352] x[2][353] x[2][354] x[2][355] x[2][356] x[2][357] x[2][358] x[2][359] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[3][350] x[3][351] x[3][352] x[3][353] x[3][354] x[3][355] x[3][356] x[3][357] x[3][358] x[3][359] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[4][350] x[4][351] x[4][352] x[4][353] x[4][354] x[4][355] x[4][356] x[4][357] x[4][358] x[4][359] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[5][350] x[5][351] x[5][352] x[5][353] x[5][354] x[5][355] x[5][356] x[5][357] x[5][358] x[5][359] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[6][350] x[6][351] x[6][352] x[6][353] x[6][354] x[6][355] x[6][356] x[6][357] x[6][358] x[6][359] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[7][350] x[7][351] x[7][352] x[7][353] x[7][354] x[7][355] x[7][356] x[7][357] x[7][358] x[7][359] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[8][350] x[8][351] x[8][352] x[8][353] x[8][354] x[8][355] x[8][356] x[8][357] x[8][358] x[8][359] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[9][350] x[9][351] x[9][352] x[9][353] x[9][354] x[9][355] x[9][356] x[9][357] x[9][358] x[9][359] </list> 2519.77/2520.00 v <values> 56 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 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 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 </values> 2519.77/2520.00 v </instantiation>
OK 56
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261018-1502350759/watcher-4261018-1502350759 -o /tmp/evaluation-result-4261018-1502350759/solver-4261018-1502350759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 846144734 HOME/instance-4261018-1502350759.xml pid=28952 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.05 1/178 28955 /proc/meminfo: memFree=31731428/32770624 swapFree=0/361576 [pid=28955] ppid=28952 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/28955/stat : 28955 (runsolver) D 28952 28955 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 23416592 24240128 108 18446744073709551615 4194304 4338465 140736702087408 140736702085048 140171084419799 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 25976832 140736702095500 140736702095946 140736702095946 140736702099402 0 /proc/28955/statm: 5918 108 54 36 0 2156 0 [startup+0.100194 s] /proc/loadavg: 2.08 2.04 2.05 1/178 28955 /proc/meminfo: memFree=31731428/32770624 swapFree=0/361576 [pid=28955] ppid=28952 vsize=29604 CPUtime=0.01 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 1159 0 0 0 1 0 0 0 20 0 1 0 23416592 30314496 972 18446744073709551615 4194304 7396336 140721265880368 140721265877368 140420760893422 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 7401 972 608 782 0 417 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 29604 [startup+0.200336 s] /proc/loadavg: 2.08 2.04 2.05 1/178 28955 /proc/meminfo: memFree=31731428/32770624 swapFree=0/361576 [pid=28955] ppid=28952 vsize=49504 CPUtime=0.1 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 6544 0 0 0 10 0 0 0 20 0 1 0 23416592 50692096 6068 18446744073709551615 4194304 7396336 140721265880368 140721265877368 4565880 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 12376 6068 729 782 0 5392 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 49504 [startup+0.300381 s] /proc/loadavg: 2.08 2.04 2.05 1/178 28955 /proc/meminfo: memFree=31731428/32770624 swapFree=0/361576 [pid=28955] ppid=28952 vsize=61076 CPUtime=0.2 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 9496 0 0 0 20 0 0 0 20 0 1 0 23416592 62541824 8986 18446744073709551615 4194304 7396336 140721265880368 140721265877368 5920219 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 15269 8986 729 782 0 8285 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 61076 [startup+0.70029 s] /proc/loadavg: 2.08 2.04 2.05 1/178 28955 /proc/meminfo: memFree=31731428/32770624 swapFree=0/361576 [pid=28955] ppid=28952 vsize=91656 CPUtime=0.6 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 16864 0 0 0 59 1 0 0 20 0 1 0 23416592 93855744 16648 18446744073709551615 4194304 7396336 140721265880368 140721265877368 4566039 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 22914 16648 737 782 0 15930 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 91656 [startup+1.50028 s] /proc/loadavg: 2.07 2.04 2.05 2/175 29002 /proc/meminfo: memFree=31662088/32770624 swapFree=0/361584 [pid=28955] ppid=28952 vsize=113000 CPUtime=1.4 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 22315 0 0 0 138 2 0 0 20 0 1 0 23416592 115712000 21932 18446744073709551615 4194304 7396336 140721265880368 140721265871464 4566048 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 28250 21932 737 782 0 21266 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 113000 [startup+3.10028 s] /proc/loadavg: 2.07 2.04 2.05 3/181 29017 /proc/meminfo: memFree=31622896/32770624 swapFree=0/361604 [pid=28955] ppid=28952 vsize=146392 CPUtime=3 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 30671 0 0 0 297 3 0 0 20 0 1 0 23416592 149905408 30296 18446744073709551615 4194304 7396336 140721265880368 140721265871464 4566039 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 36598 30296 737 782 0 29614 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 146392 [startup+6.30034 s] /proc/loadavg: 2.07 2.04 2.05 3/181 29018 /proc/meminfo: memFree=31586472/32770624 swapFree=0/361596 [pid=28955] ppid=28952 vsize=159728 CPUtime=6.21 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 76018 0 0 0 615 6 0 0 20 0 1 0 23416592 163561472 33676 18446744073709551615 4194304 7396336 140721265880368 140721265874888 5586214 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39932 33676 770 782 0 32948 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 159728 [startup+12.7003 s] /proc/loadavg: 2.06 2.04 2.05 3/181 29018 /proc/meminfo: memFree=31585856/32770624 swapFree=0/361604 [pid=28955] ppid=28952 vsize=159728 CPUtime=12.6 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 100903 0 0 0 1253 7 0 0 20 0 1 0 23416592 163561472 33680 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165842 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39932 33680 774 782 0 32948 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 159728 [startup+25.5004 s] /proc/loadavg: 2.05 2.04 2.05 3/181 29018 /proc/meminfo: memFree=31586020/32770624 swapFree=0/361604 [pid=28955] ppid=28952 vsize=159728 CPUtime=25.39 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 136307 0 0 0 2531 8 0 0 20 0 1 0 23416592 163561472 33680 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165821 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39932 33680 774 782 0 32948 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 159728 [startup+51.1004 s] /proc/loadavg: 2.03 2.04 2.05 3/181 29018 /proc/meminfo: memFree=31586096/32770624 swapFree=0/361624 [pid=28955] ppid=28952 vsize=159728 CPUtime=50.97 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 145990 0 0 0 5088 9 0 0 20 0 1 0 23416592 163561472 33680 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39932 33680 774 782 0 32948 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 159728 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 29080 /proc/meminfo: memFree=31578932/32770624 swapFree=0/361680 [pid=28955] ppid=28952 vsize=159880 CPUtime=102.17 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 148146 0 0 0 10208 9 0 0 20 0 1 0 23416592 163717120 33718 18446744073709551615 4194304 7396336 140721265880368 140721265875384 4543814 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39970 33718 774 782 0 32986 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 159880 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 29082 /proc/meminfo: memFree=31578692/32770624 swapFree=0/361700 [pid=28955] ppid=28952 vsize=159880 CPUtime=162.16 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 149234 0 0 0 16207 9 0 0 20 0 1 0 23416592 163717120 33718 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5576665 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 39970 33718 774 782 0 32986 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 159880 [startup+222.306 s] /proc/loadavg: 2.00 2.02 2.05 3/181 29085 /proc/meminfo: memFree=31578108/32770624 swapFree=0/361740 [pid=28955] ppid=28952 vsize=160012 CPUtime=222.17 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 150354 0 0 0 22207 10 0 0 20 0 1 0 23416592 163852288 33741 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40003 33741 774 782 0 33019 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 160012 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29087 /proc/meminfo: memFree=31578548/32770624 swapFree=0/361740 [pid=28955] ppid=28952 vsize=160012 CPUtime=282.16 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 151206 0 0 0 28206 10 0 0 20 0 1 0 23416592 163852288 33767 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5649225 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40003 33767 774 782 0 33019 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 160012 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 29103 /proc/meminfo: memFree=31573644/32770624 swapFree=0/361808 [pid=28955] ppid=28952 vsize=160144 CPUtime=342.16 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 152329 0 0 0 34206 10 0 0 20 0 1 0 23416592 163987456 33778 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40036 33778 774 782 0 33052 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 160144 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 29105 /proc/meminfo: memFree=31575304/32770624 swapFree=0/361840 [pid=28955] ppid=28952 vsize=160144 CPUtime=402.16 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 153192 0 0 0 40206 10 0 0 20 0 1 0 23416592 163987456 33790 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40036 33790 774 782 0 33052 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 160144 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29107 /proc/meminfo: memFree=31576420/32770624 swapFree=0/361848 [pid=28955] ppid=28952 vsize=160144 CPUtime=462.15 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 154358 0 0 0 46205 10 0 0 20 0 1 0 23416592 163987456 33809 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40036 33809 774 782 0 33052 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 160144 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29109 /proc/meminfo: memFree=31576544/32770624 swapFree=0/361860 [pid=28955] ppid=28952 vsize=160144 CPUtime=522.15 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 155215 0 0 0 52205 10 0 0 20 0 1 0 23416592 163987456 33810 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40036 33810 774 782 0 33052 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 160144 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29111 /proc/meminfo: memFree=31577040/32770624 swapFree=0/361872 [pid=28955] ppid=28952 vsize=160144 CPUtime=582.15 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 156051 0 0 0 58205 10 0 0 20 0 1 0 23416592 163987456 33810 18446744073709551615 4194304 7396336 140721265880368 140721265875384 5165945 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40036 33810 774 782 0 33052 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 160144 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.10 2.04 2.05 3/183 29174 /proc/meminfo: memFree=31573252/32770624 swapFree=0/362188 [pid=28955] ppid=28952 vsize=160408 CPUtime=1602.1 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 171347 0 0 0 160199 11 0 0 20 0 1 0 23416592 164257792 33856 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33856 774 782 0 33118 0 Current children cumulated CPU time (s) 1602.1 Current children cumulated vsize (KiB) 160408 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.05 3/182 29176 /proc/meminfo: memFree=31575700/32770624 swapFree=0/362216 [pid=28955] ppid=28952 vsize=160408 CPUtime=1662.1 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 172009 0 0 0 166199 11 0 0 20 0 1 0 23416592 164257792 33862 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4246597 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33862 774 782 0 33118 0 Current children cumulated CPU time (s) 1662.1 Current children cumulated vsize (KiB) 160408 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 29178 /proc/meminfo: memFree=31575216/32770624 swapFree=0/362220 [pid=28955] ppid=28952 vsize=160408 CPUtime=1722.1 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 172674 0 0 0 172199 11 0 0 20 0 1 0 23416592 164257792 33868 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33868 774 782 0 33118 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 160408 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/182 29180 /proc/meminfo: memFree=31575092/32770624 swapFree=0/362248 [pid=28955] ppid=28952 vsize=160408 CPUtime=1782.09 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 173345 0 0 0 178198 11 0 0 20 0 1 0 23416592 164257792 33873 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33873 774 782 0 33118 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 160408 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 29183 /proc/meminfo: memFree=31574736/32770624 swapFree=0/362260 [pid=28955] ppid=28952 vsize=160408 CPUtime=1842.09 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 173997 0 0 0 184198 11 0 0 20 0 1 0 23416592 164257792 33874 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5772809 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33874 774 782 0 33118 0 Current children cumulated CPU time (s) 1842.09 Current children cumulated vsize (KiB) 160408 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29185 /proc/meminfo: memFree=31574860/32770624 swapFree=0/362292 [pid=28955] ppid=28952 vsize=160408 CPUtime=1902.09 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 174666 0 0 0 190198 11 0 0 20 0 1 0 23416592 164257792 33874 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4249707 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33874 774 782 0 33118 0 Current children cumulated CPU time (s) 1902.09 Current children cumulated vsize (KiB) 160408 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29187 /proc/meminfo: memFree=31574700/32770624 swapFree=0/362304 [pid=28955] ppid=28952 vsize=160408 CPUtime=1962.09 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 175339 0 0 0 196198 11 0 0 20 0 1 0 23416592 164257792 33875 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5586273 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33875 774 782 0 33118 0 Current children cumulated CPU time (s) 1962.09 Current children cumulated vsize (KiB) 160408 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29190 /proc/meminfo: memFree=31574948/32770624 swapFree=0/362328 [pid=28955] ppid=28952 vsize=160408 CPUtime=2022.08 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 176002 0 0 0 202197 11 0 0 20 0 1 0 23416592 164257792 33877 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165800 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33877 774 782 0 33118 0 Current children cumulated CPU time (s) 2022.08 Current children cumulated vsize (KiB) 160408 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29192 /proc/meminfo: memFree=31575072/32770624 swapFree=0/362340 [pid=28955] ppid=28952 vsize=160408 CPUtime=2082.09 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 176681 0 0 0 208198 11 0 0 20 0 1 0 23416592 164257792 33877 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4245088 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33877 774 782 0 33118 0 Current children cumulated CPU time (s) 2082.09 Current children cumulated vsize (KiB) 160408 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 29209 /proc/meminfo: memFree=31571664/32770624 swapFree=0/362372 [pid=28955] ppid=28952 vsize=160408 CPUtime=2142.08 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 177356 0 0 0 214197 11 0 0 20 0 1 0 23416592 164257792 33877 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5586242 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33877 774 782 0 33118 0 Current children cumulated CPU time (s) 2142.08 Current children cumulated vsize (KiB) 160408 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/185 29235 /proc/meminfo: memFree=31569764/32770624 swapFree=0/362412 [pid=28955] ppid=28952 vsize=160408 CPUtime=2202.08 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 178028 0 0 0 220197 11 0 0 20 0 1 0 23416592 164257792 33879 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4543840 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33879 774 782 0 33118 0 Current children cumulated CPU time (s) 2202.08 Current children cumulated vsize (KiB) 160408 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 29237 /proc/meminfo: memFree=31573184/32770624 swapFree=0/362428 [pid=28955] ppid=28952 vsize=160408 CPUtime=2262.07 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 178705 0 0 0 226196 11 0 0 20 0 1 0 23416592 164257792 33879 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5165928 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33879 774 782 0 33118 0 Current children cumulated CPU time (s) 2262.07 Current children cumulated vsize (KiB) 160408 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 29239 /proc/meminfo: memFree=31574536/32770624 swapFree=0/362436 [pid=28955] ppid=28952 vsize=160408 CPUtime=2322.08 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 179379 0 0 0 232196 12 0 0 20 0 1 0 23416592 164257792 33880 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5649755 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33880 774 782 0 33118 0 Current children cumulated CPU time (s) 2322.08 Current children cumulated vsize (KiB) 160408 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29241 /proc/meminfo: memFree=31575684/32770624 swapFree=0/362452 [pid=28955] ppid=28952 vsize=160408 CPUtime=2382.08 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 180055 0 0 0 238196 12 0 0 20 0 1 0 23416592 164257792 33880 18446744073709551615 4194304 7396336 140721265880368 140721265875000 5609892 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40102 33880 774 782 0 33118 0 Current children cumulated CPU time (s) 2382.08 Current children cumulated vsize (KiB) 160408 [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29244 /proc/meminfo: memFree=31574816/32770624 swapFree=0/362472 [pid=28955] ppid=28952 vsize=160540 CPUtime=2442.07 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 180734 0 0 0 244195 12 0 0 20 0 1 0 23416592 164392960 33882 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4320888 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40135 33882 774 782 0 33151 0 Current children cumulated CPU time (s) 2442.07 Current children cumulated vsize (KiB) 160540 [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29246 /proc/meminfo: memFree=31574900/32770624 swapFree=0/362484 [pid=28955] ppid=28952 vsize=160540 CPUtime=2502.07 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 181414 0 0 0 250195 12 0 0 20 0 1 0 23416592 164392960 33884 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4257617 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40135 33884 774 782 0 33151 0 Current children cumulated CPU time (s) 2502.07 Current children cumulated vsize (KiB) 160540 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.00 2.01 2.05 3/181 29246 /proc/meminfo: memFree=31575024/32770624 swapFree=0/362496 [pid=28955] ppid=28952 vsize=160540 CPUtime=2519.77 cores=0,2,4,6 /proc/28955/stat : 28955 (MistralXCSP) R 28952 28955 6971 0 -1 4202496 181743 0 0 0 251965 12 0 0 20 0 1 0 23416592 164392960 33884 18446744073709551615 4194304 7396336 140721265880368 140721265875000 4547248 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16703488 140721265881524 140721265881673 140721265881673 140721265885129 0 /proc/28955/statm: 40135 33884 774 782 0 33151 0 Current children cumulated CPU time (s) 2519.77 Current children cumulated vsize (KiB) 160540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 28955 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.78 CPU user time (s): 2519.66 CPU system time (s): 0.122994 CPU usage (%): 99.9912 Max. virtual memory (cumulated for all children) (KiB): 160540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.66 system time used= 0.122994 maximum resident set size= 135556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181780 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57 involuntary context switches= 3151 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.22346 second user time and 9.8792 second system time The end
Begin job on node124 at 2017-08-10 09:25:03 IDJOB=4261018 IDBENCH=122969 IDSOLVER=2649 FILE ID=node124/4261018-1502350759 RUNJOBID= node124-1502334771-27114 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-360-120.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261018-1502350759/watcher-4261018-1502350759 -o /tmp/evaluation-result-4261018-1502350759/solver-4261018-1502350759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 846144734 HOME/instance-4261018-1502350759.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 76b33169874d58bfc9aedd730e623c3c RANDOM SEED=846144734 node124.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.51 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.51 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.51 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.51 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: 31731168 kB MemAvailable: 32021232 kB Buffers: 166244 kB Cached: 413480 kB SwapCached: 0 kB Active: 252740 kB Inactive: 378344 kB Active(anon): 51684 kB Inactive(anon): 16768 kB Active(file): 201056 kB Inactive(file): 361576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11472 kB Writeback: 8 kB AnonPages: 51596 kB Mapped: 34956 kB Shmem: 17128 kB Slab: 111152 kB SReclaimable: 86532 kB SUnreclaim: 24620 kB KernelStack: 3200 kB PageTables: 4400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308420 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62020 MiB End job on node124 at 2017-08-10 10:07:03