Trace number 4247409

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)1456 2400.15 2290.54

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-096.xml
MD5SUM5bf1605d7392d1261526feabe1cfbecc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1188
Best CPU time to get the best result obtained on this benchmark2519.8401
Satisfiable
(Un)Satisfiability was proved
Number of variables9311
Number of constraints4750
Number of domains191
Minimum domain size2
Maximum domain size191
Distribution of domain sizes[{"size":2,"count":4657},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}]
Minimum variable degree0
Maximum variable degree95
Distribution of variable degrees[{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}]
Minimum constraint arity2
Maximum constraint arity96
Distribution of constraint arities[{"arity":2,"count":96},{"arity":3,"count":4561},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}]
Number of extensional constraints0
Number of intensional constraints4655
Distribution of constraint types[{"type":"intension","count":4655},{"type":"sum","count":95}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

4.01/3.15	c Concrete v3.4 running
30.35/9.55	o 290320
31.20/9.74	o 264252
31.61/9.87	o 239712
31.95/9.99	o 217284
33.39/10.91	o 217236
33.60/11.02	o 196776
33.75/11.13	o 196728
33.87/11.23	o 196720
34.06/11.34	o 196656
41.46/17.83	o 181116
42.70/18.98	o 128212
42.90/19.10	o 85812
43.04/19.20	o 71540
43.14/19.35	o 56492
43.93/20.07	o 51032
44.03/20.17	o 37836
44.14/20.26	o 34280
44.26/20.36	o 21320
44.36/20.45	o 19812
44.46/20.55	o 18236
44.57/20.64	o 16232
44.67/20.73	o 11816
44.77/20.83	o 10896
44.92/20.93	o 9148
45.03/21.02	o 9084
45.12/21.13	o 8336
45.25/21.23	o 7312
45.37/21.32	o 6188
45.52/21.43	o 5952
45.84/21.53	o 4900
46.16/21.63	o 4500
46.41/21.73	o 3552
46.78/22.00	o 3364
47.10/22.14	o 2980
47.90/22.82	o 2812
48.87/23.78	o 2736
50.64/25.33	o 2660
53.24/27.73	o 2492
53.34/27.87	o 2360
53.44/27.96	o 2168
55.17/29.57	o 2012
58.03/31.99	o 1996
58.73/32.52	o 1976
59.29/33.08	o 1964
62.06/35.05	o 1936
140.33/107.72	o 1784
209.98/174.05	o 1708
210.08/174.14	o 1704
210.32/174.39	o 1620
210.89/174.81	o 1604
505.29/453.67	o 1544
505.72/454.07	o 1468
508.01/456.26	o 1456
2400.08/2290.51	java.util.concurrent.TimeoutException
2400.08/2290.51		at concrete.MAC.mac(MAC.scala:74)
2400.08/2290.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2290.51		at scala.util.Try$.apply(Try.scala:209)
2400.08/2290.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2290.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2290.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2290.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2290.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2290.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2290.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2290.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2290.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2290.51		at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2290.51		at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2290.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2290.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2290.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2290.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2290.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2290.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2290.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2290.51		at concrete.Solver.toStream(Solver.scala:73)
2400.08/2290.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2290.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2290.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2290.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2290.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2290.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2290.51		at scala.util.Success.map(Try.scala:209)
2400.08/2290.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2290.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2290.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2290.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2290.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2290.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2290.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2290.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2290.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2290.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2290.51		at scala.App.main(App.scala:76)
2400.08/2290.51		at scala.App.main$(App.scala:74)
2400.08/2290.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2290.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2290.51	v <instantiation cost="1456">
2400.08/2290.51	v       <list>
2400.08/2290.51	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94]
2400.08/2290.52	v       </list>
2400.08/2290.52	v       <values>
2400.08/2290.52	v         -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -5 6 -3 2 -1 0 -9 2 1 0 7 -2 3 2 -3 -2 -3 -4 11 -2 -5 6 3 4 5 -2 -1 0 -1 2 9 0 -3 2 5 8 5 2 -5 -4 1 -2 3 -2 -1 -4 3 0 -3 4 -3 2 5 2 3 0 5 -2 -1 8 7 -2 -1 0 3 2 9 4 5 -6 3 4 1 -6 1 -2 5 -4 7 6 -1 2 1 -2 1 -4 3 -2 -3 0 1 2 -1 -2 1 25 36 9 4 1 0 81 4 1 0 49 4 9 4 9 4 9 16 121 4 25 36 9 16 25 4 1 0 1 4 81 0 9 4 25 64 25 4 25 16 1 4 9 4 1 16 9 0 9 16 9 4 25 4 9 0 25 4 1 64 49 4 1 0 9 4 81 16 25 36 9 16 1 36 1 4 25 16 49 36 1 4 1 4 1 16 9 4 9 0 1 4 1 4 1
2400.08/2290.52	v       </values>
2400.08/2290.52	v     </instantiation>
2400.08/2290.52	s SATISFIABLE

