Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 1327 | 2400.05 | 2400.7 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml |
MD5SUM | f0cf802901bcec45e39016390e9d5929 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1327 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2550 |
Number of constraints | 2499 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}] |
Minimum variable degree | 0 |
Maximum variable degree | 97 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 49 |
Distribution of constraint arities | [{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 49 |
Distribution of constraint types | [{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.03 c Mistral-2017-06-28 0.65/0.70 o 5726 0.65/0.70 o 5622 0.65/0.70 o 5588 0.65/0.70 o 5550 0.65/0.71 o 5536 0.65/0.71 o 5531 0.65/0.71 o 5503 0.65/0.73 o 5498 0.65/0.75 o 5394 0.65/0.76 o 5393 1.06/1.16 o 5337 1.06/1.16 o 5336 1.06/1.18 o 5261 1.06/1.18 o 5252 1.06/1.18 o 5251 1.06/1.19 o 5247 1.06/1.19 o 5243 1.16/1.26 o 5217 1.16/1.26 o 5212 1.16/1.26 o 5184 1.16/1.27 o 5182 1.16/1.27 o 5181 1.25/1.35 o 5180 1.25/1.37 o 5131 1.25/1.38 o 5111 1.25/1.38 o 5066 1.75/1.84 o 4956 1.75/1.84 o 4953 1.75/1.85 o 4940 1.75/1.85 o 4852 1.75/1.85 o 4836 1.75/1.86 o 4744 1.75/1.89 o 4735 1.75/1.90 o 4734 2.06/2.16 o 4713 2.06/2.17 o 4694 2.06/2.17 o 4659 2.06/2.18 o 4639 2.06/2.18 o 4618 2.06/2.19 o 4608 2.06/2.19 o 4602 2.17/2.21 o 4597 2.17/2.22 o 4579 2.17/2.24 o 4570 2.17/2.25 o 4565 2.17/2.26 o 4564 2.17/2.26 o 4560 2.17/2.28 o 4552 2.27/2.32 o 4544 2.27/2.33 o 4523 2.27/2.38 o 4483 2.36/2.40 o 4477 2.36/2.41 o 4463 2.36/2.42 o 4461 2.36/2.42 o 4420 2.36/2.42 o 4414 2.36/2.44 o 4411 2.36/2.45 o 4410 2.36/2.46 o 4406 2.36/2.46 o 4405 2.56/2.62 o 4403 2.76/2.89 o 4380 2.96/3.05 o 4375 2.96/3.06 o 4245 2.96/3.06 o 4205 2.96/3.07 o 4133 3.16/3.21 o 4132 3.27/3.31 o 4129 3.27/3.36 o 4123 3.56/3.65 o 4046 3.56/3.67 o 4044 3.56/3.68 o 4029 3.56/3.68 o 3953 3.56/3.68 o 3932 3.56/3.68 o 3930 3.56/3.68 o 3929 3.56/3.69 o 3891 3.56/3.69 o 3889 3.66/3.70 o 3885 3.66/3.70 o 3879 3.66/3.71 o 3850 3.66/3.72 o 3848 3.66/3.72 o 3847 3.76/3.89 o 3840 3.86/3.90 o 3830 3.86/3.91 o 3795 3.86/3.92 o 3792 3.86/3.92 o 3789 3.86/3.95 o 3787 3.86/3.95 o 3766 3.86/3.95 o 3765 3.86/3.97 o 3764 3.96/4.01 o 3739 3.96/4.01 o 3735 3.96/4.02 o 3701 3.96/4.04 o 3700 4.06/4.18 o 3697 4.16/4.21 o 3693 4.16/4.26 o 3691 4.26/4.37 o 3689 4.37/4.50 o 3683 4.37/4.50 o 3681 4.47/4.53 o 3675 4.47/4.54 o 3665 5.06/5.13 o 3663 5.06/5.13 o 3655 5.06/5.14 o 3644 5.06/5.16 o 3552 5.06/5.19 o 3548 5.16/5.21 o 3546 5.16/5.21 o 3545 5.47/5.51 o 3543 5.86/5.97 o 3537 5.86/5.97 o 3534 5.86/5.99 o 3514 5.86/5.99 o 3485 5.86/5.99 o 3464 5.96/6.06 o 3457 6.16/6.20 o 3452 6.16/6.20 o 3446 6.16/6.21 o 3419 6.16/6.21 o 3416 6.16/6.29 o 3395 6.16/6.29 o 3376 6.16/6.29 o 3355 6.16/6.29 o 3354 6.26/6.33 o 3353 6.26/6.37 o 3347 6.26/6.38 o 3344 6.26/6.38 o 3337 6.36/6.40 o 3336 6.36/6.42 o 3335 6.36/6.47 o 3313 6.36/6.47 o 3286 6.36/6.48 o 3279 6.36/6.49 o 3271 6.46/6.57 o 3258 6.46/6.58 o 3246 6.46/6.58 o 3245 6.57/6.65 o 3195 6.57/6.66 o 3185 6.57/6.66 o 3175 6.57/6.67 o 3126 6.57/6.68 o 3121 6.57/6.68 o 3120 6.57/6.69 o 3068 6.57/6.69 o 3058 6.57/6.70 o 3043 6.67/6.71 o 3042 6.67/6.79 o 3015 6.76/6.80 o 2977 6.76/6.80 o 2976 6.76/6.81 o 2974 6.86/6.91 o 2964 7.06/7.19 o 2963 7.06/7.19 o 2961 7.16/7.20 o 2959 7.16/7.27 o 2955 7.16/7.27 o 2951 7.26/7.32 o 2938 7.36/7.41 o 2933 7.36/7.44 o 2932 7.46/7.54 o 2901 7.46/7.54 o 2880 7.46/7.56 o 2841 7.46/7.57 o 2839 7.56/7.64 o 2832 7.56/7.65 o 2813 7.56/7.65 o 2808 7.56/7.66 o 2807 7.67/7.72 o 2801 7.67/7.72 o 2797 7.67/7.73 o 2791 7.67/7.77 o 2766 7.67/7.77 o 2762 7.67/7.77 o 2720 7.67/7.78 o 2719 7.67/7.78 o 2693 7.67/7.79 o 2691 7.67/7.79 o 2687 7.77/7.81 o 2684 7.77/7.88 o 2622 7.77/7.90 o 2617 7.86/7.90 o 2616 8.06/8.12 o 2597 8.06/8.18 o 2586 8.06/8.18 o 2517 8.06/8.18 o 2497 8.06/8.19 o 2470 8.16/8.20 o 2469 8.16/8.22 o 2447 8.16/8.22 o 2446 8.16/8.23 o 2408 8.26/8.30 o 2389 8.26/8.32 o 2377 8.26/8.32 o 2336 8.26/8.32 o 2317 8.26/8.37 o 2315 8.36/8.43 o 2307 8.46/8.54 o 2298 8.46/8.54 o 2266 8.46/8.55 o 2247 8.56/8.66 o 2246 8.56/8.66 o 2221 8.56/8.69 o 2214 8.66/8.77 o 2205 8.66/8.77 o 2197 8.66/8.78 o 2181 8.87/8.95 o 2162 8.87/8.97 o 2160 8.87/8.98 o 2155 8.96/9.02 o 2153 8.96/9.03 o 2134 8.96/9.04 o 2115 8.96/9.04 o 2113 8.96/9.05 o 2088 9.06/9.17 o 2070 9.06/9.18 o 2068 9.06/9.18 o 2063 9.16/9.24 o 2056 9.26/9.38 o 2052 9.26/9.39 o 2051 9.36/9.48 o 2044 9.36/9.49 o 2041 9.56/9.61 o 2011 10.06/10.10 o 2010 10.86/11.00 o 1974 10.96/11.00 o 1942 10.96/11.01 o 1932 10.96/11.01 o 1896 10.96/11.04 o 1894 11.16/11.27 o 1837 11.26/11.31 o 1830 11.26/11.32 o 1828 11.36/11.45 o 1826 12.36/12.42 o 1821 12.76/12.85 o 1819 13.16/13.28 o 1818 13.16/13.28 o 1798 13.26/13.37 o 1768 13.55/13.65 o 1767 13.65/13.78 o 1763 13.75/13.86 o 1709 14.15/14.23 o 1707 14.15/14.23 o 1706 14.45/14.54 o 1688 14.45/14.54 o 1674 14.45/14.57 o 1673 14.75/14.80 o 1643 14.75/14.80 o 1634 15.25/15.38 o 1624 15.25/15.39 o 1614 15.36/15.41 o 1613 15.65/15.76 o 1612 15.65/15.79 o 1611 15.95/16.01 o 1608 15.95/16.02 o 1606 15.95/16.02 o 1602 15.95/16.07 o 1599 15.95/16.08 o 1598 17.56/17.65 o 1586 19.65/19.80 o 1584 20.15/20.28 o 1577 20.45/20.57 o 1575 20.55/20.63 o 1573 21.05/21.14 o 1565 24.64/24.71 o 1554 29.44/29.54 o 1553 35.15/35.28 o 1551 35.54/35.67 o 1548 36.84/36.92 o 1547 36.84/36.97 o 1546 38.94/39.08 o 1543 39.65/39.73 o 1541 42.14/42.27 o 1538 44.05/44.15 o 1536 44.14/44.22 o 1528 44.44/44.53 o 1527 45.74/45.89 o 1523 45.94/46.08 o 1522 47.25/47.35 o 1520 58.54/58.68 o 1518 60.64/60.72 o 1517 62.33/62.48 o 1514 64.13/64.20 o 1493 70.63/70.73 o 1483 70.63/70.73 o 1478 73.03/73.19 o 1471 76.03/76.16 o 1465 77.23/77.36 o 1464 77.33/77.48 o 1463 77.63/77.70 o 1460 78.73/78.84 o 1459 83.33/83.44 o 1454 86.73/86.83 o 1453 87.13/87.26 o 1452 88.63/88.74 o 1449 92.63/92.77 o 1448 94.43/94.51 o 1447 99.32/99.47 o 1395 116.32/116.43 o 1394 139.62/139.80 o 1391 152.21/152.32 o 1390 152.21/152.35 o 1389 159.91/160.07 o 1388 170.21/170.33 o 1387 204.90/205.09 o 1386 215.09/215.26 o 1385 217.80/217.97 o 1376 218.19/218.34 o 1373 220.69/220.89 o 1366 221.79/221.94 o 1360 225.29/225.44 o 1344 254.38/254.57 o 1340 268.68/268.85 o 1334 268.68/268.86 o 1330 317.97/318.12 o 1328 340.76/340.93 o 1327 2400.04/2400.70 s SATISFIABLE 2400.04/2400.70 v <instantiation type="solution"> 2400.04/2400.70 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] </list> 2400.04/2400.70 v <values> 0 0 0 1 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 97 100 5 94 85 13 28 84 94 12 10 9 28 100 100 36 67 83 47 46 34 96 56 44 51 71 70 83 71 36 32 21 16 85 14 82 7 76 32 96 73 55 64 99 52 92 69 3 61 </values> 2400.04/2400.70 v </instantiation>
OK 1327
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-4240921-1500648178/watcher-4240921-1500648178 -o /tmp/evaluation-result-4240921-1500648178/solver-4240921-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2479 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240921-1500648178.xml pid=2492 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.00 0.03 0.06 2/238 2497 /proc/meminfo: memFree=32079448/32770624 swapFree=5956/201296 [pid=2497] ppid=2492 vsize=3436 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 1077936128 164 0 0 0 0 0 0 0 20 0 1 0 85509 3518464 1 33554432000 4194304 7402444 140722648760304 140722648757592 140228822357703 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 859 1 0 784 0 39 0 [startup+0.100131 s] /proc/loadavg: 0.00 0.03 0.06 2/238 2497 /proc/meminfo: memFree=32079448/32770624 swapFree=5956/201296 [pid=2497] ppid=2492 vsize=36088 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 2873 0 3 0 6 0 0 0 20 0 1 0 85509 36954112 2628 33554432000 4194304 7402444 140722648760304 140722648750296 4731480 0 0 4096 0 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 9022 2628 677 784 0 2036 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36088 [startup+0.200385 s] /proc/loadavg: 0.00 0.03 0.06 2/238 2497 /proc/meminfo: memFree=32079448/32770624 swapFree=5956/201296 [pid=2497] ppid=2492 vsize=40868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 4221 0 3 0 15 0 0 0 20 0 1 0 85509 41848832 3840 33554432000 4194304 7402444 140722648760304 140722648750904 5959202 0 0 4096 0 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 10217 3840 687 784 0 3231 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 40868 [startup+0.300305 s] /proc/loadavg: 0.00 0.03 0.06 2/238 2497 /proc/meminfo: memFree=32079448/32770624 swapFree=5956/201296 [pid=2497] ppid=2492 vsize=43780 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 5063 0 3 0 25 0 0 0 20 0 1 0 85509 44830720 4584 33554432000 4194304 7402444 140722648760304 140722648753544 4731480 0 0 4096 0 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 10945 4584 687 784 0 3959 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 43780 [startup+0.700205 s] /proc/loadavg: 0.00 0.03 0.06 2/238 2497 /proc/meminfo: memFree=32079448/32770624 swapFree=5956/201296 [pid=2497] ppid=2492 vsize=48280 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 6281 0 3 0 65 0 0 0 20 0 1 0 85509 49438720 5771 33554432000 4194304 7402444 140722648760304 140722648754952 4466976 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5771 773 784 0 5084 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 48280 [startup+1.50028 s] /proc/loadavg: 0.24 0.08 0.08 3/245 2511 /proc/meminfo: memFree=32022980/32770624 swapFree=5956/197788 [pid=2497] ppid=2492 vsize=48280 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 6292 0 3 0 145 0 0 0 20 0 1 0 85509 49438720 5771 33554432000 4194304 7402444 140722648760304 140722648755320 5696137 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5771 773 784 0 5084 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 48280 [startup+3.10031 s] /proc/loadavg: 0.24 0.08 0.08 3/245 2511 /proc/meminfo: memFree=32020604/32770624 swapFree=5956/197524 [pid=2497] ppid=2492 vsize=48280 CPUtime=3.06 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 9726 0 3 0 305 1 0 0 20 0 1 0 85509 49438720 5835 33554432000 4194304 7402444 140722648760304 140722648755320 4465470 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5835 784 784 0 5084 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 48280 [startup+6.30028 s] /proc/loadavg: 0.54 0.15 0.10 3/245 2511 /proc/meminfo: memFree=32021184/32770624 swapFree=5956/197392 [pid=2497] ppid=2492 vsize=48280 CPUtime=6.26 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 13167 0 3 0 625 1 0 0 20 0 1 0 85509 49438720 5835 33554432000 4194304 7402444 140722648760304 140722648755320 4312706 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5835 784 784 0 5084 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 48280 [startup+12.7003 s] /proc/loadavg: 0.74 0.19 0.11 3/245 2511 /proc/meminfo: memFree=32020068/32770624 swapFree=5956/197392 [pid=2497] ppid=2492 vsize=48280 CPUtime=12.66 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 16629 0 3 0 1265 1 0 0 20 0 1 0 85509 49438720 5835 33554432000 4194304 7402444 140722648760304 140722648755320 4470167 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5835 784 784 0 5084 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 48280 [startup+25.5003 s] /proc/loadavg: 1.02 0.28 0.14 3/245 2511 /proc/meminfo: memFree=32021184/32770624 swapFree=5956/197416 [pid=2497] ppid=2492 vsize=48280 CPUtime=25.44 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 20407 0 3 0 2543 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4466927 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 48280 [startup+51.1003 s] /proc/loadavg: 1.35 0.42 0.19 3/245 2514 /proc/meminfo: memFree=32019724/32770624 swapFree=5956/198288 [pid=2497] ppid=2492 vsize=48280 CPUtime=51.04 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 20773 0 3 0 5103 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463923 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 48280 [startup+102.3 s] /proc/loadavg: 1.72 0.66 0.29 3/245 2515 /proc/meminfo: memFree=32020948/32770624 swapFree=5956/198388 [pid=2497] ppid=2492 vsize=48280 CPUtime=102.23 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 21124 0 3 0 10222 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4465465 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 48280 [startup+162.3 s] /proc/loadavg: 1.97 0.92 0.40 3/245 2516 /proc/meminfo: memFree=32021584/32770624 swapFree=5956/198428 [pid=2497] ppid=2492 vsize=48280 CPUtime=162.21 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 21478 0 3 0 16220 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463905 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 48280 [startup+222.308 s] /proc/loadavg: 2.03 1.13 0.51 3/245 2517 /proc/meminfo: memFree=32021544/32770624 swapFree=5956/198508 [pid=2497] ppid=2492 vsize=48280 CPUtime=222.2 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 21826 0 3 0 22219 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750740 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 48280 [startup+282.3 s] /proc/loadavg: 2.01 1.29 0.60 3/245 2518 /proc/meminfo: memFree=32021652/32770624 swapFree=5956/198560 [pid=2497] ppid=2492 vsize=48280 CPUtime=282.18 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 22167 0 3 0 28217 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5327238 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 48280 [startup+342.3 s] /proc/loadavg: 2.00 1.42 0.69 3/244 2519 /proc/meminfo: memFree=32022288/32770624 swapFree=5956/198624 [pid=2497] ppid=2492 vsize=48280 CPUtime=342.16 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 22516 0 3 0 34215 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463919 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 48280 [startup+402.3 s] /proc/loadavg: 2.06 1.54 0.78 3/243 2520 /proc/meminfo: memFree=32022576/32770624 swapFree=5956/198656 [pid=2497] ppid=2492 vsize=48280 CPUtime=402.15 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 22840 0 3 0 40214 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4466912 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 48280 [startup+462.3 s] /proc/loadavg: 2.02 1.62 0.85 3/243 2528 /proc/meminfo: memFree=32022780/32770624 swapFree=5956/198728 [pid=2497] ppid=2492 vsize=48280 CPUtime=462.13 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 23166 0 3 0 46212 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463859 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 48280 [startup+522.3 s] /proc/loadavg: 2.01 1.69 0.92 3/243 2529 /proc/meminfo: memFree=32022784/32770624 swapFree=5956/198764 [pid=2497] ppid=2492 vsize=48280 CPUtime=522.12 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 23492 0 3 0 52211 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750711 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 48280 [startup+582.3 s] /proc/loadavg: 2.00 1.75 0.99 3/243 2530 /proc/meminfo: memFree=32022992/32770624 swapFree=5956/198808 [pid=2497] ppid=2492 vsize=48280 CPUtime=582.1 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 23807 0 3 0 58209 1 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4747059 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 48280 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.65 3/243 2577 /proc/meminfo: memFree=32020388/32770624 swapFree=5956/199368 [pid=2497] ppid=2492 vsize=48280 CPUtime=1541.87 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 28944 0 3 0 154185 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4467238 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 48280 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.67 3/243 2578 /proc/meminfo: memFree=32020004/32770624 swapFree=5956/199404 [pid=2497] ppid=2492 vsize=48280 CPUtime=1601.85 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 29275 0 3 0 160183 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750706 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 48280 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.69 3/243 2586 /proc/meminfo: memFree=32019464/32770624 swapFree=5956/199444 [pid=2497] ppid=2492 vsize=48280 CPUtime=1661.83 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 29605 0 3 0 166181 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4465443 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 48280 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.71 3/243 2587 /proc/meminfo: memFree=32020468/32770624 swapFree=5956/199472 [pid=2497] ppid=2492 vsize=48280 CPUtime=1721.82 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 29936 0 3 0 172180 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463923 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 48280 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.73 3/243 2588 /proc/meminfo: memFree=32019820/32770624 swapFree=5956/199500 [pid=2497] ppid=2492 vsize=48280 CPUtime=1781.8 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 30259 0 3 0 178178 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4747698 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 48280 [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.74 3/243 2589 /proc/meminfo: memFree=32019600/32770624 swapFree=5956/199536 [pid=2497] ppid=2492 vsize=48280 CPUtime=1841.79 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 30577 0 3 0 184177 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4470256 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1841.79 Current children cumulated vsize (KiB) 48280 [startup+1902.3 s] /proc/loadavg: 2.08 2.00 1.77 3/243 2590 /proc/meminfo: memFree=32020608/32770624 swapFree=5956/199568 [pid=2497] ppid=2492 vsize=48280 CPUtime=1901.77 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 30913 0 3 0 190175 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750448 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1901.77 Current children cumulated vsize (KiB) 48280 [startup+1962.3 s] /proc/loadavg: 2.03 2.00 1.78 3/243 2591 /proc/meminfo: memFree=32018316/32770624 swapFree=5956/199604 [pid=2497] ppid=2492 vsize=48280 CPUtime=1961.76 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 31235 0 3 0 196174 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463814 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 1961.76 Current children cumulated vsize (KiB) 48280 [startup+2022.3 s] /proc/loadavg: 2.01 2.00 1.79 3/243 2592 /proc/meminfo: memFree=32019276/32770624 swapFree=5956/199644 [pid=2497] ppid=2492 vsize=48280 CPUtime=2021.74 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 31567 0 3 0 202172 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750479 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2021.74 Current children cumulated vsize (KiB) 48280 [startup+2082.3 s] /proc/loadavg: 2.00 2.00 1.80 3/243 2593 /proc/meminfo: memFree=32018724/32770624 swapFree=5956/199668 [pid=2497] ppid=2492 vsize=48280 CPUtime=2081.73 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 31895 0 3 0 208171 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5750740 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2081.73 Current children cumulated vsize (KiB) 48280 [startup+2142.3 s] /proc/loadavg: 2.06 2.02 1.82 3/243 2594 /proc/meminfo: memFree=32018452/32770624 swapFree=5956/199700 [pid=2497] ppid=2492 vsize=48280 CPUtime=2141.71 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 32223 0 3 0 214169 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4709390 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2141.71 Current children cumulated vsize (KiB) 48280 [startup+2202.31 s] /proc/loadavg: 2.06 2.03 1.84 3/243 2595 /proc/meminfo: memFree=32019168/32770624 swapFree=5956/199720 [pid=2497] ppid=2492 vsize=48280 CPUtime=2201.7 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 32550 0 3 0 220168 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4466947 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2201.7 Current children cumulated vsize (KiB) 48280 [startup+2262.3 s] /proc/loadavg: 2.02 2.02 1.85 3/244 2604 /proc/meminfo: memFree=32018264/32770624 swapFree=5956/199756 [pid=2497] ppid=2492 vsize=48280 CPUtime=2261.68 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 32877 0 3 0 226166 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463889 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2261.68 Current children cumulated vsize (KiB) 48280 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 1.86 3/244 2605 /proc/meminfo: memFree=32019520/32770624 swapFree=5956/199788 [pid=2497] ppid=2492 vsize=48280 CPUtime=2321.66 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 33203 0 3 0 232164 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4463923 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2321.66 Current children cumulated vsize (KiB) 48280 [startup+2382.3 s] /proc/loadavg: 2.08 2.03 1.87 3/244 2606 /proc/meminfo: memFree=32020604/32770624 swapFree=5956/199824 [pid=2497] ppid=2492 vsize=48280 CPUtime=2381.64 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 33530 0 3 0 238162 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 4465470 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2381.64 Current children cumulated vsize (KiB) 48280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.7 s] /proc/loadavg: 2.06 2.03 1.88 3/244 2606 /proc/meminfo: memFree=32018692/32770624 swapFree=5956/199828 [pid=2497] ppid=2492 vsize=48280 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 33793 0 3 0 240002 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5758642 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 48280 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 2497 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.7 s] /proc/loadavg: 2.06 2.03 1.88 3/244 2606 /proc/meminfo: memFree=32018692/32770624 swapFree=5956/199828 [pid=2497] ppid=2492 vsize=48280 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15 /proc/2497/stat : 2497 (MistralXCSP) R 2492 2497 2447 0 -1 4202496 33793 0 3 0 240002 2 0 0 20 0 1 0 85509 49438720 5848 33554432000 4194304 7402444 140722648760304 140722648755320 5758642 0 0 4096 16386 0 0 0 17 11 0 0 1 0 0 9500608 9505824 34648064 140722648761513 140722648761662 140722648761662 140722648764361 0 /proc/2497/statm: 12070 5848 786 784 0 5084 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 48280 Child status: 0 Real time (s): 2400.7 CPU time (s): 2400.05 CPU user time (s): 2400.03 CPU system time (s): 0.026993 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 48280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.026993 maximum resident set size= 23416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33831 page faults= 3 swaps= 0 block input operations= 3320 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27 involuntary context switches= 120791 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.04593 second user time and 13.4729 second system time The end
Begin job on node127 at 2017-07-21 16:42:58 IDJOB=4240921 IDBENCH=124431 IDSOLVER=2622 FILE ID=node127/4240921-1500648178 RUNJOBID= node127-1500648174-2479 PBS_JOBID= 20623293 Free space on /tmp= 61984 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.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-4240921-1500648178/watcher-4240921-1500648178 -o /tmp/evaluation-result-4240921-1500648178/solver-4240921-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2479 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240921-1500648178.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929 RANDOM SEED=195319193 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32083576 kB MemAvailable: 32028140 kB Buffers: 26492 kB Cached: 231816 kB SwapCached: 0 kB Active: 106400 kB Inactive: 207572 kB Active(anon): 58800 kB Inactive(anon): 8544 kB Active(file): 47600 kB Inactive(file): 199028 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5844 kB Writeback: 0 kB AnonPages: 62348 kB Mapped: 28128 kB Shmem: 8840 kB Slab: 58164 kB SReclaimable: 27540 kB SUnreclaim: 30624 kB KernelStack: 4080 kB PageTables: 4780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61972 MiB End job on node127 at 2017-07-21 17:22:59