Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Concrete 3.4 | SAT (TO) | 1609 | 2400.1 | 2315.06 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml |
MD5SUM | 204525c81941dcb64589d695195e220f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1407 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3660 |
Number of constraints | 3599 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}] |
Minimum variable degree | 0 |
Maximum variable degree | 117 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 59 |
Distribution of constraint arities | [{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 59 |
Distribution of constraint types | [{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}] |
Optimization problem | YES |
Type of objective | min SUM |
3.72/2.18 c Concrete v3.4 running 22.52/6.80 o 3700 23.54/7.11 o 3667 24.20/7.42 o 3599 25.04/7.95 o 3544 25.40/8.19 o 3495 26.03/8.49 o 3492 26.51/8.69 o 3483 26.73/8.88 o 3475 26.98/9.09 o 3458 27.22/9.29 o 3451 27.42/9.48 o 3447 27.64/9.67 o 3427 27.97/9.89 o 3348 28.36/10.13 o 3312 28.56/10.32 o 3279 28.77/10.50 o 3260 28.97/10.72 o 3257 29.19/10.92 o 3189 29.62/11.17 o 3168 30.02/11.55 o 3166 30.23/11.76 o 3145 30.44/11.97 o 3141 30.67/12.18 o 3122 31.24/12.50 o 3077 31.44/12.74 o 3071 31.95/13.21 o 3035 32.56/13.74 o 3007 32.76/13.96 o 2994 33.36/14.50 o 2968 34.96/15.70 o 2964 35.17/15.99 o 2950 35.47/16.27 o 2942 35.78/16.55 o 2941 36.07/16.82 o 2909 36.30/17.09 o 2903 36.89/17.40 o 2900 37.10/17.68 o 2887 37.39/17.95 o 2882 37.78/18.21 o 2868 37.98/18.47 o 2859 38.90/19.32 o 2837 39.20/19.61 o 2822 40.18/20.48 o 2816 40.74/20.80 o 2809 40.96/21.08 o 2783 41.58/21.69 o 2779 42.91/22.91 o 2768 43.12/23.18 o 2752 44.02/23.88 o 2744 44.47/24.26 o 2743 45.05/24.56 o 2718 45.35/24.87 o 2709 45.77/25.23 o 2706 46.07/25.53 o 2700 46.68/26.15 o 2688 46.99/26.43 o 2678 47.69/27.12 o 2659 49.54/28.51 o 2644 52.80/31.63 o 2637 53.97/32.52 o 2633 55.45/33.99 o 2632 56.67/35.14 o 2630 56.97/35.45 o 2625 57.57/36.04 o 2613 60.12/38.29 o 2611 61.04/39.15 o 2595 61.96/40.04 o 2552 62.26/40.31 o 2533 63.79/41.87 o 2532 64.70/42.72 o 2531 69.38/47.16 o 2512 71.20/48.92 o 2472 71.71/49.49 o 2408 74.87/52.18 o 2407 76.18/53.42 o 2401 78.21/55.48 o 2398 82.33/59.40 o 2391 86.35/63.33 o 2388 87.27/64.21 o 2387 88.29/65.15 o 2381 88.59/65.47 o 2366 93.46/70.26 o 2358 94.57/71.34 o 2352 94.77/71.59 o 2337 97.31/73.86 o 2336 99.63/76.18 o 2306 104.39/80.68 o 2305 105.51/81.72 o 2294 106.11/82.31 o 2293 106.61/82.83 o 2286 107.82/84.00 o 2273 112.46/88.28 o 2265 112.66/88.48 o 2261 113.17/88.93 o 2249 114.50/90.21 o 2230 114.99/90.74 o 2227 115.50/91.25 o 2220 117.22/92.90 o 2194 122.20/97.56 o 2192 122.40/97.77 o 2183 123.11/98.48 o 2165 125.82/101.20 o 2123 126.12/101.47 o 2118 127.93/103.27 o 2091 130.17/105.25 o 2086 131.18/106.27 o 2082 131.48/106.51 o 2073 138.98/113.61 o 2065 144.14/118.77 o 2062 146.57/120.82 o 2059 148.08/122.30 o 2052 148.28/122.58 o 2015 148.59/122.82 o 2007 148.89/123.10 o 2005 149.10/123.39 o 2000 149.40/123.69 o 1993 153.33/127.57 o 1989 155.86/130.02 o 1960 157.63/131.71 o 1958 158.14/132.29 o 1956 158.75/132.84 o 1949 159.66/133.73 o 1941 167.36/141.03 o 1938 171.60/145.25 o 1907 171.80/145.48 o 1906 174.10/147.64 o 1899 178.45/151.92 o 1887 178.75/152.23 o 1881 181.68/155.14 o 1868 184.77/158.19 o 1857 188.19/161.54 o 1856 189.91/163.28 o 1834 195.22/168.44 o 1821 197.93/171.12 o 1817 202.14/175.21 o 1815 204.87/177.96 o 1814 214.14/186.95 o 1796 215.75/188.55 o 1787 217.57/190.32 o 1775 230.97/203.38 o 1768 231.78/204.10 o 1747 248.82/220.64 o 1745 257.75/229.34 o 1717 317.60/287.18 o 1702 321.24/290.66 o 1695 331.04/300.00 o 1688 390.59/356.93 o 1687 397.05/362.86 o 1681 429.88/392.58 o 1678 430.19/392.81 o 1676 454.49/415.49 o 1672 462.69/423.19 o 1671 523.41/481.18 o 1669 862.42/803.79 o 1654 864.10/805.27 o 1653 947.71/883.39 o 1644 949.52/885.11 o 1642 992.57/925.04 o 1639 996.20/928.60 o 1638 1468.70/1389.47 o 1627 1469.59/1390.30 o 1617 1493.00/1413.51 o 1615 1985.40/1903.04 o 1613 1986.50/1904.19 o 1609 2400.02/2315.01 java.util.concurrent.TimeoutException 2400.02/2315.01 at concrete.MAC.mac(MAC.scala:74) 2400.02/2315.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.02/2315.01 at scala.util.Try$.apply(Try.scala:209) 2400.02/2315.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.02/2315.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.02/2315.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.02/2315.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.02/2315.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.02/2315.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.02/2315.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.02/2315.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.02/2315.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.02/2315.01 at concrete.MAC.oneRun(MAC.scala:146) 2400.02/2315.01 at concrete.MAC.nextSolution(MAC.scala:166) 2400.02/2315.01 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.02/2315.01 at concrete.ProblemState.map(ProblemState.scala:203) 2400.02/2315.01 at concrete.ProblemState.map(ProblemState.scala:188) 2400.02/2315.01 at concrete.MAC.nextSolution(MAC.scala:195) 2400.02/2315.01 at concrete.Solver.hasNext(Solver.scala:202) 2400.02/2315.01 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.02/2315.01 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.02/2315.01 at concrete.Solver.toStream(Solver.scala:73) 2400.02/2315.01 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.02/2315.01 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.02/2315.01 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.02/2315.01 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.02/2315.01 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.02/2315.01 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.02/2315.01 at scala.util.Success.map(Try.scala:209) 2400.02/2315.01 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.02/2315.01 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.02/2315.01 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.02/2315.01 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.02/2315.01 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.02/2315.01 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.02/2315.01 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.02/2315.01 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.02/2315.01 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.02/2315.01 at scala.collection.immutable.List.foreach(List.scala:389) 2400.02/2315.01 at scala.App.main(App.scala:76) 2400.02/2315.01 at scala.App.main$(App.scala:74) 2400.02/2315.01 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.02/2315.01 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.02/2315.01 v <instantiation cost="1609"> 2400.02/2315.01 v <list> 2400.02/2315.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 2400.02/2315.01 v </list> 2400.02/2315.01 v <values> 2400.02/2315.01 v 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 29 13 88 62 63 19 92 48 56 69 81 81 68 16 42 100 54 100 100 89 51 100 83 100 18 100 56 36 97 65 76 58 98 11 21 56 58 42 26 13 23 89 63 47 54 46 100 80 36 7 82 60 34 100 30 100 80 46 25 2400.02/2315.01 v </values> 2400.02/2315.01 v </instantiation> 2400.02/2315.02 s SATISFIABLE
OK 1609
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-4246336-1500713522/watcher-4246336-1500713522 -o /tmp/evaluation-result-4246336-1500713522/solver-4246336-1500713522 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4246336-1500713522.xml pid=18215 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.42 1.55 1.52 3/261 18218 /proc/meminfo: memFree=30649268/32770624 swapFree=5720/288616 [pid=18218] ppid=18215 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (bash) S 18215 18218 16473 0 -1 4202496 685 1533 0 0 0 0 0 0 20 0 1 0 6621352 9736192 350 33554432000 4194304 5098028 140724132716768 140724132714408 140372430851072 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 25694208 140724132721934 140724132722019 140724132722019 140724132724718 0 /proc/18218/statm: 2377 350 277 221 0 86 0 [startup+0.100061 s] /proc/loadavg: 1.42 1.55 1.52 3/261 18218 /proc/meminfo: memFree=30649268/32770624 swapFree=5720/288616 [pid=18218] ppid=18215 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (bash) S 18215 18218 16473 0 -1 4202496 879 6423 0 0 0 0 0 1 20 0 1 0 6621352 9871360 378 33554432000 4194304 5098028 140724132716768 140724132710776 140372430851072 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 25694208 140724132721934 140724132722019 140724132722019 140724132724718 0 /proc/18218/statm: 2410 378 296 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200309 s] /proc/loadavg: 1.42 1.55 1.52 3/261 18218 /proc/meminfo: memFree=30649268/32770624 swapFree=5720/288616 [pid=18218] ppid=18215 vsize=10702116 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 5136 12599 0 0 7 1 6 3 20 0 17 0 6621352 10958966784 5414 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2675786 5414 2170 1 0 2664224 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 10702116 [startup+0.300334 s] /proc/loadavg: 1.42 1.55 1.52 3/261 18218 /proc/meminfo: memFree=30649268/32770624 swapFree=5720/288616 [pid=18218] ppid=18215 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 9507 12599 0 0 24 2 6 3 20 0 20 0 6621352 11164049408 10550 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2725598 10550 2975 1 0 2713890 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 10902392 [startup+0.700195 s] /proc/loadavg: 1.42 1.55 1.52 3/261 18218 /proc/meminfo: memFree=30649268/32770624 swapFree=5720/288616 [pid=18218] ppid=18215 vsize=10902720 CPUtime=0.95 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 12847 12599 0 0 82 4 6 3 20 0 20 0 6621352 11164385280 16114 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2725680 16114 3218 1 0 2713890 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 10902720 [startup+1.50071 s] /proc/loadavg: 1.42 1.55 1.52 5/281 18291 /proc/meminfo: memFree=30553800/32770624 swapFree=5720/288776 [pid=18218] ppid=18215 vsize=10913344 CPUtime=2.3 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 26968 12599 0 0 207 14 6 3 20 0 20 0 6621352 11175264256 44064 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2728336 44064 3408 1 0 2716450 0 [pid=18218/tid=18273] ppid=18215 vsize=10913344 CPUtime=1.41 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) R 18215 18218 16473 0 -1 4202560 19222 12599 0 0 127 5 6 3 20 0 20 0 6621363 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446515827200 140446491796060 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) S 18215 18218 16473 0 -1 1077944384 24 12599 0 0 0 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446118439824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) S 18215 18218 16473 0 -1 1077944384 26 12599 0 0 0 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446117387024 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 145 12599 0 0 1 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446116334736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) S 18215 18218 16473 0 -1 1077944384 47 12599 0 0 0 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446115281936 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) S 18215 18218 16473 0 -1 1077944384 17 12599 0 0 0 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446114228624 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) S 18215 18218 16473 0 -1 1077944384 21 12599 0 0 1 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446113175824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) S 18215 18218 16473 0 -1 1077944384 26 12599 0 0 0 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446112123536 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) S 18215 18218 16473 0 -1 1077944384 20 12599 0 0 1 0 6 3 20 0 20 0 6621364 11175264256 44064 33554432000 4194304 4196468 140724845499376 140446111070736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 1243 12599 0 0 1 0 6 3 20 0 20 0 6621367 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445986134640 140446511610498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 56 12599 0 0 0 0 6 3 20 0 20 0 6621367 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 44 12599 0 0 0 0 6 3 20 0 20 0 6621368 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10913344 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) S 18215 18218 16473 0 -1 1077944384 873 12599 0 0 12 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445981923440 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) R 18215 18218 16473 0 -1 4202560 619 12599 0 0 11 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445980856736 140446493120218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 1175 12599 0 0 18 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445979818352 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) R 18215 18218 16473 0 -1 4202560 1274 12599 0 0 27 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445978765552 140446489967870 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621373 11175264256 44064 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 10913344 [startup+3.10117 s] /proc/loadavg: 1.42 1.55 1.52 4/281 18291 /proc/meminfo: memFree=30489236/32770624 swapFree=5720/288932 [pid=18218] ppid=18215 vsize=10923772 CPUtime=7.39 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 42258 12599 0 0 712 18 6 3 20 0 20 0 6621352 11185942528 59532 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2730943 59532 3479 1 0 2718498 0 [pid=18218/tid=18273] ppid=18215 vsize=10923772 CPUtime=3.01 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) R 18215 18218 16473 0 -1 4202560 24965 12599 0 0 285 7 6 3 20 0 20 0 6621363 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446515828408 140446118580533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) S 18215 18218 16473 0 -1 1077944384 24 12599 0 0 0 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446118439824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) S 18215 18218 16473 0 -1 1077944384 26 12599 0 0 0 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446117387024 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 145 12599 0 0 1 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446116334736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) S 18215 18218 16473 0 -1 1077944384 47 12599 0 0 0 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446115281936 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) S 18215 18218 16473 0 -1 1077944384 17 12599 0 0 0 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446114228624 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) S 18215 18218 16473 0 -1 1077944384 21 12599 0 0 1 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446113175824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) S 18215 18218 16473 0 -1 1077944384 26 12599 0 0 0 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446112123536 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) S 18215 18218 16473 0 -1 1077944384 20 12599 0 0 1 0 6 3 20 0 20 0 6621364 11185942528 59532 33554432000 4194304 4196468 140724845499376 140446111070736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 1475 12599 0 0 2 0 6 3 20 0 20 0 6621367 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445986134640 140446511610498 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 56 12599 0 0 0 0 6 3 20 0 20 0 6621367 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 44 12599 0 0 0 0 6 3 20 0 20 0 6621368 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) R 18215 18218 16473 0 -1 4202560 2004 12599 0 0 94 0 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445981904304 140446496499632 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10923772 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) R 18215 18218 16473 0 -1 4202560 1878 12599 0 0 93 0 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445980856896 140446490843243 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10923772 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) R 18215 18218 16473 0 -1 4202560 4982 12599 0 0 115 1 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445979804752 140446491255104 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10923772 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 4390 12599 0 0 112 1 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10923772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 5 12599 0 0 0 0 6 3 20 0 20 0 6621373 11185942528 59532 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 7.39 Current children cumulated vsize (KiB) 10923772 [startup+6.30078 s] /proc/loadavg: 1.79 1.62 1.55 6/281 18291 /proc/meminfo: memFree=30357264/32770624 swapFree=5720/288944 [pid=18218] ppid=18215 vsize=10997500 CPUtime=19.57 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 82798 12599 0 0 1907 41 6 3 20 0 20 0 6621352 11261440000 100719 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2749375 100719 3515 1 0 2736930 0 [pid=18218/tid=18273] ppid=18215 vsize=10997500 CPUtime=5.95 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) S 18215 18218 16473 0 -1 1077944384 41867 12599 0 0 576 10 6 3 20 0 20 0 6621363 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446515837008 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) R 18215 18218 16473 0 -1 4202560 81 12599 0 0 15 2 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446118439944 140446504227559 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) R 18215 18218 16473 0 -1 4202560 285 12599 0 0 14 3 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446117387144 140446504227559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 228 12599 0 0 14 2 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446116334544 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10997500 CPUtime=0.24 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) R 18215 18218 16473 0 -1 4202560 129 12599 0 0 13 2 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446115282136 140446496300352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) R 18215 18218 16473 0 -1 4202560 115 12599 0 0 14 2 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446114228744 140446497358168 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10997500 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) R 18215 18218 16473 0 -1 4202560 349 12599 0 0 14 2 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446113175944 140446504227559 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) R 18215 18218 16473 0 -1 4202560 113 12599 0 0 15 3 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446112123656 140446504227559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) R 18215 18218 16473 0 -1 4202560 102 12599 0 0 15 3 6 3 20 0 20 0 6621364 11261440000 100719 33554432000 4194304 4196468 140724845499376 140446111070856 140446504227559 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10997500 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 6545 12599 0 0 8 0 6 3 20 0 20 0 6621367 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445986133264 140446511609557 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 57 12599 0 0 0 0 6 3 20 0 20 0 6621367 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 44 12599 0 0 0 0 6 3 20 0 20 0 6621368 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10997500 CPUtime=3.19 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) S 18215 18218 16473 0 -1 1077944384 5095 12599 0 0 309 1 6 3 20 0 20 0 6621372 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445981913568 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10997500 CPUtime=3.26 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) S 18215 18218 16473 0 -1 1077944384 4608 12599 0 0 316 1 6 3 20 0 20 0 6621372 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445980849872 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10997500 CPUtime=3.41 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 7803 12599 0 0 331 1 6 3 20 0 20 0 6621372 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445979803344 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10997500 CPUtime=2.55 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 13165 12599 0 0 244 2 6 3 20 0 20 0 6621372 11261440000 100719 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=18218/tid=18287] ppid=18215 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) S 18215 18218 16473 0 -1 1077944384 39966 12599 0 0 745 6 6 3 20 0 20 0 6621372 11261440000 808084 33554432000 4194304 4196468 140724845499376 140445980870640 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 39021 12599 0 0 743 6 6 3 20 0 20 0 6621372 11261440000 808084 33554432000 4194304 4196468 140724845499376 140445979818352 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10997500 CPUtime=4.76 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 64309 12599 0 0 459 8 6 3 20 0 20 0 6621372 11261440000 808084 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808084 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10997500 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 3082 12599 0 0 59 54 6 3 20 0 20 0 6621373 11261440000 808084 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 2226.35 Current children cumulated vsize (KiB) 10997500 [startup+2202.31 s] /proc/loadavg: 1.69 1.82 1.78 3/281 18516 /proc/meminfo: memFree=25622744/32770624 swapFree=5720/291592 [pid=18218] ppid=18215 vsize=10997500 CPUtime=2286.78 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 473201 12599 0 0 226330 2339 6 3 20 0 20 0 6621352 11261440000 808085 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2749375 808085 3530 1 0 2736930 0 [pid=18218/tid=18273] ppid=18215 vsize=10997500 CPUtime=2191.27 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) R 18215 18218 16473 0 -1 4202560 164972 12599 0 0 219056 62 6 3 20 0 20 0 6621363 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446515832784 140446121821699 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10997500 CPUtime=8.28 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) S 18215 18218 16473 0 -1 1077944384 16346 12599 0 0 543 276 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446118439824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10997500 CPUtime=8.24 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) S 18215 18218 16473 0 -1 1077944384 12594 12599 0 0 540 275 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446117387024 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10997500 CPUtime=8.44 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 9653 12599 0 0 552 283 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446116334736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10997500 CPUtime=8.34 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) S 18215 18218 16473 0 -1 1077944384 8283 12599 0 0 546 279 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446115281936 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10997500 CPUtime=8.19 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) S 18215 18218 16473 0 -1 1077944384 11419 12599 0 0 536 274 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446114228624 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10997500 CPUtime=8.29 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) S 18215 18218 16473 0 -1 1077944384 11970 12599 0 0 546 274 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446113175824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10997500 CPUtime=8.43 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) S 18215 18218 16473 0 -1 1077944384 12213 12599 0 0 558 276 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446112123536 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10997500 CPUtime=8.26 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) S 18215 18218 16473 0 -1 1077944384 11490 12599 0 0 537 280 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446111070736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 27554 12599 0 0 110 19 6 3 20 0 20 0 6621367 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445986134640 140446511610498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 127 12599 0 0 0 0 6 3 20 0 20 0 6621367 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 47 12599 0 0 0 0 6 3 20 0 20 0 6621368 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) S 18215 18218 16473 0 -1 1077944384 37982 12599 0 0 741 7 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445981923440 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) S 18215 18218 16473 0 -1 1077944384 39975 12599 0 0 745 6 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445980870640 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 39025 12599 0 0 743 6 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445979818352 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10997500 CPUtime=4.77 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 64312 12599 0 0 459 9 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10997500 CPUtime=1.26 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 3106 12599 0 0 61 56 6 3 20 0 20 0 6621373 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 2286.78 Current children cumulated vsize (KiB) 10997500 [startup+2262.3 s] /proc/loadavg: 1.84 1.84 1.79 3/281 18517 /proc/meminfo: memFree=25784452/32770624 swapFree=5720/291676 [pid=18218] ppid=18215 vsize=10997500 CPUtime=2347.08 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 479455 12599 0 0 232358 2341 6 3 20 0 20 0 6621352 11261440000 808085 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2749375 808085 3530 1 0 2736930 0 [pid=18218/tid=18273] ppid=18215 vsize=10997500 CPUtime=2251.19 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) R 18215 18218 16473 0 -1 4202560 168823 12599 0 0 225047 63 6 3 20 0 20 0 6621363 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446515833120 140446139718683 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10997500 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) S 18215 18218 16473 0 -1 1077944384 16372 12599 0 0 546 276 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446118439824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10997500 CPUtime=8.28 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) S 18215 18218 16473 0 -1 1077944384 12616 12599 0 0 544 275 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446117387024 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 9680 12599 0 0 556 283 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446116334736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10997500 CPUtime=8.39 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) S 18215 18218 16473 0 -1 1077944384 8310 12599 0 0 551 279 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446115281936 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10997500 CPUtime=8.24 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) S 18215 18218 16473 0 -1 1077944384 11713 12599 0 0 541 274 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446114228624 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10997500 CPUtime=8.33 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) S 18215 18218 16473 0 -1 1077944384 12038 12599 0 0 550 274 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446113175824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10997500 CPUtime=8.48 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) S 18215 18218 16473 0 -1 1077944384 12278 12599 0 0 562 277 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446112123536 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10997500 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) S 18215 18218 16473 0 -1 1077944384 12953 12599 0 0 542 280 6 3 20 0 20 0 6621364 11261440000 808085 33554432000 4194304 4196468 140724845499376 140446111070736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 27913 12599 0 0 111 19 6 3 20 0 20 0 6621367 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445986134640 140446511610498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 127 12599 0 0 0 0 6 3 20 0 20 0 6621367 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 47 12599 0 0 0 0 6 3 20 0 20 0 6621368 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) S 18215 18218 16473 0 -1 1077944384 37985 12599 0 0 741 7 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445981923440 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) S 18215 18218 16473 0 -1 1077944384 39977 12599 0 0 745 6 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445980870640 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 39027 12599 0 0 743 6 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445979818352 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10997500 CPUtime=4.77 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 64314 12599 0 0 459 9 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10997500 CPUtime=1.29 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 3149 12599 0 0 62 58 6 3 20 0 20 0 6621373 11261440000 808085 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 2347.08 Current children cumulated vsize (KiB) 10997500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2315 s] /proc/loadavg: 1.93 1.86 1.80 3/281 18525 /proc/meminfo: memFree=25951480/32770624 swapFree=5720/291732 [pid=18218] ppid=18215 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14 /proc/18218/stat : 18218 (java) S 18215 18218 16473 0 -1 1077944320 484335 12599 0 0 237650 2343 6 3 20 0 20 0 6621352 11261440000 808086 33554432000 4194304 4196468 140724845499376 140724845481920 140446511599351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 /proc/18218/statm: 2749375 808086 3530 1 0 2736930 0 [pid=18218/tid=18273] ppid=18215 vsize=10997500 CPUtime=2303.83 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18273/stat : 18273 (java) R 18215 18218 16473 0 -1 4202560 171273 12599 0 0 230311 63 6 3 20 0 20 0 6621363 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446515832816 140446139719404 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18274] ppid=18215 vsize=10997500 CPUtime=8.35 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18274/stat : 18274 (java) S 18215 18218 16473 0 -1 1077944384 17832 12599 0 0 550 276 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446118439824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18275] ppid=18215 vsize=10997500 CPUtime=8.31 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18275/stat : 18275 (java) S 18215 18218 16473 0 -1 1077944384 12676 12599 0 0 547 275 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446117387024 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18276] ppid=18215 vsize=10997500 CPUtime=8.52 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18276/stat : 18276 (java) S 18215 18218 16473 0 -1 1077944384 9703 12599 0 0 560 283 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446116334736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18277] ppid=18215 vsize=10997500 CPUtime=8.42 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18277/stat : 18277 (java) S 18215 18218 16473 0 -1 1077944384 8330 12599 0 0 554 279 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446115281936 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18278] ppid=18215 vsize=10997500 CPUtime=8.27 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18278/stat : 18278 (java) S 18215 18218 16473 0 -1 1077944384 11917 12599 0 0 544 274 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446114228624 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18279] ppid=18215 vsize=10997500 CPUtime=8.36 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18279/stat : 18279 (java) S 18215 18218 16473 0 -1 1077944384 12209 12599 0 0 553 274 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446113175824 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18280] ppid=18215 vsize=10997500 CPUtime=8.52 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18280/stat : 18280 (java) S 18215 18218 16473 0 -1 1077944384 12299 12599 0 0 566 277 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446112123536 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18281] ppid=18215 vsize=10997500 CPUtime=8.34 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18281/stat : 18281 (java) S 18215 18218 16473 0 -1 1077944384 13055 12599 0 0 545 280 6 3 20 0 20 0 6621364 11261440000 808086 33554432000 4194304 4196468 140724845499376 140446111070736 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18282] ppid=18215 vsize=10997500 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18282/stat : 18282 (java) S 18215 18218 16473 0 -1 1077944384 28256 12599 0 0 111 19 6 3 20 0 20 0 6621367 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445986134640 140446511610498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18283] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18283/stat : 18283 (java) S 18215 18218 16473 0 -1 1077944384 127 12599 0 0 0 0 6 3 20 0 20 0 6621367 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445985080672 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18284] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18284/stat : 18284 (java) S 18215 18218 16473 0 -1 1077944384 47 12599 0 0 0 0 6 3 20 0 20 0 6621368 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445984028288 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18285] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18285/stat : 18285 (java) S 18215 18218 16473 0 -1 1077944384 1 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445982976592 140446511617947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18286] ppid=18215 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18286/stat : 18286 (java) S 18215 18218 16473 0 -1 1077944384 37989 12599 0 0 741 7 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445981923440 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18287] ppid=18215 vsize=10997500 CPUtime=7.6 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18287/stat : 18287 (java) S 18215 18218 16473 0 -1 1077944384 39986 12599 0 0 745 6 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445980870640 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18288] ppid=18215 vsize=10997500 CPUtime=7.58 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18288/stat : 18288 (java) S 18215 18218 16473 0 -1 1077944384 39031 12599 0 0 743 6 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445979818352 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18289] ppid=18215 vsize=10997500 CPUtime=4.77 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18289/stat : 18289 (java) S 18215 18218 16473 0 -1 1077944384 64317 12599 0 0 459 9 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445978765552 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18290] ppid=18215 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18290/stat : 18290 (java) S 18215 18218 16473 0 -1 1077944384 3 12599 0 0 0 0 6 3 20 0 20 0 6621372 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445977713504 140446511609557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 [pid=18218/tid=18291] ppid=18215 vsize=10997500 CPUtime=1.31 cores=0,2,4,6,8,10,12,14 /proc/18218/task/18291/stat : 18291 (java) S 18215 18218 16473 0 -1 1077944384 3155 12599 0 0 63 59 6 3 20 0 20 0 6621373 11261440000 808086 33554432000 4194304 4196468 140724845499376 140445976660784 140446511610498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8282112 140724845505217 140724845507991 140724845507991 140724845510607 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10997500 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 18218 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2315.06 CPU time (s): 2400.1 CPU user time (s): 2376.59 CPU system time (s): 23.5156 CPU usage (%): 103.673 Max. virtual memory (cumulated for all children) (KiB): 10997500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2376.59 system time used= 23.5156 maximum resident set size= 3236824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 502345 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 101020 involuntary context switches= 131137 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3729 second user time and 15.9878 second system time The end
Begin job on node114 at 2017-07-22 10:52:02 IDJOB=4246336 IDBENCH=124430 IDSOLVER=2630 FILE ID=node114/4246336-1500713522 RUNJOBID= node114-1500696853-12413 PBS_JOBID= 20623324 Free space on /tmp= 61988 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246336-1500713522/watcher-4246336-1500713522 -o /tmp/evaluation-result-4246336-1500713522/solver-4246336-1500713522 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4246336-1500713522.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 204525c81941dcb64589d695195e220f RANDOM SEED=2088935919 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30649312 kB MemAvailable: 30913884 kB Buffers: 139560 kB Cached: 404280 kB SwapCached: 0 kB Active: 1382536 kB Inactive: 297444 kB Active(anon): 1139296 kB Inactive(anon): 8828 kB Active(file): 243240 kB Inactive(file): 288616 kB Unevictable: 5720 kB Mlocked: 5720 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 23992 kB Writeback: 0 kB AnonPages: 1146460 kB Mapped: 44392 kB Shmem: 8848 kB Slab: 131216 kB SReclaimable: 97100 kB SUnreclaim: 34116 kB KernelStack: 4704 kB PageTables: 7996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1934668 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 915456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61964 MiB End job on node114 at 2017-07-22 11:30:37