Verifier Data 

OK	1456

Watcher Data 

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-4247409-1500731131/watcher-4247409-1500731131 -o /tmp/evaluation-result-4247409-1500731131/solver-4247409-1500731131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19778 --watchdog 2560 bin/concrete HOME/instance-4247409-1500731131.xml 

pid=23792
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.89 1.86 1.55 3/261 23795
/proc/meminfo: memFree=30896288/32770624 swapFree=5920/151208
[pid=23795] ppid=23792 vsize=316 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (concrete) R 23792 23795 19746 0 -1 4194304 123 0 0 0 0 0 0 0 20 0 1 0 8382922 323584 1 33554432000 0 0 140734577493246 140721961072088 140089944107511 0 0 4096 0 0 0 0 17 9 0 0 1 0 0 6315208 6316640 6320128 140734577493246 140734577493344 140734577493344 140734577496043 0
/proc/23795/statm: 79 1 0 6 0 37 0

[startup+0.100146 s]
/proc/loadavg: 2.89 1.86 1.55 3/261 23795
/proc/meminfo: memFree=30896288/32770624 swapFree=5920/151208
[pid=23795] ppid=23792 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (bash) S 23792 23795 19746 0 -1 4202496 877 6412 0 0 0 0 0 1 20 0 1 0 8382922 9871360 377 33554432000 4194304 5098028 140731075943488 140731075937496 140184001776640 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 1 0 0 7196144 7232144 18386944 140731075949838 140731075949923 140731075949923 140731075952622 0
/proc/23795/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200355 s]
/proc/loadavg: 2.89 1.86 1.55 3/261 23795
/proc/meminfo: memFree=30896288/32770624 swapFree=5920/151208
[pid=23795] ppid=23792 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (bash) S 23792 23795 19746 0 -1 4202496 877 6412 0 0 0 0 0 1 20 0 1 0 8382922 9871360 377 33554432000 4194304 5098028 140731075943488 140731075937496 140184001776640 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 1 0 0 7196144 7232144 18386944 140731075949838 140731075949923 140731075949923 140731075952622 0
/proc/23795/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.300318 s]
/proc/loadavg: 2.89 1.86 1.55 3/261 23795
/proc/meminfo: memFree=30896288/32770624 swapFree=5920/151208
[pid=23795] ppid=23792 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (bash) S 23792 23795 19746 0 -1 4202496 877 6412 0 0 0 0 0 1 20 0 1 0 8382922 9871360 377 33554432000 4194304 5098028 140731075943488 140731075937496 140184001776640 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 1 0 0 7196144 7232144 18386944 140731075949838 140731075949923 140731075949923 140731075952622 0
/proc/23795/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.700331 s]
/proc/loadavg: 2.89 1.86 1.55 3/261 23795
/proc/meminfo: memFree=30896288/32770624 swapFree=5920/151208
[pid=23795] ppid=23792 vsize=10902292 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 8157 12486 0 0 24 2 9 4 20 0 20 0 8382922 11163947008 9271 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2725573 9271 2970 1 0 2713890 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10902292

