Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 126 | 2400.03 | 2400 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml |
MD5SUM | c07c58ac36c79f91eadbbae5e125078d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 126 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1331 |
Number of constraints | 700 |
Number of domains | 71 |
Minimum domain size | 2 |
Maximum domain size | 71 |
Distribution of domain sizes | [{"size":2,"count":667},{"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":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":1}, {"size":39,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 35 |
Distribution of variable degrees | [{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":36},{"arity":3,"count":631},{"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 665 |
Distribution of constraint types | [{"type":"intension","count":665},{"type":"sum","count":35}] |
Optimization problem | YES |
Type of objective | min SUM |
0.99/1.07 o 14910 0.99/1.07 o 12530 0.99/1.08 o 12402 0.99/1.09 o 10550 0.99/1.09 o 10422 0.99/1.10 o 10302 1.09/1.10 o 8938 1.09/1.11 o 8794 1.09/1.12 o 8674 1.09/1.12 o 8578 1.09/1.13 o 7662 1.09/1.14 o 7502 1.09/1.14 o 7382 1.09/1.15 o 7270 1.09/1.15 o 7198 1.09/1.16 o 6690 1.09/1.17 o 6514 1.09/1.17 o 6378 1.09/1.18 o 6266 1.09/1.19 o 6178 1.09/1.19 o 6130 1.09/1.20 o 5990 1.20/1.21 o 5978 1.20/1.21 o 5798 1.20/1.22 o 5646 1.20/1.23 o 5534 1.20/1.24 o 5430 1.20/1.24 o 5366 1.20/1.25 o 5342 1.20/1.26 o 5294 1.20/1.27 o 5230 1.20/1.28 o 5174 1.20/1.29 o 5102 1.20/1.29 o 5046 1.29/1.30 o 4982 1.29/1.31 o 4958 1.29/1.32 o 4918 1.29/1.32 o 4862 1.29/1.33 o 4822 1.29/1.34 o 4802 1.29/1.36 o 4750 1.29/1.37 o 4718 1.29/1.37 o 4710 1.29/1.38 o 4690 1.29/1.38 o 4646 1.29/1.39 o 4618 1.39/1.41 o 4574 1.39/1.41 o 4542 1.39/1.42 o 4506 1.39/1.43 o 4474 1.39/1.44 o 4442 1.39/1.44 o 4402 1.39/1.45 o 4370 1.39/1.46 o 4362 1.39/1.47 o 4306 1.39/1.47 o 4274 1.39/1.48 o 4250 1.39/1.49 o 4218 1.39/1.49 o 4202 1.49/1.53 o 4194 1.49/1.54 o 4162 1.49/1.55 o 4146 1.49/1.55 o 4090 1.49/1.56 o 4058 1.49/1.57 o 4034 1.49/1.59 o 4002 1.59/1.60 o 3970 1.59/1.61 o 3922 1.59/1.61 o 3914 1.59/1.63 o 3906 1.59/1.64 o 3874 1.59/1.64 o 3842 1.59/1.65 o 3834 1.59/1.66 o 3802 1.59/1.67 o 3786 1.59/1.68 o 3770 1.59/1.68 o 3762 1.59/1.69 o 3754 1.69/1.70 o 3738 1.69/1.70 o 3714 1.69/1.77 o 3698 1.69/1.78 o 3666 1.69/1.79 o 3626 1.79/1.80 o 3618 1.79/1.80 o 3578 1.79/1.85 o 3530 1.79/1.86 o 3522 1.79/1.87 o 3498 1.79/1.88 o 3482 1.79/1.88 o 3458 1.89/1.92 o 3450 1.89/1.92 o 3434 1.89/1.93 o 3410 1.89/1.94 o 3394 1.89/1.94 o 3370 1.89/1.96 o 3330 1.89/1.97 o 3310 1.89/1.99 o 3298 1.89/1.99 o 3270 1.99/2.00 o 3262 2.09/2.13 o 3258 2.09/2.15 o 3250 2.09/2.16 o 3226 2.09/2.16 o 3210 2.09/2.17 o 3174 2.09/2.19 o 3150 2.09/2.19 o 3142 2.19/2.20 o 3110 2.19/2.29 o 3106 2.19/2.30 o 3094 2.29/2.31 o 3054 2.29/2.32 o 3046 2.29/2.33 o 3038 2.29/2.33 o 3030 2.29/2.34 o 3006 2.29/2.35 o 2998 2.39/2.40 o 2982 2.39/2.41 o 2942 2.39/2.42 o 2910 2.39/2.43 o 2902 2.39/2.46 o 2870 2.39/2.47 o 2854 2.39/2.48 o 2838 2.49/2.50 o 2822 2.49/2.51 o 2798 2.69/2.77 o 2782 2.69/2.77 o 2766 2.69/2.78 o 2742 2.69/2.79 o 2734 2.79/2.80 o 2726 2.79/2.81 o 2710 2.79/2.82 o 2702 2.79/2.83 o 2678 2.79/2.84 o 2670 2.89/2.99 o 2662 2.99/3.00 o 2646 2.99/3.02 o 2638 2.99/3.03 o 2614 2.99/3.04 o 2598 2.99/3.05 o 2590 3.09/3.14 o 2558 3.09/3.16 o 2534 3.09/3.18 o 2486 3.19/3.24 o 2478 3.19/3.24 o 2462 3.19/3.29 o 2430 3.69/3.73 o 2422 3.69/3.75 o 2406 3.79/3.80 o 2398 3.79/3.82 o 2382 3.79/3.83 o 2374 3.79/3.86 o 2358 3.79/3.87 o 2342 3.79/3.88 o 2326 3.89/3.90 o 2318 4.19/4.20 o 2286 4.19/4.24 o 2278 4.19/4.26 o 2254 4.29/4.30 o 2242 4.40/4.46 o 2214 4.50/4.50 o 2206 4.50/4.51 o 2202 4.50/4.53 o 2182 4.50/4.53 o 2170 4.50/4.54 o 2154 4.59/4.65 o 2142 4.59/4.66 o 2130 4.59/4.67 o 2114 4.69/4.70 o 2106 4.69/4.74 o 2098 4.69/4.75 o 2082 4.69/4.78 o 2074 5.60/5.63 o 2066 5.69/5.74 o 2034 5.69/5.77 o 2026 5.79/5.81 o 2010 5.79/5.83 o 1994 5.79/5.84 o 1986 5.79/5.87 o 1970 5.79/5.89 o 1962 6.39/6.43 o 1954 6.39/6.46 o 1938 6.49/6.52 o 1922 6.49/6.53 o 1914 6.49/6.56 o 1906 6.49/6.57 o 1874 6.79/6.88 o 1866 6.89/6.95 o 1858 6.89/6.96 o 1850 6.89/6.97 o 1834 6.99/7.00 o 1826 7.09/7.14 o 1810 7.19/7.20 o 1794 7.19/7.21 o 1786 7.19/7.23 o 1778 7.19/7.25 o 1770 7.29/7.35 o 1730 8.99/9.04 o 1722 8.99/9.07 o 1706 9.09/9.20 o 1698 9.19/9.21 o 1674 9.29/9.30 o 1658 10.29/10.37 o 1650 10.29/10.39 o 1642 10.40/10.40 o 1626 10.49/10.52 o 1610 10.49/10.57 o 1602 11.10/11.18 o 1586 11.19/11.27 o 1578 11.19/11.29 o 1570 11.29/11.39 o 1562 11.39/11.42 o 1550 11.59/11.65 o 1530 11.69/11.75 o 1522 11.69/11.78 o 1514 11.89/11.99 o 1506 11.99/12.04 o 1498 11.99/12.05 o 1494 12.09/12.12 o 1478 15.09/15.10 o 1470 15.40/15.43 o 1466 15.40/15.50 o 1458 15.50/15.50 o 1454 15.50/15.55 o 1450 15.50/15.58 o 1446 15.69/15.70 o 1434 15.69/15.75 o 1422 15.79/15.82 o 1406 17.60/17.62 o 1390 17.99/18.02 o 1350 18.19/18.26 o 1342 18.29/18.37 o 1334 19.39/19.46 o 1326 19.39/19.47 o 1318 19.49/19.51 o 1302 19.59/19.65 o 1286 19.80/19.81 o 1278 20.19/20.26 o 1270 20.39/20.48 o 1262 20.49/20.51 o 1254 20.49/20.52 o 1246 20.60/20.63 o 1230 20.90/20.93 o 1198 26.69/26.70 o 1182 26.79/26.87 o 1166 30.59/30.60 o 1158 30.59/30.66 o 1142 31.19/31.21 o 1134 31.29/31.33 o 1110 31.79/31.82 o 1102 31.90/31.94 o 1086 33.89/33.91 o 1078 34.09/34.11 o 1062 35.19/35.22 o 1030 35.29/35.32 o 1022 36.40/36.48 o 1010 45.89/45.91 o 1006 47.30/47.31 o 994 47.49/47.51 o 950 48.40/48.47 o 946 54.00/54.06 o 930 55.10/55.18 o 914 55.19/55.26 o 906 55.79/55.87 o 882 56.09/56.16 o 874 59.09/59.19 o 858 61.39/61.41 o 850 61.39/61.43 o 834 61.60/61.60 o 826 62.49/62.52 o 818 63.39/63.41 o 802 81.99/82.08 o 778 83.19/83.26 o 770 83.69/83.74 o 754 83.69/83.78 o 746 94.49/94.50 o 738 94.99/95.04 o 730 96.49/96.50 o 714 102.59/102.65 o 698 103.59/103.64 o 666 108.39/108.48 o 654 141.29/141.37 o 650 144.19/144.24 o 634 145.59/145.63 o 630 145.89/145.92 o 610 147.79/147.85 o 606 148.30/148.37 o 598 167.69/167.76 o 594 167.79/167.82 o 586 169.59/169.65 o 582 170.69/170.75 o 574 179.40/179.47 o 566 182.39/182.44 o 546 182.89/182.91 o 542 189.20/189.21 o 530 191.09/191.17 o 526 192.09/192.12 o 502 194.39/194.40 o 478 251.79/251.86 o 462 252.99/253.10 o 454 285.99/286.05 o 430 301.99/302.02 o 422 311.49/311.56 o 414 317.69/317.76 o 406 319.39/319.48 o 382 428.49/428.55 o 374 431.99/432.03 o 350 495.90/495.96 o 342 503.90/503.97 o 334 504.30/504.35 o 322 529.90/529.96 o 318 540.20/540.29 o 310 552.40/552.45 o 294 552.80/552.83 o 290 748.20/748.22 o 266 760.40/760.45 o 258 859.70/859.74 o 250 932.60/932.62 o 234 952.90/952.92 o 202 1443.80/1443.87 o 194 1519.40/1519.42 o 178 1577.61/1577.63 o 174 1609.00/1609.08 o 170 1614.21/1614.27 o 158 2026.71/2026.71 o 154 2364.72/2364.79 o 126 2400.02/2400.00 s SATISFIABLE 2400.02/2400.00 v <instantiation> 2400.02/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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list> 2400.02/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 3 4 1 4 5 0 1 0 3 0 1 0 1 -2 -1 -2 -1 2 1 -2 -3 -2 3 0 -1 0 1 0 -1 0 -1 0 -1 0 1 9 16 1 16 25 0 1 0 9 0 1 0 1 4 1 4 1 4 1 4 9 4 9 0 1 0 1 0 1 0 1 0 1 0 1 </values> 2400.02/2400.00 v </instantiation>
OK 126
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-4252711-1500927222/watcher-4252711-1500927222 -o /tmp/evaluation-result-4252711-1500927222/solver-4252711-1500927222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3563 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252711-1500927222.xml pid=6567 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.00 2.01 2.05 2/181 6570 /proc/meminfo: memFree=32087248/32770624 swapFree=5744/118480 [pid=6570] ppid=6567 vsize=25136 CPUtime=0 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 2310902 25739264 885 33554432000 4194304 6986860 140733828784736 140733828781432 139970086525925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 6284 885 652 682 0 287 0 [startup+0.100155 s] /proc/loadavg: 2.00 2.01 2.05 2/181 6570 /proc/meminfo: memFree=32087248/32770624 swapFree=5744/118480 [pid=6570] ppid=6567 vsize=27780 CPUtime=0.09 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 1818 0 0 0 9 0 0 0 20 0 1 0 2310902 28446720 1609 33554432000 4194304 6986860 140733828784736 140733828781432 139970086525925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 6945 1609 705 682 0 948 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27780 [startup+0.200286 s] /proc/loadavg: 2.00 2.01 2.05 2/181 6570 /proc/meminfo: memFree=32087248/32770624 swapFree=5744/118480 [pid=6570] ppid=6567 vsize=27904 CPUtime=0.19 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 1843 0 0 0 19 0 0 0 20 0 1 0 2310902 28573696 1669 33554432000 4194304 6986860 140733828784736 140733828781432 5637657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 6976 1669 741 682 0 979 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27904 [startup+0.300254 s] /proc/loadavg: 2.00 2.01 2.05 2/181 6570 /proc/meminfo: memFree=32087248/32770624 swapFree=5744/118480 [pid=6570] ppid=6567 vsize=28028 CPUtime=0.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 1868 0 0 0 29 0 0 0 20 0 1 0 2310902 28700672 1700 33554432000 4194304 6986860 140733828784736 140733828781432 5859760 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7007 1700 741 682 0 1010 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28028 [startup+0.700222 s] /proc/loadavg: 2.00 2.01 2.05 2/181 6570 /proc/meminfo: memFree=32087248/32770624 swapFree=5744/118480 [pid=6570] ppid=6567 vsize=28400 CPUtime=0.69 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 1969 0 0 0 69 0 0 0 20 0 1 0 2310902 29081600 1793 33554432000 4194304 6986860 140733828784736 140733828781432 5518322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7100 1793 741 682 0 1103 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28400 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32080616/32770624 swapFree=5744/118508 [pid=6570] ppid=6567 vsize=31016 CPUtime=1.49 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 2638 0 0 0 147 2 0 0 20 0 1 0 2310902 31760384 2458 33554432000 4194304 6986860 140733828784736 140733828781432 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2458 768 682 0 1757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31016 [startup+3.10022 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32079888/32770624 swapFree=5744/118508 [pid=6570] ppid=6567 vsize=31016 CPUtime=3.09 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 4116 0 0 0 305 4 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31016 [startup+6.30022 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32079616/32770624 swapFree=5744/118508 [pid=6570] ppid=6567 vsize=31016 CPUtime=6.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 5618 0 0 0 622 7 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31016 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32079604/32770624 swapFree=5744/118520 [pid=6570] ppid=6567 vsize=31016 CPUtime=12.69 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 7124 0 0 0 1260 9 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31016 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32079604/32770624 swapFree=5744/118540 [pid=6570] ppid=6567 vsize=31016 CPUtime=25.49 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 10110 0 0 0 2535 14 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31016 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6571 /proc/meminfo: memFree=32078856/32770624 swapFree=5744/118572 [pid=6570] ppid=6567 vsize=31016 CPUtime=51.09 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 10701 0 0 0 5088 21 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31016 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6572 /proc/meminfo: memFree=32079144/32770624 swapFree=5744/118632 [pid=6570] ppid=6567 vsize=31016 CPUtime=102.3 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 11248 0 0 0 10190 40 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 31016 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6573 /proc/meminfo: memFree=32079060/32770624 swapFree=5744/118696 [pid=6570] ppid=6567 vsize=31016 CPUtime=162.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 11794 0 0 0 16169 60 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 31016 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6574 /proc/meminfo: memFree=32079204/32770624 swapFree=5744/118740 [pid=6570] ppid=6567 vsize=31016 CPUtime=222.3 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 12340 0 0 0 22147 83 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 31016 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6575 /proc/meminfo: memFree=32079296/32770624 swapFree=5744/118764 [pid=6570] ppid=6567 vsize=31016 CPUtime=282.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 12886 0 0 0 28126 103 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 31016 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6576 /proc/meminfo: memFree=32079208/32770624 swapFree=5744/118820 [pid=6570] ppid=6567 vsize=31016 CPUtime=342.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 13432 0 0 0 34106 123 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 31016 [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.05 3/182 6584 /proc/meminfo: memFree=32077812/32770624 swapFree=5744/118860 [pid=6570] ppid=6567 vsize=31016 CPUtime=402.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 13954 0 0 0 40086 143 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 31016 [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 6585 /proc/meminfo: memFree=32078204/32770624 swapFree=5744/118884 [pid=6570] ppid=6567 vsize=31016 CPUtime=462.3 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 14500 0 0 0 46066 164 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 31016 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6586 /proc/meminfo: memFree=32078432/32770624 swapFree=5744/118920 [pid=6570] ppid=6567 vsize=31016 CPUtime=522.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 15046 0 0 0 52045 184 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 31016 [startup+582.3 s] /proc/loadavg: 2.12 2.06 2.06 3/182 6587 /proc/meminfo: memFree=32078664/32770624 swapFree=5744/118964 [pid=6570] ppid=6567 vsize=31016 CPUtime=582.29 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 15592 0 0 0 58024 205 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 31016 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6612 /proc/meminfo: memFree=32077296/32770624 swapFree=5744/119488 [pid=6570] ppid=6567 vsize=31016 CPUtime=1482.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 23505 0 0 0 147705 526 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 31016 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6613 /proc/meminfo: memFree=32077476/32770624 swapFree=5744/119536 [pid=6570] ppid=6567 vsize=31016 CPUtime=1542.32 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 24053 0 0 0 153684 548 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 31016 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6621 /proc/meminfo: memFree=32076264/32770624 swapFree=5744/119576 [pid=6570] ppid=6567 vsize=31016 CPUtime=1602.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 24599 0 0 0 159663 568 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 31016 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6622 /proc/meminfo: memFree=32077016/32770624 swapFree=5744/119612 [pid=6570] ppid=6567 vsize=31016 CPUtime=1662.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 25120 0 0 0 165641 590 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 31016 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6623 /proc/meminfo: memFree=32077268/32770624 swapFree=5744/119640 [pid=6570] ppid=6567 vsize=31016 CPUtime=1722.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 25639 0 0 0 171621 610 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 31016 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6624 /proc/meminfo: memFree=32077196/32770624 swapFree=5744/119672 [pid=6570] ppid=6567 vsize=31016 CPUtime=1782.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 26159 0 0 0 177600 631 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 31016 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6625 /proc/meminfo: memFree=32077596/32770624 swapFree=5744/119708 [pid=6570] ppid=6567 vsize=31016 CPUtime=1842.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 26679 0 0 0 183578 653 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1842.31 Current children cumulated vsize (KiB) 31016 [startup+1902.3 s] /proc/loadavg: 2.06 2.03 2.05 3/182 6626 /proc/meminfo: memFree=32077888/32770624 swapFree=5744/119736 [pid=6570] ppid=6567 vsize=31016 CPUtime=1902.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 27199 0 0 0 189557 674 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1902.31 Current children cumulated vsize (KiB) 31016 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 6627 /proc/meminfo: memFree=32077776/32770624 swapFree=5744/119760 [pid=6570] ppid=6567 vsize=31016 CPUtime=1962.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 27719 0 0 0 195535 696 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 1962.31 Current children cumulated vsize (KiB) 31016 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6628 /proc/meminfo: memFree=32077716/32770624 swapFree=5744/119792 [pid=6570] ppid=6567 vsize=31016 CPUtime=2022.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 28262 0 0 0 201517 714 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2022.31 Current children cumulated vsize (KiB) 31016 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6629 /proc/meminfo: memFree=32077148/32770624 swapFree=5744/119820 [pid=6570] ppid=6567 vsize=31016 CPUtime=2082.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 28747 0 0 0 207496 735 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086524896 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2082.31 Current children cumulated vsize (KiB) 31016 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6752 /proc/meminfo: memFree=32111188/32770624 swapFree=5744/119916 [pid=6570] ppid=6567 vsize=31016 CPUtime=2142.31 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 29223 0 0 0 213478 753 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2142.31 Current children cumulated vsize (KiB) 31016 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6820 /proc/meminfo: memFree=32108496/32770624 swapFree=5744/120020 [pid=6570] ppid=6567 vsize=31016 CPUtime=2202.32 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 29698 0 0 0 219460 772 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2202.32 Current children cumulated vsize (KiB) 31016 [startup+2262.3 s] /proc/loadavg: 2.03 2.03 2.05 3/182 6821 /proc/meminfo: memFree=32109060/32770624 swapFree=5744/120068 [pid=6570] ppid=6567 vsize=31016 CPUtime=2262.32 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 30177 0 0 0 225438 794 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2262.32 Current children cumulated vsize (KiB) 31016 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6822 /proc/meminfo: memFree=32108852/32770624 swapFree=5744/120116 [pid=6570] ppid=6567 vsize=31016 CPUtime=2322.32 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 30652 0 0 0 231416 816 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2322.32 Current children cumulated vsize (KiB) 31016 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6823 /proc/meminfo: memFree=32108456/32770624 swapFree=5744/120144 [pid=6570] ppid=6567 vsize=31016 CPUtime=2382.32 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 31151 0 0 0 237393 839 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780264 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2382.32 Current children cumulated vsize (KiB) 31016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6824 /proc/meminfo: memFree=32108112/32770624 swapFree=5744/120168 [pid=6570] ppid=6567 vsize=31016 CPUtime=2400.02 cores=1,3,5,7 /proc/6570/stat : 6570 (naxos-xcsp3) R 6567 6570 3531 0 -1 4202496 31622 0 0 0 239157 845 0 0 20 0 1 0 2310902 31760384 2485 33554432000 4194304 6986860 140733828784736 140733828780088 139970086789500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 30298112 140733828789518 140733828789599 140733828789599 140733828792298 0 /proc/6570/statm: 7754 2485 772 682 0 1757 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 31016 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 6570 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400 CPU time (s): 2400.03 CPU user time (s): 2391.58 CPU system time (s): 8.45311 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 31016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2391.58 system time used= 8.45311 maximum resident set size= 9956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31648 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= 7 involuntary context switches= 784 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.66707 second user time and 7.69275 second system time The end
Begin job on node147 at 2017-07-24 22:13:42 IDJOB=4252711 IDBENCH=127071 IDSOLVER=2634 FILE ID=node147/4252711-1500927222 RUNJOBID= node147-1500914920-3563 PBS_JOBID= 20625400 Free space on /tmp= 61684 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252711-1500927222/watcher-4252711-1500927222 -o /tmp/evaluation-result-4252711-1500927222/solver-4252711-1500927222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500914920-3563 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252711-1500927222.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=1574185335 node147.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.57 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.57 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.57 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.57 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: 32087368 kB MemAvailable: 32027748 kB Buffers: 35788 kB Cached: 219344 kB SwapCached: 0 kB Active: 207760 kB Inactive: 127156 kB Active(anon): 82652 kB Inactive(anon): 8676 kB Active(file): 125108 kB Inactive(file): 118480 kB Unevictable: 5744 kB Mlocked: 5744 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 85104 kB Mapped: 29660 kB Shmem: 8848 kB Slab: 50312 kB SReclaimable: 25256 kB SUnreclaim: 25056 kB KernelStack: 3280 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 315148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61684 MiB End job on node147 at 2017-07-24 22:53:42