Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 476 | 2400.08 | 2402 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml |
MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 476 |
Best CPU time to get the best result obtained on this benchmark | 2400.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1639 |
Number of constraints | 858 |
Number of domains | 79 |
Minimum domain size | 2 |
Maximum domain size | 79 |
Distribution of domain sizes | [{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 39 |
Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 40 |
Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 819 |
Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
Optimization problem | YES |
Type of objective | min SUM |
1.39/1.40 o 20540 1.39/1.41 o 17576 1.39/1.41 o 17432 1.39/1.42 o 15060 1.39/1.43 o 14916 1.39/1.44 o 14780 1.39/1.45 o 12960 1.39/1.46 o 12800 1.39/1.47 o 12664 1.39/1.48 o 12552 1.39/1.49 o 11244 1.49/1.50 o 11068 1.49/1.51 o 10932 1.49/1.52 o 10804 1.49/1.53 o 10716 1.49/1.53 o 9880 1.49/1.54 o 9688 1.49/1.55 o 9536 1.49/1.56 o 9408 1.49/1.57 o 9304 1.49/1.58 o 9240 1.49/1.59 o 8836 1.59/1.60 o 8628 1.59/1.62 o 8460 1.59/1.63 o 8332 1.59/1.64 o 8212 1.59/1.65 o 8132 1.59/1.65 o 8092 1.59/1.66 o 8080 1.59/1.68 o 8060 1.59/1.69 o 7980 1.69/1.70 o 7908 1.69/1.71 o 7856 1.69/1.72 o 7836 1.69/1.73 o 7764 1.69/1.74 o 7672 1.69/1.75 o 7660 1.69/1.76 o 7528 1.69/1.77 o 7408 1.69/1.78 o 7312 1.69/1.79 o 7256 1.79/1.80 o 7240 1.79/1.83 o 7144 1.79/1.84 o 7088 1.79/1.84 o 7040 1.79/1.87 o 7016 1.79/1.87 o 6928 1.79/1.88 o 6880 1.89/1.90 o 6864 1.89/1.91 o 6808 1.89/1.92 o 6760 1.89/1.93 o 6696 1.89/1.94 o 6648 1.89/1.95 o 6624 1.89/1.96 o 6576 1.89/1.97 o 6544 1.99/2.01 o 6520 1.99/2.02 o 6512 1.99/2.03 o 6432 1.99/2.04 o 6400 1.99/2.05 o 6344 1.99/2.08 o 6328 1.99/2.09 o 6296 2.09/2.10 o 6232 2.09/2.11 o 6208 2.09/2.13 o 6184 2.09/2.14 o 6136 2.09/2.15 o 6112 2.09/2.17 o 6096 2.09/2.18 o 6080 2.09/2.19 o 6048 2.09/2.20 o 6024 2.19/2.21 o 6020 2.19/2.22 o 6000 2.19/2.23 o 5996 2.19/2.24 o 5960 2.19/2.25 o 5948 2.19/2.26 o 5924 2.19/2.27 o 5900 2.19/2.28 o 5876 2.19/2.29 o 5868 2.30/2.37 o 5836 2.30/2.38 o 5808 2.30/2.39 o 5764 2.39/2.40 o 5756 2.39/2.41 o 5716 2.39/2.42 o 5684 2.39/2.43 o 5676 2.39/2.49 o 5660 2.49/2.50 o 5656 2.49/2.51 o 5588 2.49/2.52 o 5564 2.49/2.53 o 5524 2.49/2.56 o 5516 2.49/2.57 o 5508 2.49/2.58 o 5452 2.49/2.59 o 5412 2.59/2.62 o 5388 2.59/2.63 o 5364 2.59/2.64 o 5348 2.59/2.65 o 5308 2.59/2.67 o 5268 2.59/2.68 o 5244 2.59/2.69 o 5236 2.69/2.70 o 5220 2.79/2.85 o 5212 2.79/2.86 o 5140 2.79/2.87 o 5132 2.79/2.88 o 5092 2.89/2.90 o 5076 2.89/2.91 o 5052 2.99/3.00 o 5044 2.99/3.02 o 5020 2.99/3.03 o 4996 2.99/3.04 o 4980 2.99/3.05 o 4940 2.99/3.07 o 4932 2.99/3.07 o 4924 2.99/3.08 o 4908 3.09/3.15 o 4876 3.09/3.16 o 4844 3.09/3.17 o 4804 3.09/3.18 o 4788 3.19/3.23 o 4756 3.19/3.24 o 4740 3.19/3.25 o 4724 3.19/3.26 o 4708 3.19/3.28 o 4668 3.49/3.54 o 4652 3.49/3.59 o 4612 3.59/3.60 o 4572 3.59/3.63 o 4556 3.59/3.64 o 4532 3.59/3.65 o 4508 3.79/3.84 o 4468 3.79/3.86 o 4452 3.79/3.88 o 4436 3.79/3.89 o 4428 3.89/3.90 o 4404 3.89/3.92 o 4396 3.89/3.93 o 4392 3.89/3.94 o 4384 3.99/4.05 o 4356 3.99/4.07 o 4340 3.99/4.08 o 4332 3.99/4.09 o 4292 4.09/4.11 o 4288 4.09/4.12 o 4272 4.09/4.13 o 4264 4.19/4.21 o 4252 4.19/4.22 o 4244 4.19/4.23 o 4240 4.19/4.24 o 4216 4.19/4.25 o 4192 4.19/4.26 o 4184 4.29/4.30 o 4168 4.29/4.31 o 4152 4.29/4.33 o 4120 4.29/4.34 o 4112 4.29/4.36 o 4088 4.29/4.37 o 4080 4.89/4.90 o 4056 4.89/4.91 o 4040 4.89/4.95 o 4024 4.89/4.97 o 4000 4.89/4.98 o 3992 5.00/5.00 o 3976 5.00/5.01 o 3968 5.00/5.03 o 3952 5.00/5.04 o 3936 5.39/5.40 o 3920 5.39/5.41 o 3912 5.39/5.43 o 3904 5.39/5.44 o 3872 5.39/5.46 o 3848 5.39/5.48 o 3816 5.69/5.70 o 3792 5.69/5.72 o 3776 5.69/5.74 o 3760 5.69/5.75 o 3712 5.79/5.88 o 3704 5.79/5.89 o 3696 5.90/5.91 o 3688 5.90/5.93 o 3680 5.90/5.94 o 3664 5.90/5.96 o 3656 5.99/6.01 o 3640 5.99/6.04 o 3616 5.99/6.06 o 3600 6.09/6.10 o 3592 6.09/6.11 o 3584 6.99/7.09 o 3576 7.09/7.10 o 3560 7.09/7.12 o 3552 7.09/7.14 o 3536 7.09/7.19 o 3520 7.19/7.22 o 3496 7.19/7.27 o 3488 7.19/7.28 o 3472 7.19/7.29 o 3448 7.89/7.90 o 3432 7.89/7.91 o 3424 7.89/7.98 o 3392 7.99/8.03 o 3368 7.99/8.07 o 3360 8.29/8.39 o 3328 8.39/8.46 o 3320 8.39/8.47 o 3312 8.49/8.50 o 3288 8.49/8.51 o 3280 8.69/8.73 o 3248 8.69/8.75 o 3224 8.69/8.80 o 3216 8.79/8.90 o 3176 8.89/8.94 o 3160 8.98/9.04 o 3156 10.69/10.77 o 3152 10.79/10.81 o 3120 10.79/10.82 o 3112 10.89/10.93 o 3104 10.89/10.96 o 3096 10.89/10.99 o 3072 10.99/11.05 o 3056 10.99/11.07 o 3036 11.09/11.12 o 3028 12.10/12.18 o 3024 12.20/12.21 o 3020 12.29/12.31 o 3008 12.29/12.33 o 3000 12.29/12.33 o 2992 12.29/12.37 o 2988 12.29/12.38 o 2972 12.39/12.42 o 2952 12.39/12.45 o 2948 12.39/12.47 o 2940 12.39/12.49 o 2924 13.08/13.20 o 2916 13.19/13.22 o 2908 13.19/13.23 o 2900 13.19/13.28 o 2876 13.29/13.30 o 2844 13.29/13.36 o 2836 13.69/13.72 o 2820 13.69/13.74 o 2812 13.69/13.79 o 2788 13.79/13.82 o 2780 13.99/14.00 o 2756 13.99/14.02 o 2748 13.99/14.08 o 2740 14.09/14.10 o 2732 14.09/14.10 o 2724 14.19/14.23 o 2708 17.49/17.51 o 2676 17.69/17.77 o 2660 17.79/17.80 o 2652 17.79/17.83 o 2628 17.89/17.92 o 2620 17.89/17.94 o 2604 17.99/18.04 o 2588 19.99/20.01 o 2572 20.19/20.27 o 2564 20.19/20.28 o 2556 20.29/20.34 o 2548 20.29/20.36 o 2532 21.49/21.58 o 2516 21.79/21.81 o 2492 21.79/21.87 o 2468 21.89/21.96 o 2444 21.89/22.00 o 2428 22.69/22.72 o 2412 22.69/22.75 o 2404 22.79/22.85 o 2396 22.89/22.92 o 2380 23.20/23.24 o 2348 29.89/29.93 o 2324 29.99/30.04 o 2316 29.99/30.07 o 2308 29.99/30.09 o 2300 30.09/30.15 o 2292 30.48/30.58 o 2284 30.68/30.80 o 2268 30.79/30.84 o 2252 34.79/34.81 o 2244 34.89/34.99 o 2232 35.29/35.34 o 2228 35.29/35.38 o 2204 35.39/35.45 o 2188 35.59/35.64 o 2180 35.69/35.71 o 2172 38.19/38.24 o 2148 38.39/38.48 o 2128 38.59/38.60 o 2124 38.59/38.66 o 2120 38.79/38.87 o 2112 39.99/40.09 o 2108 40.09/40.15 o 2104 40.19/40.21 o 2080 40.39/40.48 o 2064 40.49/40.52 o 2040 41.09/41.10 o 2036 41.09/41.13 o 2032 41.29/41.39 o 2024 41.69/41.75 o 2008 53.89/53.94 o 2000 53.99/54.01 o 1984 53.99/54.04 o 1960 54.09/54.14 o 1952 54.89/54.98 o 1944 55.00/55.08 o 1928 55.00/55.09 o 1920 55.39/55.42 o 1896 62.49/62.59 o 1888 62.70/62.75 o 1880 62.70/62.80 o 1864 63.39/63.49 o 1848 63.89/63.95 o 1816 68.69/68.72 o 1808 69.09/69.11 o 1784 69.19/69.29 o 1776 69.19/69.30 o 1760 72.09/72.10 o 1752 72.09/72.19 o 1744 73.39/73.41 o 1712 73.49/73.50 o 1680 95.99/96.08 o 1664 97.59/97.61 o 1656 97.99/98.02 o 1648 97.99/98.07 o 1624 112.99/113.09 o 1616 113.09/113.16 o 1608 113.19/113.29 o 1592 114.30/114.38 o 1568 115.50/115.59 o 1560 115.60/115.64 o 1544 123.49/123.50 o 1536 124.89/124.92 o 1520 125.49/125.57 o 1512 125.90/125.98 o 1504 129.19/129.28 o 1496 129.29/129.37 o 1492 131.00/131.05 o 1484 131.29/131.37 o 1456 133.49/133.59 o 1452 133.69/133.75 o 1436 134.30/134.36 o 1428 176.10/176.16 o 1412 177.59/177.68 o 1396 178.40/178.44 o 1388 178.50/178.50 o 1380 180.69/180.76 o 1364 181.29/181.39 o 1356 183.09/183.11 o 1348 183.09/183.13 o 1340 207.50/207.53 o 1324 207.60/207.62 o 1308 209.79/209.85 o 1300 210.50/210.59 o 1276 225.09/225.18 o 1260 225.60/225.62 o 1252 229.10/229.10 o 1244 229.20/229.22 o 1220 235.09/235.15 o 1196 238.40/238.44 o 1188 241.20/241.25 o 1180 241.69/241.76 o 1164 317.80/317.82 o 1156 319.80/319.83 o 1148 322.41/322.40 o 1132 323.10/323.18 o 1116 324.40/324.40 o 1100 324.51/324.55 o 1092 370.60/370.67 o 1084 374.50/374.56 o 1076 378.50/378.53 o 1072 394.80/394.86 o 1060 404.20/404.21 o 1052 404.90/404.99 o 1036 408.80/408.86 o 1028 408.90/408.99 o 1020 411.30/411.35 o 996 428.80/428.89 o 984 432.70/432.76 o 960 572.31/572.36 o 952 577.00/577.09 o 944 578.31/578.37 o 936 578.71/578.75 o 904 584.51/584.52 o 888 676.71/676.76 o 880 678.81/678.87 o 872 682.91/682.95 o 832 736.21/736.22 o 808 760.42/760.42 o 800 760.62/760.68 o 792 772.82/772.80 o 784 772.92/772.91 o 768 772.92/772.93 o 760 1016.43/1016.45 o 744 1031.62/1031.67 o 704 1035.23/1035.28 o 696 1186.23/1186.25 o 688 1189.02/1189.10 o 656 1311.83/1311.84 o 632 1347.93/1347.96 o 616 1351.53/1351.56 o 612 1791.45/1791.49 o 608 1797.15/1797.11 o 600 1803.44/1803.47 o 592 1818.05/1818.07 o 588 1822.95/1822.98 o 576 1829.55/1829.54 o 560 2099.65/2099.63 o 556 2113.06/2113.06 o 540 2120.96/2120.95 o 532 2236.56/2236.56 o 520 2263.36/2263.34 o 516 2322.37/2322.37 o 504 2337.26/2337.25 o 492 2383.87/2383.89 o 484 2386.17/2386.19 o 476 2400.06/2400.00 s SATISFIABLE 2400.06/2400.00 v <instantiation> 2400.06/2400.00 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] </list> 2400.06/2400.00 v <values> -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -1 9 12 7 4 7 4 7 0 3 0 1 4 1 -4 -1 -2 1 -2 -1 0 1 -2 -1 2 1 0 -1 0 -1 0 1 0 1 0 1 0 1 0 -1 81 144 49 16 49 16 49 0 9 0 1 16 1 16 1 4 1 4 1 0 1 4 1 4 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 </values> 2400.06/2400.00 v </instantiation>
OK 476
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-4252699-1500927067/watcher-4252699-1500927067 -o /tmp/evaluation-result-4252699-1500927067/solver-4252699-1500927067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252699-1500927067.xml pid=5883 running on 4 cores: 1,3,5,7 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: 2.01 2.02 2.05 3/182 5886 /proc/meminfo: memFree=32121664/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=24740 CPUtime=0 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 2246704 25333760 754 33554432000 4194304 6986860 140730764601808 140730764598504 140305627876325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 6185 754 652 682 0 188 0 [startup+0.100154 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5886 /proc/meminfo: memFree=32121664/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=28548 CPUtime=0.09 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 2009 0 0 0 9 0 0 0 20 0 1 0 2246704 29233152 1803 33554432000 4194304 6986860 140730764601808 140730764598504 5603044 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 7137 1803 706 682 0 1140 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28548 [startup+0.200286 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5886 /proc/meminfo: memFree=32121664/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=28672 CPUtime=0.19 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 2034 0 0 0 19 0 0 0 20 0 1 0 2246704 29360128 1860 33554432000 4194304 6986860 140730764601808 140730764598504 140305627876325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 7168 1860 741 682 0 1171 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28672 [startup+0.300243 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5886 /proc/meminfo: memFree=32121664/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=28796 CPUtime=0.29 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 2057 0 0 0 29 0 0 0 20 0 1 0 2246704 29487104 1891 33554432000 4194304 6986860 140730764601808 140730764598504 5659287 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 7199 1891 741 682 0 1202 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28796 [startup+0.700204 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5886 /proc/meminfo: memFree=32121664/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=29168 CPUtime=0.69 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 2152 0 0 0 69 0 0 0 20 0 1 0 2246704 29868032 1953 33554432000 4194304 6986860 140730764601808 140730764593944 5653328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 7292 1953 741 682 0 1295 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29168 [startup+1.50023 s] /proc/loadavg: 2.01 2.02 2.05 3/183 5887 /proc/meminfo: memFree=32116316/32770624 swapFree=5716/120904 [pid=5886] ppid=5883 vsize=32560 CPUtime=1.49 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 3024 0 0 0 148 1 0 0 20 0 1 0 2246704 33341440 2843 33554432000 4194304 6986860 140730764601808 140730764593944 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2843 768 682 0 2143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32560 [startup+3.10021 s] /proc/loadavg: 2.01 2.02 2.05 3/183 5887 /proc/meminfo: memFree=32112968/32770624 swapFree=5716/120904 [pid=5886] ppid=5883 vsize=32560 CPUtime=3.09 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 4867 0 0 0 303 6 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764593944 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32560 [startup+6.30021 s] /proc/loadavg: 2.01 2.02 2.05 3/183 5887 /proc/meminfo: memFree=32112952/32770624 swapFree=5716/120916 [pid=5886] ppid=5883 vsize=32560 CPUtime=6.29 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 6748 0 0 0 619 10 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32560 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.05 3/183 5887 /proc/meminfo: memFree=32112140/32770624 swapFree=5716/120920 [pid=5886] ppid=5883 vsize=32560 CPUtime=12.69 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 8553 0 0 0 1256 13 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32560 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5887 /proc/meminfo: memFree=32112140/32770624 swapFree=5716/120936 [pid=5886] ppid=5883 vsize=32560 CPUtime=25.49 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 9339 0 0 0 2531 18 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32560 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5887 /proc/meminfo: memFree=32112928/32770624 swapFree=5716/120968 [pid=5886] ppid=5883 vsize=32560 CPUtime=51.09 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 9732 0 0 0 5081 28 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 32560 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5888 /proc/meminfo: memFree=32112724/32770624 swapFree=5716/121024 [pid=5886] ppid=5883 vsize=32560 CPUtime=102.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 10125 0 0 0 10182 48 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 32560 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5889 /proc/meminfo: memFree=32112004/32770624 swapFree=5716/121068 [pid=5886] ppid=5883 vsize=32560 CPUtime=162.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 10518 0 0 0 16161 69 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 32560 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/183 5890 /proc/meminfo: memFree=32112076/32770624 swapFree=5716/121124 [pid=5886] ppid=5883 vsize=32560 CPUtime=222.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 10911 0 0 0 22142 88 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 32560 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5891 /proc/meminfo: memFree=32112428/32770624 swapFree=5716/121180 [pid=5886] ppid=5883 vsize=32560 CPUtime=282.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 11305 0 0 0 28119 111 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 32560 [startup+342.3 s] /proc/loadavg: 2.11 2.04 2.05 3/182 5892 /proc/meminfo: memFree=32112088/32770624 swapFree=5716/121220 [pid=5886] ppid=5883 vsize=32560 CPUtime=342.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 11699 0 0 0 34099 131 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 32560 [startup+402.3 s] /proc/loadavg: 2.04 2.04 2.05 3/182 5893 /proc/meminfo: memFree=32112364/32770624 swapFree=5716/121272 [pid=5886] ppid=5883 vsize=32560 CPUtime=402.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 12093 0 0 0 40079 151 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 32560 [startup+462.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 5894 /proc/meminfo: memFree=32112168/32770624 swapFree=5716/121320 [pid=5886] ppid=5883 vsize=32560 CPUtime=462.31 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 12487 0 0 0 46060 171 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 32560 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 5895 /proc/meminfo: memFree=32111700/32770624 swapFree=5716/121348 [pid=5886] ppid=5883 vsize=32560 CPUtime=522.3 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 12854 0 0 0 52037 193 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 32560 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 5903 /proc/meminfo: memFree=32111676/32770624 swapFree=5716/121388 [pid=5886] ppid=5883 vsize=32560 CPUtime=582.31 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 13248 0 0 0 58018 213 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 32560 ################ # More data... # ################ [pid=5886] ppid=5883 vsize=32560 CPUtime=1662.34 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 19209 0 0 0 165656 578 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 32560 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5932 /proc/meminfo: memFree=32111332/32770624 swapFree=5716/122056 [pid=5886] ppid=5883 vsize=32560 CPUtime=1722.34 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 19536 0 0 0 171636 598 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 32560 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5940 /proc/meminfo: memFree=32110180/32770624 swapFree=5716/122092 [pid=5886] ppid=5883 vsize=32560 CPUtime=1782.35 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 19848 0 0 0 177615 620 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 32560 [startup+1842.3 s] /proc/loadavg: 2.13 2.05 2.05 3/182 5941 /proc/meminfo: memFree=32111168/32770624 swapFree=5716/122148 [pid=5886] ppid=5883 vsize=32560 CPUtime=1842.35 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 20261 0 0 0 183592 643 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1842.35 Current children cumulated vsize (KiB) 32560 [startup+1902.3 s] /proc/loadavg: 2.05 2.04 2.05 3/182 5942 /proc/meminfo: memFree=32110972/32770624 swapFree=5716/122192 [pid=5886] ppid=5883 vsize=32560 CPUtime=1902.35 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 20596 0 0 0 189568 667 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1902.35 Current children cumulated vsize (KiB) 32560 [startup+1962.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 5943 /proc/meminfo: memFree=32111024/32770624 swapFree=5716/122220 [pid=5886] ppid=5883 vsize=32560 CPUtime=1962.35 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 20931 0 0 0 195547 688 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 1962.35 Current children cumulated vsize (KiB) 32560 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 6004 /proc/meminfo: memFree=32111852/32770624 swapFree=5716/122288 [pid=5886] ppid=5883 vsize=32560 CPUtime=2022.36 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 21267 0 0 0 201529 707 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2022.36 Current children cumulated vsize (KiB) 32560 [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6005 /proc/meminfo: memFree=32111108/32770624 swapFree=5716/122328 [pid=5886] ppid=5883 vsize=32560 CPUtime=2082.36 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 21603 0 0 0 207508 728 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2082.36 Current children cumulated vsize (KiB) 32560 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6006 /proc/meminfo: memFree=32111596/32770624 swapFree=5716/122376 [pid=5886] ppid=5883 vsize=32560 CPUtime=2142.35 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 21962 0 0 0 213489 746 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2142.35 Current children cumulated vsize (KiB) 32560 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6007 /proc/meminfo: memFree=32111216/32770624 swapFree=5716/122416 [pid=5886] ppid=5883 vsize=32560 CPUtime=2202.36 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 22298 0 0 0 219470 766 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2202.36 Current children cumulated vsize (KiB) 32560 [startup+2262.3 s] /proc/loadavg: 2.07 2.03 2.05 3/182 6008 /proc/meminfo: memFree=32111316/32770624 swapFree=5716/122452 [pid=5886] ppid=5883 vsize=32560 CPUtime=2262.36 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 22657 0 0 0 225448 788 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597160 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2262.36 Current children cumulated vsize (KiB) 32560 [startup+2322.3 s] /proc/loadavg: 2.12 2.05 2.05 3/182 6009 /proc/meminfo: memFree=32111192/32770624 swapFree=5716/122492 [pid=5886] ppid=5883 vsize=32560 CPUtime=2322.37 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 22993 0 0 0 231426 811 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2322.37 Current children cumulated vsize (KiB) 32560 [startup+2382.3 s] /proc/loadavg: 2.04 2.04 2.05 3/182 6017 /proc/meminfo: memFree=32110748/32770624 swapFree=5716/122540 [pid=5886] ppid=5883 vsize=32560 CPUtime=2382.37 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 23375 0 0 0 237406 831 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2382.37 Current children cumulated vsize (KiB) 32560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.03 2.04 2.05 3/182 6018 /proc/meminfo: memFree=32110748/32770624 swapFree=5716/122572 [pid=5886] ppid=5883 vsize=32560 CPUtime=2400.06 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) R 5883 5886 3476 0 -1 4202496 23709 0 0 0 239170 836 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764597336 140305628139900 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 32560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -5886 ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5886 sig 9 ??? end of watcher thread Solver just ended. Dumping a history of the last processes samples [startup+2400.8 s] /proc/loadavg: 2.03 2.04 2.05 2/182 6018 /proc/meminfo: memFree=32110748/32770624 swapFree=5716/122572 [pid=5886] ppid=5883 vsize=32560 CPUtime=2400.07 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) S 5883 5886 3476 0 -1 1077944320 23724 0 0 0 239171 836 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764595000 140305628430588 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 32560 [startup+2401.6 s] /proc/loadavg: 2.03 2.04 2.05 2/182 6018 /proc/meminfo: memFree=32110748/32770624 swapFree=5716/122572 [pid=5886] ppid=5883 vsize=32560 CPUtime=2400.07 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) S 5883 5886 3476 0 -1 1077944320 23724 0 0 0 239171 836 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764595000 140305628430588 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 32560 [startup+2402 s] /proc/loadavg: 2.03 2.04 2.05 2/182 6018 /proc/meminfo: memFree=32110748/32770624 swapFree=5716/122572 [pid=5886] ppid=5883 vsize=32560 CPUtime=2400.07 cores=1,3,5,7 /proc/5886/stat : 5886 (naxos-xcsp3) S 5883 5886 3476 0 -1 1077944320 23724 0 0 0 239171 836 0 0 20 0 1 0 2246704 33341440 2870 33554432000 4194304 6986860 140730764601808 140730764595000 140305628430588 0 16384 4096 16384 18446744071579849748 0 0 17 1 0 0 0 0 0 9087712 9120176 39010304 140730764604686 140730764604767 140730764604767 140730764607466 0 /proc/5886/statm: 8140 2870 772 682 0 2143 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 32560 Child ended because it received signal 9 (SIGKILL) Real time (s): 2402 CPU time (s): 2400.08 CPU user time (s): 2391.71 CPU system time (s): 8.36727 CPU usage (%): 99.9199 Max. virtual memory (cumulated for all children) (KiB): 32560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2391.71 system time used= 8.36727 maximum resident set size= 11488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23724 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= 9 involuntary context switches= 964 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.14783 second user time and 8.47719 second system time The end
Begin job on node115 at 2017-07-24 22:11:07 IDJOB=4252699 IDBENCH=127041 IDSOLVER=2634 FILE ID=node115/4252699-1500927067 RUNJOBID= node115-1500915006-3508 PBS_JOBID= 20625422 Free space on /tmp= 61816 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252699-1500927067/watcher-4252699-1500927067 -o /tmp/evaluation-result-4252699-1500927067/solver-4252699-1500927067 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500915006-3508 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252699-1500927067.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1693814618 node115.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.47 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.47 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.47 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.47 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: 32122000 kB MemAvailable: 32062740 kB Buffers: 32784 kB Cached: 223244 kB SwapCached: 0 kB Active: 170084 kB Inactive: 129620 kB Active(anon): 46768 kB Inactive(anon): 8704 kB Active(file): 123316 kB Inactive(file): 120916 kB Unevictable: 5716 kB Mlocked: 5716 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2884 kB Writeback: 0 kB AnonPages: 57440 kB Mapped: 29700 kB Shmem: 8844 kB Slab: 49152 kB SReclaimable: 24688 kB SUnreclaim: 24464 kB KernelStack: 3504 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 284456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61812 MiB End job on node115 at 2017-07-24 22:51:09