[startup+1.50088 s]
/proc/loadavg: 2.89 1.86 1.55 3/281 23868
/proc/meminfo: memFree=30824628/32770624 swapFree=5920/151352
[pid=23795] ppid=23792 vsize=10902720 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 12915 12486 0 0 96 4 9 4 20 0 20 0 8382922 11164385280 16188 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2725680 16188 3221 1 0 2713890 0
[pid=23795/tid=23850] ppid=23792 vsize=10902720 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) D 23792 23795 19746 0 -1 1077944384 8535 12486 0 0 62 2 9 4 20 0 20 0 8382964 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177504076432 140177492556333 0 4 0 16800975 18446744072101617188 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 2 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 2 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 2 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 2 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 2 12486 0 0 0 0 9 4 20 0 20 0 8382966 11164385280 16188 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 5 12486 0 0 0 0 9 4 20 0 20 0 8382968 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 33 12486 0 0 0 0 9 4 20 0 20 0 8382969 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176839304608 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 21 12486 0 0 0 0 9 4 20 0 20 0 8382969 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176838252016 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10902720 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) S 23792 23795 19746 0 -1 1077944384 826 12486 0 0 6 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176836147184 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10902720 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) S 23792 23795 19746 0 -1 1077944384 321 12486 0 0 7 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176835094640 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10902720 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) S 23792 23795 19746 0 -1 1077944384 452 12486 0 0 5 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176834042096 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10902720 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 574 12486 0 0 13 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10902720 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382981 11164385280 16188 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10902720

[startup+3.10114 s]
/proc/loadavg: 2.89 1.86 1.55 3/281 23868
/proc/meminfo: memFree=30737264/32770624 swapFree=5920/151352
[pid=23795] ppid=23792 vsize=10917460 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 35246 12486 0 0 374 14 9 4 20 0 20 0 8382922 11179479040 47360 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2729365 47360 3426 1 0 2717474 0
[pid=23795/tid=23850] ppid=23792 vsize=10917460 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) R 23792 23795 19746 0 -1 4202560 22134 12486 0 0 200 6 9 4 20 0 20 0 8382964 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177504112064 140177499899037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 42 12486 0 0 0 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 9 12486 0 0 0 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 11 12486 0 0 0 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 18 12486 0 0 0 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 16 12486 0 0 0 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10917460 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 127 12486 0 0 1 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10917460 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 39 12486 0 0 1 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10917460 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 58 12486 0 0 1 0 9 4 20 0 20 0 8382966 11179479040 47360 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10917460 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 1445 12486 0 0 1 0 9 4 20 0 20 0 8382968 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 56 12486 0 0 0 0 9 4 20 0 20 0 8382969 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176839304672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 43 12486 0 0 0 0 9 4 20 0 20 0 8382969 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176838252032 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10917460 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) S 23792 23795 19746 0 -1 1077944384 2682 12486 0 0 31 0 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176836147184 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10917460 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) R 23792 23795 19746 0 -1 4202560 3138 12486 0 0 35 0 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176835075656 140177484776607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10917460 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) R 23792 23795 19746 0 -1 4202560 986 12486 0 0 29 1 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176834042096 140177484187619 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10917460 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 2307 12486 0 0 66 0 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10917460 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 6 12486 0 0 0 0 9 4 20 0 20 0 8382981 11179479040 47360 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10917460

