Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.4 | SAT (TO) | 1555 | 260.828 | 240.035 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml |
MD5SUM | 22a404b8d6219eda7de384223800de36 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1157 |
Best CPU time to get the best result obtained on this benchmark | 251.936 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4556 |
Number of constraints | 4488 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}] |
Minimum variable degree | 0 |
Maximum variable degree | 131 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 66 |
Distribution of constraint arities | [{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 66 |
Distribution of constraint types | [{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}] |
Optimization problem | YES |
Type of objective | min SUM |
3.55/2.21 c Concrete v3.4 running 18.38/7.07 o 3326 19.90/7.58 o 3291 21.12/8.05 o 3289 21.91/8.48 o 3242 22.52/8.84 o 3197 23.20/9.23 o 3148 23.71/9.62 o 3140 24.03/9.96 o 3096 24.44/10.30 o 3071 24.75/10.68 o 3066 25.11/10.97 o 2929 25.41/11.29 o 2918 25.86/11.68 o 2911 26.27/12.04 o 2908 26.75/12.40 o 2904 27.05/12.75 o 2867 27.45/13.10 o 2836 27.75/13.42 o 2803 28.26/13.81 o 2776 28.98/14.51 o 2773 29.29/14.85 o 2770 30.03/15.59 o 2756 30.46/15.97 o 2724 30.92/16.34 o 2698 31.34/16.71 o 2668 31.64/17.07 o 2667 32.04/17.44 o 2661 32.49/17.81 o 2599 33.83/19.06 o 2597 34.24/19.44 o 2588 34.64/19.85 o 2572 35.04/20.22 o 2522 35.80/20.99 o 2518 36.68/21.79 o 2517 37.09/22.17 o 2494 37.49/22.55 o 2492 37.89/22.93 o 2471 38.71/23.71 o 2466 39.74/24.65 o 2463 41.63/26.42 o 2454 42.03/26.80 o 2452 42.43/27.21 o 2426 43.24/28.08 o 2416 43.78/28.51 o 2410 44.11/28.89 o 2406 44.61/29.32 o 2393 45.02/29.72 o 2388 45.31/30.09 o 2297 45.73/30.49 o 2280 46.26/30.92 o 2257 47.06/31.77 o 2229 47.71/32.24 o 2228 48.11/32.63 o 2214 48.52/33.02 o 2211 48.92/33.42 o 2201 49.73/34.23 o 2199 50.58/35.08 o 2179 51.59/36.01 o 2161 51.89/36.40 o 2159 52.50/36.81 o 2157 53.71/38.08 o 2149 55.16/39.46 o 2112 55.67/39.92 o 2107 56.08/40.38 o 2075 56.58/40.87 o 2074 57.09/41.34 o 2067 59.69/43.86 o 2037 61.21/45.36 o 2034 62.51/46.62 o 2022 65.07/49.03 o 2018 65.47/49.45 o 2014 66.38/50.34 o 2012 67.28/51.24 o 2000 68.19/52.14 o 1995 71.53/54.89 o 1992 72.43/55.73 o 1985 73.74/57.00 o 1984 74.14/57.42 o 1970 74.54/57.86 o 1963 76.96/60.30 o 1958 78.08/61.23 o 1956 79.89/63.01 o 1940 82.22/65.34 o 1932 83.13/66.28 o 1905 88.15/71.07 o 1898 89.07/71.94 o 1873 93.79/76.55 o 1870 95.61/78.32 o 1827 96.52/79.20 o 1741 97.92/80.60 o 1737 100.56/83.17 o 1734 106.40/88.99 o 1732 109.35/91.81 o 1729 115.39/97.81 o 1727 123.47/105.71 o 1726 123.88/106.12 o 1722 124.73/106.96 o 1714 125.13/107.37 o 1711 126.44/108.65 o 1682 127.34/109.55 o 1681 131.37/113.50 o 1672 137.12/119.12 o 1670 139.63/121.64 o 1669 143.54/125.43 o 1668 160.86/142.45 o 1666 174.89/156.27 o 1660 175.69/157.07 o 1640 176.09/157.43 o 1639 176.49/157.82 o 1634 176.95/158.23 o 1632 181.97/163.29 o 1626 184.75/165.98 o 1625 198.16/179.03 o 1601 199.47/180.33 o 1591 202.69/183.54 o 1588 203.64/184.40 o 1586 211.18/191.88 o 1583 213.26/193.87 o 1578 215.87/196.41 o 1577 216.78/197.39 o 1576 219.56/200.04 o 1571 221.17/201.63 o 1566 226.01/206.34 o 1561 246.41/226.14 o 1555 260.76/240.00 java.util.concurrent.TimeoutException 260.76/240.00 at concrete.MAC.mac(MAC.scala:74) 260.76/240.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 260.76/240.01 at scala.util.Try$.apply(Try.scala:209) 260.76/240.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 260.76/240.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 260.76/240.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 260.76/240.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 260.76/240.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 260.76/240.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 260.76/240.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 260.76/240.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 260.76/240.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 260.76/240.01 at concrete.MAC.oneRun(MAC.scala:146) 260.76/240.01 at concrete.MAC.nextSolution(MAC.scala:166) 260.76/240.01 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 260.76/240.01 at concrete.ProblemState.map(ProblemState.scala:203) 260.76/240.01 at concrete.ProblemState.map(ProblemState.scala:188) 260.76/240.01 at concrete.MAC.nextSolution(MAC.scala:195) 260.76/240.01 at concrete.Solver.hasNext(Solver.scala:202) 260.76/240.01 at scala.collection.Iterator.toStream(Iterator.scala:1403) 260.76/240.01 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 260.76/240.01 at concrete.Solver.toStream(Solver.scala:73) 260.76/240.01 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 260.76/240.01 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 260.76/240.01 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 260.76/240.01 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 260.76/240.01 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 260.76/240.01 at scala.util.Success.$anonfun$map$1(Try.scala:251) 260.76/240.01 at scala.util.Success.map(Try.scala:209) 260.76/240.01 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 260.76/240.01 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 260.76/240.01 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 260.76/240.01 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 260.76/240.01 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 260.76/240.01 at scala.Function0.apply$mcV$sp(Function0.scala:34) 260.76/240.01 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 260.76/240.01 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 260.76/240.01 at scala.App.$anonfun$main$1$adapted(App.scala:76) 260.76/240.01 at scala.collection.immutable.List.foreach(List.scala:389) 260.76/240.01 at scala.App.main(App.scala:76) 260.76/240.01 at scala.App.main$(App.scala:74) 260.76/240.01 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 260.76/240.01 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 260.76/240.01 v <instantiation cost="1555"> 260.76/240.01 v <list> 260.76/240.01 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] 260.76/240.01 v </list> 260.76/240.01 v <values> 260.76/240.01 v 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 95 13 86 27 32 82 28 35 100 100 100 15 37 81 48 83 64 57 55 67 31 83 64 45 7 90 88 71 23 76 75 46 23 61 31 100 55 16 61 40 100 100 75 100 100 77 25 88 74 100 44 79 86 48 41 47 39 64 74 22 56 100 100 3 55 16 260.76/240.01 v </values> 260.76/240.01 v </instantiation> 260.76/240.01 s SATISFIABLE
OK 1555
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-4259850-1501650037/watcher-4259850-1501650037 -o /tmp/evaluation-result-4259850-1501650037/solver-4259850-1501650037 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259850-1501650037.xml pid=8249 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.49 1.53 1.65 4/197 8252 /proc/meminfo: memFree=30942508/32770624 swapFree=0/246184 [pid=8252] ppid=8249 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/8252/stat : 8252 (runsolver) D 8249 8252 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6914298 24240128 107 18446744073709551615 4194304 4338465 140736519140512 140736519138152 140138157642455 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 31858688 140736519147729 140736519148103 140736519148103 140736519151562 0 /proc/8252/statm: 5918 107 54 36 0 2156 0 [startup+0.100374 s] /proc/loadavg: 1.49 1.53 1.65 4/197 8252 /proc/meminfo: memFree=30942508/32770624 swapFree=0/246184 [pid=8252] ppid=8249 vsize=9508 CPUtime=0 cores=0,2,4,6 /proc/8252/stat : 8252 (bash) S 8249 8252 3187 0 -1 4202496 684 1542 0 0 0 0 0 0 20 0 1 0 6914298 9736192 352 18446744073709551615 4194304 5098028 140722641761664 140722641759304 139856786770944 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 24244224 140722641764882 140722641764967 140722641764967 140722641768426 0 /proc/8252/statm: 2377 352 279 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200734 s] /proc/loadavg: 1.49 1.53 1.65 4/197 8252 /proc/meminfo: memFree=30942508/32770624 swapFree=0/246184 [pid=8252] ppid=8249 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/8252/stat : 8252 (bash) S 8249 8252 3187 0 -1 4202496 897 6480 0 0 0 0 0 1 20 0 1 0 6914298 9867264 377 18446744073709551615 4194304 5098028 140722641761664 140722641755672 139856786770944 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 24244224 140722641764882 140722641764967 140722641764967 140722641768426 0 /proc/8252/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300205 s] /proc/loadavg: 1.49 1.53 1.65 4/197 8252 /proc/meminfo: memFree=30942508/32770624 swapFree=0/246184 [pid=8252] ppid=8249 vsize=13973936 CPUtime=0.14 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 5796 12805 0 0 6 1 5 2 20 0 15 0 6914298 14309310464 5953 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3493484 5953 2671 1 0 3482973 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13973936 [startup+0.700327 s] /proc/loadavg: 1.49 1.53 1.65 4/197 8252 /proc/meminfo: memFree=30942508/32770624 swapFree=0/246184 [pid=8252] ppid=8249 vsize=13974784 CPUtime=0.7 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 13929 12805 0 0 59 4 5 2 20 0 15 0 6914298 14310178816 14849 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3493696 14849 3132 1 0 3482973 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13974784 [startup+1.50165 s] /proc/loadavg: 1.61 1.55 1.66 4/212 8315 /proc/meminfo: memFree=30846096/32770624 swapFree=0/246236 [pid=8252] ppid=8249 vsize=13985408 CPUtime=1.91 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 29538 12805 0 0 175 9 5 2 20 0 15 0 6914298 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3496352 42745 3363 1 0 3485533 0 [pid=8252/tid=8302] ppid=8249 vsize=13985408 CPUtime=1.29 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) S 8249 8252 3187 0 -1 1077944384 22407 12805 0 0 116 6 5 2 20 0 15 0 6914319 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140442258197792 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) R 8249 8252 3187 0 -1 4202560 66 12805 0 0 0 0 5 2 20 0 15 0 6914319 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442246607591 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) R 8249 8252 3187 0 -1 4202560 55 12805 0 0 1 0 5 2 20 0 15 0 6914319 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442247076124 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) R 8249 8252 3187 0 -1 4202560 187 12805 0 0 1 0 5 2 20 0 15 0 6914319 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442246607591 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) R 8249 8252 3187 0 -1 4202560 47 12805 0 0 1 0 5 2 20 0 15 0 6914319 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441850923400 140442246607591 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 1447 12805 0 0 1 0 5 2 20 0 15 0 6914321 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441732216224 140442253989589 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 33 12805 0 0 0 0 5 2 20 0 15 0 6914321 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441731163680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 21 12805 0 0 0 0 5 2 20 0 15 0 6914321 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441730110832 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=13985408 CPUtime=0.21 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) S 8249 8252 3187 0 -1 1077944384 994 12805 0 0 14 0 5 2 20 0 15 0 6914324 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441728006512 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=13985408 CPUtime=0.23 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) S 8249 8252 3187 0 -1 1077944384 711 12805 0 0 16 0 5 2 20 0 15 0 6914324 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441726953712 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=13985408 CPUtime=0.3 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 1403 12805 0 0 22 1 5 2 20 0 15 0 6914324 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=13985408 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 6 12805 0 0 0 0 5 2 20 0 15 0 6914327 14321057792 42745 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 1.91 Current children cumulated vsize (KiB) 13985408 [startup+3.10106 s] /proc/loadavg: 1.61 1.55 1.66 4/212 8315 /proc/meminfo: memFree=30748452/32770624 swapFree=0/246236 [pid=8252] ppid=8249 vsize=13995836 CPUtime=6.29 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 43142 12805 0 0 606 16 5 2 20 0 15 0 6914298 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3498959 59975 3443 1 0 3487581 0 [pid=8252/tid=8302] ppid=8249 vsize=13995836 CPUtime=2.88 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 28010 12805 0 0 272 9 5 2 20 0 15 0 6914319 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140442258210640 140441900419248 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 66 12805 0 0 0 0 5 2 20 0 15 0 6914319 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 55 12805 0 0 1 0 5 2 20 0 15 0 6914319 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 187 12805 0 0 1 0 5 2 20 0 15 0 6914319 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 47 12805 0 0 1 0 5 2 20 0 15 0 6914319 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 1644 12805 0 0 1 0 5 2 20 0 15 0 6914321 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 56 12805 0 0 0 0 5 2 20 0 15 0 6914321 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441731163680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 43 12805 0 0 0 0 5 2 20 0 15 0 6914321 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441730110832 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=13995836 CPUtime=1.12 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) R 8249 8252 3187 0 -1 4202560 2714 12805 0 0 105 0 5 2 20 0 15 0 6914324 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441727994064 140442235497265 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=13995836 CPUtime=1.24 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) R 8249 8252 3187 0 -1 4202560 4249 12805 0 0 116 1 5 2 20 0 15 0 6914324 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441726946200 140442238379616 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=13995836 CPUtime=1.13 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 3903 12805 0 0 104 2 5 2 20 0 15 0 6914324 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=13995836 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 7 12805 0 0 0 0 5 2 20 0 15 0 6914327 14331736064 59975 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13995836 [startup+6.301 s] /proc/loadavg: 1.61 1.55 1.66 4/212 8315 /proc/meminfo: memFree=30511464/32770624 swapFree=0/246240 [pid=8252] ppid=8249 vsize=14067516 CPUtime=16.06 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 82683 12805 0 0 1571 28 5 2 20 0 15 0 6914298 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3516879 101467 3470 1 0 3505501 0 [pid=8252/tid=8302] ppid=8249 vsize=14067516 CPUtime=5.91 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 49309 12805 0 0 571 13 5 2 20 0 15 0 6914319 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140442258200944 140441890696711 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14067516 CPUtime=0.19 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 168 12805 0 0 11 1 5 2 20 0 15 0 6914319 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14067516 CPUtime=0.18 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 98 12805 0 0 10 1 5 2 20 0 15 0 6914319 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14067516 CPUtime=0.19 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 392 12805 0 0 11 1 5 2 20 0 15 0 6914319 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14067516 CPUtime=0.19 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 118 12805 0 0 11 1 5 2 20 0 15 0 6914319 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14067516 CPUtime=0.11 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 3083 12805 0 0 4 0 5 2 20 0 15 0 6914321 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14067516 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 56 12805 0 0 0 0 5 2 20 0 15 0 6914321 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14067516 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 43 12805 0 0 0 0 5 2 20 0 15 0 6914321 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14067516 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=14067516 CPUtime=3.75 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) R 8249 8252 3187 0 -1 4202560 8099 12805 0 0 367 1 5 2 20 0 15 0 6914324 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441727991952 140442238097200 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=14067516 CPUtime=3.91 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) R 8249 8252 3187 0 -1 4202560 9366 12805 0 0 383 1 5 2 20 0 15 0 6914324 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441726939736 140442235504284 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=14067516 CPUtime=2.08 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) R 8249 8252 3187 0 -1 1077944384 9658 12805 0 0 197 4 5 2 20 0 15 0 6914324 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=14067516 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14067516 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 132 12805 0 0 0 0 5 2 20 0 15 0 6914327 14405136384 101467 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 16.06 Current children cumulated vsize (KiB) 14067516 [startup+12.7008 s] /proc/loadavg: 1.82 1.60 1.68 3/213 8317 /proc/meminfo: memFree=30085648/32770624 swapFree=0/246248 [pid=8252] ppid=8249 vsize=14069564 CPUtime=27.05 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 100283 12805 0 0 2652 46 5 2 20 0 15 0 6914298 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3517391 164985 3477 1 0 3506013 0 [pid=8252/tid=8302] ppid=8249 vsize=14069564 CPUtime=11.8 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 51675 12805 0 0 1158 15 5 2 20 0 15 0 6914319 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140442258212768 140441911714373 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14069564 CPUtime=0.58 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 376 12805 0 0 46 5 5 2 20 0 15 0 6914319 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14069564 CPUtime=0.57 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 1200 12805 0 0 45 5 5 2 20 0 15 0 6914319 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14069564 CPUtime=0.53 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 789 12805 0 0 41 5 5 2 20 0 15 0 6914319 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14069564 CPUtime=0.53 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 364 12805 0 0 41 5 5 2 20 0 15 0 6914319 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14069564 CPUtime=0.22 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 8047 12805 0 0 15 0 5 2 20 0 15 0 6914321 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 59 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 46 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 164985 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 ################ # More data... # ################ /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 342549 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14069564 CPUtime=0.09 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 716 12805 0 0 1 1 5 2 20 0 15 0 6914327 14407233536 342549 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 67.18 Current children cumulated vsize (KiB) 14069564 [startup+102.301 s] /proc/loadavg: 1.55 1.54 1.65 3/214 8320 /proc/meminfo: memFree=28817312/32770624 swapFree=0/246312 [pid=8252] ppid=8249 vsize=14069564 CPUtime=120.06 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 135346 12805 0 0 11849 150 5 2 20 0 15 0 6914298 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3517391 442110 3486 1 0 3506013 0 [pid=8252/tid=8302] ppid=8249 vsize=14069564 CPUtime=100.84 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 61974 12805 0 0 10057 20 5 2 20 0 15 0 6914319 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140442258210720 140441902404266 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14069564 CPUtime=1.12 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 1287 12805 0 0 76 29 5 2 20 0 15 0 6914319 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14069564 CPUtime=1.1 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 1937 12805 0 0 74 29 5 2 20 0 15 0 6914319 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14069564 CPUtime=1.07 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 2616 12805 0 0 71 29 5 2 20 0 15 0 6914319 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14069564 CPUtime=1.06 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 1002 12805 0 0 70 29 5 2 20 0 15 0 6914319 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14069564 CPUtime=0.24 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 9050 12805 0 0 17 0 5 2 20 0 15 0 6914321 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 69 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 46 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=14069564 CPUtime=6.25 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) S 8249 8252 3187 0 -1 1077944384 18291 12805 0 0 617 1 5 2 20 0 15 0 6914324 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441728006512 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=14069564 CPUtime=6.31 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) S 8249 8252 3187 0 -1 1077944384 19629 12805 0 0 621 3 5 2 20 0 15 0 6914324 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441726953712 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=14069564 CPUtime=2.45 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 16567 12805 0 0 234 4 5 2 20 0 15 0 6914324 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14069564 CPUtime=0.11 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 717 12805 0 0 3 1 5 2 20 0 15 0 6914327 14407233536 442110 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 120.06 Current children cumulated vsize (KiB) 14069564 [startup+162.301 s] /proc/loadavg: 1.44 1.51 1.63 3/214 8322 /proc/meminfo: memFree=29471136/32770624 swapFree=0/246352 [pid=8252] ppid=8249 vsize=14069564 CPUtime=181.07 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 149698 12805 0 0 17937 163 5 2 20 0 15 0 6914298 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3517391 377430 3486 1 0 3506013 0 [pid=8252/tid=8302] ppid=8249 vsize=14069564 CPUtime=160.61 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 67015 12805 0 0 16033 21 5 2 20 0 15 0 6914319 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140442258212968 140441902404203 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14069564 CPUtime=1.32 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 1458 12805 0 0 94 31 5 2 20 0 15 0 6914319 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14069564 CPUtime=1.31 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 2389 12805 0 0 92 32 5 2 20 0 15 0 6914319 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14069564 CPUtime=1.27 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 2760 12805 0 0 89 31 5 2 20 0 15 0 6914319 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14069564 CPUtime=1.27 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 1973 12805 0 0 88 32 5 2 20 0 15 0 6914319 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14069564 CPUtime=0.26 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 9297 12805 0 0 18 1 5 2 20 0 15 0 6914321 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 72 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 46 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=14069564 CPUtime=6.42 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) S 8249 8252 3187 0 -1 1077944384 21167 12805 0 0 633 2 5 2 20 0 15 0 6914324 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441728006512 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=14069564 CPUtime=6.5 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) S 8249 8252 3187 0 -1 1077944384 21166 12805 0 0 640 3 5 2 20 0 15 0 6914324 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441726953712 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=14069564 CPUtime=2.51 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 19394 12805 0 0 239 5 5 2 20 0 15 0 6914324 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14069564 CPUtime=0.14 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 800 12805 0 0 5 2 5 2 20 0 15 0 6914327 14407233536 377430 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 181.07 Current children cumulated vsize (KiB) 14069564 [startup+222.307 s] /proc/loadavg: 1.39 1.47 1.61 3/214 8463 /proc/meminfo: memFree=30464812/32770624 swapFree=0/246448 [pid=8252] ppid=8249 vsize=14069564 CPUtime=242.53 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 164040 12805 0 0 24070 176 5 2 20 0 15 0 6914298 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3517391 288161 3486 1 0 3506013 0 [pid=8252/tid=8302] ppid=8249 vsize=14069564 CPUtime=220.23 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 71732 12805 0 0 21994 22 5 2 20 0 15 0 6914319 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140442258212336 140441911298325 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14069564 CPUtime=1.68 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 1719 12805 0 0 127 34 5 2 20 0 15 0 6914319 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14069564 CPUtime=1.67 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 2551 12805 0 0 125 35 5 2 20 0 15 0 6914319 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14069564 CPUtime=1.63 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 4278 12805 0 0 122 34 5 2 20 0 15 0 6914319 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14069564 CPUtime=1.63 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 2162 12805 0 0 122 34 5 2 20 0 15 0 6914319 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14069564 CPUtime=0.27 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 9564 12805 0 0 19 1 5 2 20 0 15 0 6914321 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 77 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 46 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=14069564 CPUtime=6.57 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) S 8249 8252 3187 0 -1 1077944384 23591 12805 0 0 648 2 5 2 20 0 15 0 6914324 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441728006512 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=14069564 CPUtime=6.65 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) S 8249 8252 3187 0 -1 1077944384 22882 12805 0 0 655 3 5 2 20 0 15 0 6914324 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441726953712 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=14069564 CPUtime=2.55 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 22441 12805 0 0 243 5 5 2 20 0 15 0 6914324 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14069564 CPUtime=0.17 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 836 12805 0 0 6 4 5 2 20 0 15 0 6914327 14407233536 288161 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 242.53 Current children cumulated vsize (KiB) 14069564 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.52 1.50 1.61 3/214 8463 /proc/meminfo: memFree=29828324/32770624 swapFree=0/246476 [pid=8252] ppid=8249 vsize=14069564 CPUtime=260.76 cores=0,2,4,6 /proc/8252/stat : 8252 (java) S 8249 8252 3187 0 -1 1077944320 172148 12805 0 0 25886 183 5 2 20 0 15 0 6914298 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140730084719728 140442253979383 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 /proc/8252/statm: 3517391 301016 3486 1 0 3506013 0 [pid=8252/tid=8302] ppid=8249 vsize=14069564 CPUtime=237.77 cores=0,2,4,6 /proc/8252/task/8302/stat : 8302 (java) R 8249 8252 3187 0 -1 4202560 73777 12805 0 0 23748 22 5 2 20 0 15 0 6914319 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140442258212792 140441902404759 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8303] ppid=8249 vsize=14069564 CPUtime=1.82 cores=0,2,4,6 /proc/8252/task/8303/stat : 8303 (java) S 8249 8252 3187 0 -1 1077944384 1854 12805 0 0 140 35 5 2 20 0 15 0 6914319 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140442210945680 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8304] ppid=8249 vsize=14069564 CPUtime=1.81 cores=0,2,4,6 /proc/8252/task/8304/stat : 8304 (java) S 8249 8252 3187 0 -1 1077944384 3922 12805 0 0 138 36 5 2 20 0 15 0 6914319 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441853028880 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8305] ppid=8249 vsize=14069564 CPUtime=1.77 cores=0,2,4,6 /proc/8252/task/8305/stat : 8305 (java) S 8249 8252 3187 0 -1 1077944384 4396 12805 0 0 135 35 5 2 20 0 15 0 6914319 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441851976080 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8306] ppid=8249 vsize=14069564 CPUtime=1.77 cores=0,2,4,6 /proc/8252/task/8306/stat : 8306 (java) S 8249 8252 3187 0 -1 1077944384 2322 12805 0 0 134 36 5 2 20 0 15 0 6914319 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441850923280 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8307] ppid=8249 vsize=14069564 CPUtime=0.28 cores=0,2,4,6 /proc/8252/task/8307/stat : 8307 (java) S 8249 8252 3187 0 -1 1077944384 9863 12805 0 0 20 1 5 2 20 0 15 0 6914321 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441732217712 140442253990530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8308] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8308/stat : 8308 (java) S 8249 8252 3187 0 -1 1077944384 81 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441731163744 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8309] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8309/stat : 8309 (java) S 8249 8252 3187 0 -1 1077944384 46 12805 0 0 0 0 5 2 20 0 15 0 6914321 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441730110848 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8310] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8310/stat : 8310 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441729059152 140442253997979 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8311] ppid=8249 vsize=14069564 CPUtime=6.61 cores=0,2,4,6 /proc/8252/task/8311/stat : 8311 (java) S 8249 8252 3187 0 -1 1077944384 25173 12805 0 0 652 2 5 2 20 0 15 0 6914324 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441728006512 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8312] ppid=8249 vsize=14069564 CPUtime=6.7 cores=0,2,4,6 /proc/8252/task/8312/stat : 8312 (java) S 8249 8252 3187 0 -1 1077944384 24177 12805 0 0 660 3 5 2 20 0 15 0 6914324 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441726953712 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8313] ppid=8249 vsize=14069564 CPUtime=2.56 cores=0,2,4,6 /proc/8252/task/8313/stat : 8313 (java) S 8249 8252 3187 0 -1 1077944384 23459 12805 0 0 244 5 5 2 20 0 15 0 6914324 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441725900912 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8314] ppid=8249 vsize=14069564 CPUtime=0.07 cores=0,2,4,6 /proc/8252/task/8314/stat : 8314 (java) S 8249 8252 3187 0 -1 1077944384 3 12805 0 0 0 0 5 2 20 0 15 0 6914324 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441724848352 140442253989589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 [pid=8252/tid=8315] ppid=8249 vsize=14069564 CPUtime=0.17 cores=0,2,4,6 /proc/8252/task/8315/stat : 8315 (java) S 8249 8252 3187 0 -1 1077944384 917 12805 0 0 6 4 5 2 20 0 15 0 6914327 14407233536 301016 18446744073709551615 4194304 4196468 140730084737184 140441723796656 140442253990530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25137152 140730084743118 140730084745903 140730084745903 140730084749263 0 Current children cumulated CPU time (s) 260.76 Current children cumulated vsize (KiB) 14069564 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 8252 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.035 CPU time (s): 260.828 CPU user time (s): 258.946 CPU system time (s): 1.88254 CPU usage (%): 108.663 Max. virtual memory (cumulated for all children) (KiB): 14072020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 258.946 system time used= 1.88254 maximum resident set size= 1815552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187551 page faults= 0 swaps= 0 block input operations= 0 block output operations= 16 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15976 involuntary context switches= 1049 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.12308 second user time and 1.49914 second system time The end
Begin job on node135 at 2017-08-02 06:46:36 IDJOB=4259850 IDBENCH=124400 IDSOLVER=2646 FILE ID=node135/4259850-1501650037 RUNJOBID= node135-1501639717-27966 PBS_JOBID= Free space on /tmp= 61816 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259850-1501650037/watcher-4259850-1501650037 -o /tmp/evaluation-result-4259850-1501650037/solver-4259850-1501650037 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259850-1501650037.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 22a404b8d6219eda7de384223800de36 RANDOM SEED=1919947025 node135.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.21 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.21 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.21 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.21 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: 30943144 kB MemAvailable: 31212840 kB Buffers: 125364 kB Cached: 421964 kB SwapCached: 0 kB Active: 1154956 kB Inactive: 254516 kB Active(anon): 863216 kB Inactive(anon): 8592 kB Active(file): 291740 kB Inactive(file): 245924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24280 kB Writeback: 4 kB AnonPages: 863148 kB Mapped: 42364 kB Shmem: 8960 kB Slab: 122504 kB SReclaimable: 95732 kB SUnreclaim: 26772 kB KernelStack: 3472 kB PageTables: 6180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1866208 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 630784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61792 MiB End job on node135 at 2017-08-02 06:50:36