[startup+6.3012 s]
/proc/loadavg: 2.82 1.86 1.56 6/281 23868
/proc/meminfo: memFree=30525332/32770624 swapFree=5920/151368
[pid=23795] ppid=23792 vsize=10929512 CPUtime=17.52 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 64576 12486 0 0 1708 31 9 4 20 0 20 0 8382922 11191820288 84623 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2732378 84623 3496 1 0 2719933 0
[pid=23795/tid=23850] ppid=23792 vsize=10929512 CPUtime=5.26 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) R 23792 23795 19746 0 -1 4202560 28760 12486 0 0 505 8 9 4 20 0 20 0 8382964 11191820288 84623 33554432000 4194304 4196468 140723442523424 140177504108120 140177485144574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10929512 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 138 12486 0 0 3 1 9 4 20 0 20 0 8382966 11191820288 84623 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10929512 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 87 12486 0 0 3 2 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10929512 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 82 12486 0 0 3 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10929512 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 70 12486 0 0 3 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10929512 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 37 12486 0 0 2 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10929512 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 610 12486 0 0 4 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10929512 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 56 12486 0 0 2 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10929512 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 103 12486 0 0 3 1 9 4 20 0 20 0 8382966 11191820288 84689 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10929512 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 1517 12486 0 0 2 0 9 4 20 0 20 0 8382968 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10929512 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 58 12486 0 0 0 0 9 4 20 0 20 0 8382969 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176839304672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10929512 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 47 12486 0 0 0 0 9 4 20 0 20 0 8382969 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176838252032 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10929512 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10929512 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) R 23792 23795 19746 0 -1 4202560 7319 12486 0 0 312 1 9 4 20 0 20 0 8382978 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176836127248 140177492166493 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10929512 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) R 23792 23795 19746 0 -1 4202560 8705 12486 0 0 328 1 9 4 20 0 20 0 8382978 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176835079112 140177481420828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10929512 CPUtime=3.28 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) R 23792 23795 19746 0 -1 4202560 6668 12486 0 0 314 1 9 4 20 0 20 0 8382978 11191820288 84754 33554432000 4194304 4196468 140723442523424 140176834027256 140177485899385 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10929512 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) R 23792 23795 19746 0 -1 4202560 8327 12486 0 0 217 2 9 4 20 0 20 0 8382978 11191820288 84820 33554432000 4194304 4196468 140723442523424 140176832989848 140177485557809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10929512 CPUtime=0.13 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=23795/tid=23864] ppid=23792 vsize=10931964 CPUtime=11.83 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) S 23792 23795 19746 0 -1 1077944384 33702 12486 0 0 1163 7 9 4 20 0 20 0 8382978 11194331136 273670 33554432000 4194304 4196468 140723442523424 140176835094640 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10931964 CPUtime=11.59 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) S 23792 23795 19746 0 -1 1077944384 34195 12486 0 0 1139 7 9 4 20 0 20 0 8382978 11194331136 273670 33554432000 4194304 4196468 140723442523424 140176834042096 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10931964 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 46538 12486 0 0 499 11 9 4 20 0 20 0 8382978 11194331136 273670 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 273670 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10931964 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 2559 12486 0 0 53 63 9 4 20 0 20 0 8382981 11194331136 273670 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 2309.27
Current children cumulated vsize (KiB) 10931964

[startup+2262.3 s]
/proc/loadavg: 1.48 1.43 1.42 3/281 23962
/proc/meminfo: memFree=29714256/32770624 swapFree=5920/153560
[pid=23795] ppid=23792 vsize=10931964 CPUtime=2371.12 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 405221 12486 0 0 236519 580 9 4 20 0 20 0 8382922 11194331136 266101 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2732991 266101 3534 1 0 2720546 0
[pid=23795/tid=23850] ppid=23792 vsize=10931964 CPUtime=2242.41 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) R 23792 23795 19746 0 -1 4202560 100371 12486 0 0 224176 52 9 4 20 0 20 0 8382964 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177504111168 140177146095180 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10931964 CPUtime=10.44 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 18310 12486 0 0 983 48 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10931964 CPUtime=10.36 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 12067 12486 0 0 972 51 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10931964 CPUtime=10.45 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 12002 12486 0 0 982 50 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10931964 CPUtime=10.47 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 19102 12486 0 0 977 57 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10931964 CPUtime=10.41 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 14432 12486 0 0 978 50 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10931964 CPUtime=10.4 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 14247 12486 0 0 975 52 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10931964 CPUtime=10.41 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 13135 12486 0 0 974 54 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10931964 CPUtime=10.46 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 19095 12486 0 0 982 51 9 4 20 0 20 0 8382966 11194331136 266101 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10931964 CPUtime=5.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 24569 12486 0 0 445 55 9 4 20 0 20 0 8382968 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 72 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176839304736 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 56 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176838252032 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10931964 CPUtime=11.85 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) S 23792 23795 19746 0 -1 1077944384 38615 12486 0 0 1165 7 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176836147184 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10931964 CPUtime=11.83 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) S 23792 23795 19746 0 -1 1077944384 33704 12486 0 0 1163 7 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176835094640 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10931964 CPUtime=11.59 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) S 23792 23795 19746 0 -1 1077944384 34197 12486 0 0 1139 7 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176834042096 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10931964 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 46540 12486 0 0 499 11 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10931964 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 2575 12486 0 0 55 64 9 4 20 0 20 0 8382981 11194331136 266101 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 2371.12
Current children cumulated vsize (KiB) 10931964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2290.5 s]
/proc/loadavg: 2.04 1.58 1.47 4/281 24103
/proc/meminfo: memFree=30554960/32770624 swapFree=5920/153676
[pid=23795] ppid=23792 vsize=10931964 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 406557 12486 0 0 239410 585 9 4 20 0 20 0 8382922 11194331136 265073 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2732991 265073 3534 1 0 2720546 0
[pid=23795/tid=23850] ppid=23792 vsize=10931964 CPUtime=2270.38 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) R 23792 23795 19746 0 -1 4202560 100714 12486 0 0 226973 52 9 4 20 0 20 0 8382964 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177504110272 140177138509758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10931964 CPUtime=10.56 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 18368 12486 0 0 994 49 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10931964 CPUtime=10.47 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 12379 12486 0 0 982 52 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10931964 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 12083 12486 0 0 994 50 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10931964 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 19268 12486 0 0 987 57 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10931964 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 14441 12486 0 0 990 50 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10931964 CPUtime=10.51 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 14273 12486 0 0 985 53 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10931964 CPUtime=10.52 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 13150 12486 0 0 984 55 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10931964 CPUtime=10.56 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 19189 12486 0 0 992 51 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10931964 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 24779 12486 0 0 451 55 9 4 20 0 20 0 8382968 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 72 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176839304736 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 56 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176838252032 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10931964 CPUtime=11.85 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) S 23792 23795 19746 0 -1 1077944384 38617 12486 0 0 1165 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176836147184 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10931964 CPUtime=11.83 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) S 23792 23795 19746 0 -1 1077944384 33706 12486 0 0 1163 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176835094640 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10931964 CPUtime=11.59 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) S 23792 23795 19746 0 -1 1077944384 34199 12486 0 0 1139 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176834042096 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10931964 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 46542 12486 0 0 499 11 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10931964 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 2589 12486 0 0 55 65 9 4 20 0 20 0 8382981 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10931964

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 23795 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2290.5 s]
/proc/loadavg: 2.04 1.58 1.47 4/281 24103
/proc/meminfo: memFree=30554960/32770624 swapFree=5920/153676
[pid=23795] ppid=23792 vsize=10931964 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/23795/stat : 23795 (java) S 23792 23795 19746 0 -1 1077944320 406557 12486 0 0 239410 585 9 4 20 0 20 0 8382922 11194331136 265073 33554432000 4194304 4196468 140723442523424 140723442505968 140177499877111 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
/proc/23795/statm: 2732991 265073 3534 1 0 2720546 0
[pid=23795/tid=23850] ppid=23792 vsize=10931964 CPUtime=2270.38 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23850/stat : 23850 (java) R 23792 23795 19746 0 -1 4202560 100714 12486 0 0 226973 52 9 4 20 0 20 0 8382964 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177504110272 140177138509758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23851] ppid=23792 vsize=10931964 CPUtime=10.56 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23851/stat : 23851 (java) S 23792 23795 19746 0 -1 1077944384 18368 12486 0 0 994 49 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177106905872 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23852] ppid=23792 vsize=10931964 CPUtime=10.47 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23852/stat : 23852 (java) S 23792 23795 19746 0 -1 1077944384 12379 12486 0 0 982 52 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177105853328 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23853] ppid=23792 vsize=10931964 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23853/stat : 23853 (java) S 23792 23795 19746 0 -1 1077944384 12083 12486 0 0 994 50 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177104800784 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23854] ppid=23792 vsize=10931964 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23854/stat : 23854 (java) S 23792 23795 19746 0 -1 1077944384 19268 12486 0 0 987 57 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177103748240 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23855] ppid=23792 vsize=10931964 CPUtime=10.53 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23855/stat : 23855 (java) S 23792 23795 19746 0 -1 1077944384 14441 12486 0 0 990 50 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177102694672 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23856] ppid=23792 vsize=10931964 CPUtime=10.51 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23856/stat : 23856 (java) S 23792 23795 19746 0 -1 1077944384 14273 12486 0 0 985 53 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177101642128 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23857] ppid=23792 vsize=10931964 CPUtime=10.52 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23857/stat : 23857 (java) S 23792 23795 19746 0 -1 1077944384 13150 12486 0 0 984 55 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177100589584 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23858] ppid=23792 vsize=10931964 CPUtime=10.56 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23858/stat : 23858 (java) S 23792 23795 19746 0 -1 1077944384 19189 12486 0 0 992 51 9 4 20 0 20 0 8382966 11194331136 265073 33554432000 4194304 4196468 140723442523424 140177099537040 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23859] ppid=23792 vsize=10931964 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23859/stat : 23859 (java) S 23792 23795 19746 0 -1 1077944384 24779 12486 0 0 451 55 9 4 20 0 20 0 8382968 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176840358384 140177499888258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23860] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23860/stat : 23860 (java) S 23792 23795 19746 0 -1 1077944384 72 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176839304736 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23861] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23861/stat : 23861 (java) S 23792 23795 19746 0 -1 1077944384 56 12486 0 0 0 0 9 4 20 0 20 0 8382969 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176838252032 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23862] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23862/stat : 23862 (java) S 23792 23795 19746 0 -1 1077944384 1 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176837200592 140177499895707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23863] ppid=23792 vsize=10931964 CPUtime=11.85 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23863/stat : 23863 (java) S 23792 23795 19746 0 -1 1077944384 38617 12486 0 0 1165 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176836147184 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23864] ppid=23792 vsize=10931964 CPUtime=11.83 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23864/stat : 23864 (java) S 23792 23795 19746 0 -1 1077944384 33706 12486 0 0 1163 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176835094640 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23865] ppid=23792 vsize=10931964 CPUtime=11.59 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23865/stat : 23865 (java) S 23792 23795 19746 0 -1 1077944384 34199 12486 0 0 1139 7 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176834042096 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23866] ppid=23792 vsize=10931964 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23866/stat : 23866 (java) S 23792 23795 19746 0 -1 1077944384 46542 12486 0 0 499 11 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176832989552 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23867] ppid=23792 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23867/stat : 23867 (java) S 23792 23795 19746 0 -1 1077944384 3 12486 0 0 0 0 9 4 20 0 20 0 8382978 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176831937248 140177499887317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
[pid=23795/tid=23868] ppid=23792 vsize=10931964 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/23795/task/23868/stat : 23868 (java) S 23792 23795 19746 0 -1 1077944384 2589 12486 0 0 55 65 9 4 20 0 20 0 8382981 11194331136 265073 33554432000 4194304 4196468 140723442523424 140176830884784 140177499888258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140723442526913 140723442529687 140723442529687 140723442532303 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10931964

Child status: 143
Real time (s): 2290.54
CPU time (s): 2400.15
CPU user time (s): 2394.24
CPU system time (s): 5.90878
CPU usage (%): 104.785
Max. virtual memory (cumulated for all children) (KiB): 10931964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.24
system time used= 5.90878
maximum resident set size= 2313356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230887
involuntary context switches= 162842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3432 second user time and 19.9423 second system time

The end

Launcher Data 

Begin job on node106 at 2017-07-22 15:45:31
IDJOB=4247409
IDBENCH=126994
IDSOLVER=2630
FILE ID=node106/4247409-1500731131
RUNJOBID= node106-1500714764-19778
PBS_JOBID= 20623356
Free space on /tmp= 61936 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247409-1500731131/watcher-4247409-1500731131 -o /tmp/evaluation-result-4247409-1500731131/solver-4247409-1500731131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19778 --watchdog 2560  bin/concrete HOME/instance-4247409-1500731131.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc
RANDOM SEED=1003492573

node106.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.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.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.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.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.15
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		: 2133.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.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.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.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.15
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		: 2267.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.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.15
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		: 1867.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:        30896292 kB
MemAvailable:   31104580 kB
Buffers:          158680 kB
Cached:           321660 kB
SwapCached:            0 kB
Active:          1217688 kB
Inactive:         205332 kB
Active(anon):     900096 kB
Inactive(anon):    54128 kB
Active(file):     317592 kB
Inactive(file):   151204 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24480 kB
Writeback:             0 kB
AnonPages:        948688 kB
Mapped:            44772 kB
Shmem:              8852 kB
Slab:             145596 kB
SReclaimable:     110652 kB
SUnreclaim:        34944 kB
KernelStack:        4480 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1813484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    716800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61912 MiB
End job on node106 at 2017-07-22 16:23:43