Trace number 4259560

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
Concrete 3.4SAT (TO)1046 252.093 227.95399

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-084.xml
MD5SUM0731e2512da3574fe37fc3f03b16a729
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark970
Best CPU time to get the best result obtained on this benchmark252.895
Satisfiable
(Un)Satisfiability was proved
Number of variables7139
Number of constraints3652
Number of domains167
Minimum domain size2
Maximum domain size167
Distribution of domain sizes[{"size":2,"count":3571},{"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":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"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}]
Minimum variable degree0
Maximum variable degree83
Distribution of variable degrees[{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}]
Minimum constraint arity2
Maximum constraint arity84
Distribution of constraint arities[{"arity":2,"count":84},{"arity":3,"count":3487},{"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":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"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}]
Number of extensional constraints0
Number of intensional constraints3569
Distribution of constraint types[{"type":"intension","count":3569},{"type":"sum","count":83}]
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 

3.29/2.04	c Concrete v3.4 running
20.10/8.04	o 194054
20.73/8.21	o 173962
21.01/8.36	o 155614
22.67/9.11	o 139186
24.46/10.37	o 112770
25.22/10.83	o 72626
25.36/10.90	o 63414
25.36/10.98	o 56938
25.47/11.05	o 51246
25.60/11.12	o 40870
25.60/11.20	o 35754
25.71/11.27	o 32814
25.80/11.35	o 31918
25.93/11.42	o 31062
25.93/11.50	o 28306
26.04/11.58	o 24302
26.19/11.66	o 22710
26.40/11.74	o 20546
26.54/11.81	o 20522
26.54/11.89	o 18198
26.65/11.96	o 15290
26.76/12.03	o 12598
26.76/12.10	o 8710
26.88/12.18	o 5626
26.98/12.25	o 5606
27.07/12.33	o 4970
27.21/12.41	o 4462
27.33/12.51	o 4458
27.45/12.60	o 3986
27.45/12.68	o 3898
27.55/12.76	o 3830
27.80/12.91	o 3802
27.80/13.00	o 3242
27.92/13.07	o 3018
28.06/13.14	o 2558
28.17/13.21	o 2158
28.28/13.32	o 2122
28.95/13.90	o 2042
29.31/14.23	o 2030
29.41/14.30	o 2018
29.41/14.38	o 1990
30.36/14.79	o 1966
30.91/15.17	o 1742
34.47/18.37	o 1546
44.09/27.56	o 1526
44.29/27.74	o 1522
60.11/42.87	o 1482
60.34/43.03	o 1414
66.34/48.80	o 1346
66.34/48.87	o 1238
79.46/61.73	o 1186
153.26/133.30	o 1046
252.01/227.91	java.util.concurrent.TimeoutException
252.01/227.91		at concrete.MAC.mac(MAC.scala:74)
252.01/227.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.01/227.91		at scala.util.Try$.apply(Try.scala:209)
252.01/227.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.01/227.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.01/227.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.01/227.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.01/227.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.01/227.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.01/227.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.01/227.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.01/227.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.01/227.91		at concrete.MAC.oneRun(MAC.scala:146)
252.01/227.91		at concrete.MAC.nextSolution(MAC.scala:166)
252.01/227.91		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.01/227.91		at concrete.ProblemState.map(ProblemState.scala:203)
252.01/227.91		at concrete.ProblemState.map(ProblemState.scala:188)
252.01/227.91		at concrete.MAC.nextSolution(MAC.scala:195)
252.01/227.91		at concrete.Solver.hasNext(Solver.scala:202)
252.01/227.91		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.01/227.91		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.01/227.91		at concrete.Solver.toStream(Solver.scala:73)
252.01/227.91		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.01/227.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.01/227.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.01/227.91		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.01/227.91		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.01/227.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.01/227.91		at scala.util.Success.map(Try.scala:209)
252.01/227.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.01/227.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.01/227.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.01/227.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.01/227.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.01/227.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.01/227.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.01/227.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.01/227.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.01/227.91		at scala.collection.immutable.List.foreach(List.scala:389)
252.01/227.91		at scala.App.main(App.scala:76)
252.01/227.91		at scala.App.main$(App.scala:74)
252.01/227.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.01/227.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.01/227.92	v <instantiation cost="1046">
252.01/227.92	v       <list>
252.01/227.92	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[79][0] y[79][1] y[79][2] y[79][3] y[80][0] y[80][1] y[80][2] y[81][0] y[81][1] y[82][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] 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]
252.01/227.92	v       </list>
252.01/227.92	v       <values>
252.01/227.92	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 0 -3 4 3 4 5 4 1 2 5 6 1 0 1 2 1 -4 3 2 -1 -8 -1 2 -1 2 5 4 3 -8 1 -2 -3 -2 7 8 -3 0 5 4 -5 -2 1 4 -1 -4 -1 -4 1 -2 -1 2 -1 0 -7 -4 -1 2 5 -6 5 -4 1 10 1 -8 -1 -2 -1 0 -1 2 -1 2 3 0 -1 4 -3 0 -1 0 -1 1 0 9 16 9 16 25 16 1 4 25 36 1 0 1 4 1 16 9 4 1 64 1 4 1 4 25 16 9 64 1 4 9 4 49 64 9 0 25 16 25 4 1 16 1 16 1 16 1 4 1 4 1 0 49 16 1 4 25 36 25 16 1 100 1 64 1 4 1 0 1 4 1 4 9 0 1 16 9 0 1 0 1
252.01/227.92	v       </values>
252.01/227.92	v     </instantiation>
252.01/227.92	s SATISFIABLE

Verifier Data 

OK	1046

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13338 MiB free)
  memory of node 1: 16384 MiB (12893 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259560-1502647100/watcher-4259560-1502647100 -o /tmp/evaluation-result-4259560-1502647100/solver-4259560-1502647100 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312 bin/concrete HOME/instance-4259560-1502647100.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11066, runsolver pid=11063
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 1.74 1.79 1.89 3/207 11120
/proc/meminfo: memFree=26854444/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=13445604 memory=15180 CPUtime=0.08 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 4415 12390 0 0 1 0 5 2 20 0 7 0 97790900 13768298496 3795 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3361401 3795 2004 1 0 3349839 0
[pid=11066/tid=11116] ppid=11063 vsize=13445604 memory=4279135703913365132 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 2276 12390 0 0 1 0 5 2 20 0 7 0 97790908 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025967733520 140025947571550 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=13445604 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 7 0 97790909 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=13445604 memory=139626238985856 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 7 0 97790909 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=13445604 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 7 0 97790909 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=13445604 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 7 0 97790909 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=13445604 memory=139626238985856 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 7 0 97790910 13768298496 3795 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13445604 KiB
Current children cumulated memory: 15180 KiB

[startup+0.209745 s]*
/proc/loadavg: 1.74 1.79 1.89 4/216 11129
/proc/meminfo: memFree=26835600/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=13978600 memory=37284 CPUtime=0.25 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 8241 12390 0 0 17 1 5 2 20 0 15 0 97790900 14314086400 9321 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3494650 9321 2968 1 0 3482967 0
[pid=11066/tid=11116] ppid=11063 vsize=13978600 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 4676 12390 0 0 11 1 5 2 20 0 15 0 97790908 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025967666448 140025945054623 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=13978600 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=13978600 memory=139626238995316 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=13978600 memory=139626238985856 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 15 0 97790910 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 33 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025436644128 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 21 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025435591792 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=13978600 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 447 12390 0 0 1 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 338 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=13978600 memory=139626238985856 CPUtime=0.1 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 568 12390 0 0 3 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=13978600 memory=139626238985856 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314086400 9321 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 37284 KiB

[startup+0.310127 s]*
/proc/loadavg: 1.74 1.79 1.89 3/216 11129
/proc/meminfo: memFree=26825948/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=13979028 memory=47892 CPUtime=0.38 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 10524 12390 0 0 29 2 5 2 20 0 15 0 97790900 14314524672 11973 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3494757 11973 3093 1 0 3482967 0
[pid=11066/tid=11116] ppid=11063 vsize=13979028 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 6917 12390 0 0 20 1 5 2 20 0 15 0 97790908 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025967712672 140025943766393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 15 0 97790910 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 33 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025436644128 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 21 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025435591792 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=13979028 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 454 12390 0 0 1 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=13979028 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 344 12390 0 0 1 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=13979028 memory=139626238985856 CPUtime=0.12 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 597 12390 0 0 5 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=13979028 memory=139626238985856 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314524672 11973 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 47892 KiB

[startup+0.700657 s]
/proc/loadavg: 1.74 1.79 1.89 5/216 11129
/proc/meminfo: memFree=26816884/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=13979220 memory=80628 CPUtime=0.98 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 16848 12390 0 0 87 4 5 2 20 0 15 0 97790900 14314721280 20157 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3494805 20157 3266 1 0 3482967 0
[pid=11066/tid=11116] ppid=11063 vsize=13979220 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 12329 12390 0 0 57 2 5 2 20 0 15 0 97790908 14314721280 20157 33554432000 4194304 4196468 140720743934064 140025967710128 140025956208026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=13979224 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314725376 20157 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=13979224 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314725376 20157 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=13979224 memory=139626098606704 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314725376 20157 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=13979224 memory=139629386793572 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 2 12390 0 0 0 0 5 2 20 0 15 0 97790909 14314725376 20157 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=13979256 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 5 12390 0 0 0 0 5 2 20 0 15 0 97790910 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=13979256 memory=7014751519583131217 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 33 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025436644128 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=13979256 memory=18476 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 21 12390 0 0 0 0 5 2 20 0 15 0 97790911 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025435591792 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=13979256 memory=16932 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=13979256 memory=4048 CPUtime=0.13 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 706 12390 0 0 6 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=13979256 memory=1792 CPUtime=0.16 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 840 12390 0 0 9 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=13979256 memory=648 CPUtime=0.2 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 758 12390 0 0 13 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=13979256 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=13979256 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 1 12390 0 0 0 0 5 2 20 0 15 0 97790914 14314758144 20157 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13979220 KiB
Current children cumulated memory: 80628 KiB

[startup+1.50268 s]
/proc/loadavg: 1.74 1.79 1.89 3/216 11129
/proc/meminfo: memFree=26760272/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=13991700 memory=171768 CPUtime=2.2 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 27750 12390 0 0 204 9 5 2 20 0 15 0 97790900 14327500800 42942 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3497925 42942 3407 1 0 3486039 0
[pid=11066/tid=11116] ppid=11063 vsize=13991700 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 19730 12390 0 0 131 5 5 2 20 0 15 0 97790908 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025967723200 140025945898103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=13991700 memory=279252197261760 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 69 12390 0 0 0 0 5 2 20 0 15 0 97790909 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=13991700 memory=279252197271072 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 40 12390 0 0 1 0 5 2 20 0 15 0 97790909 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=13991700 memory=139626098641392 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 98 12390 0 0 1 0 5 2 20 0 15 0 97790909 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 189 12390 0 0 1 0 5 2 20 0 15 0 97790909 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 1476 12390 0 0 1 0 5 2 20 0 15 0 97790910 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=13991700 memory=13331578489482 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 56 12390 0 0 0 0 5 2 20 0 15 0 97790911 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025436644192 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=13991700 memory=-7097495484385563872 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 46 12390 0 0 0 0 5 2 20 0 15 0 97790911 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025435591808 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=13991700 memory=8026941098018885740 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=13991700 memory=8026941098018885740 CPUtime=0.23 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 948 12390 0 0 16 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=13991700 memory=7740390788452213073 CPUtime=0.23 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 1063 12390 0 0 16 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=13991700 memory=6655300316396806240 CPUtime=0.39 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 1881 12390 0 0 32 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=13991700 memory=7086816896286746472 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=13991700 memory=7305229400682620752 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 4 12390 0 0 0 0 5 2 20 0 15 0 97790914 14327500800 42942 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0

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

/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 52340 12390 0 0 10069 33 5 2 20 0 15 0 97790908 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025967724384 140025947831207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=14008272 memory=15262532197681591 CPUtime=0.46 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 822 12390 0 0 35 4 5 2 20 0 15 0 97790909 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=14008272 memory=1692 CPUtime=0.47 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1180 12390 0 0 36 4 5 2 20 0 15 0 97790909 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=14008272 memory=916 CPUtime=0.47 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 2101 12390 0 0 36 4 5 2 20 0 15 0 97790909 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=14008272 memory=3832 CPUtime=0.47 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 946 12390 0 0 36 4 5 2 20 0 15 0 97790909 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=14008272 memory=4100 CPUtime=0.26 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 6866 12390 0 0 18 1 5 2 20 0 15 0 97790910 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=14008272 memory=2692 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 67 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025436644256 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=14008272 memory=2676 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 52 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025435591808 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=14008272 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=14008272 memory=7227523567832093800 CPUtime=7.66 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 18561 12390 0 0 756 3 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=14008272 memory=7739267066161227865 CPUtime=7.85 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 20611 12390 0 0 775 3 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=14008272 memory=7807095852445296228 CPUtime=2.85 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 18821 12390 0 0 272 6 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=14008272 memory=4640467278541901904 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=14008272 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 599 12390 0 0 2 2 5 2 20 0 15 0 97790914 14344470528 413399 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 121.17 s
Current children cumulated vsize: 14008272 KiB
Current children cumulated memory: 1653596 KiB

[startup+162.301 s]
/proc/loadavg: 1.69 1.75 1.85 3/215 11256
/proc/meminfo: memFree=25746640/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=14008272 memory=1588804 CPUtime=183.88 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 140045 12390 0 0 18309 72 5 2 20 0 15 0 97790900 14344470528 397201 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3502068 397201 3519 1 0 3489623 0
[pid=11066/tid=11116] ppid=11063 vsize=14008272 memory=288230621803970871 CPUtime=160.93 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 54051 12390 0 0 16052 34 5 2 20 0 15 0 97790908 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025967725120 140025622569767 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=14008272 memory=15262532197681591 CPUtime=0.54 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 1884 12390 0 0 43 4 5 2 20 0 15 0 97790909 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=14008272 memory=15872 CPUtime=0.56 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 1862 12390 0 0 45 4 5 2 20 0 15 0 97790909 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=14008272 memory=18476 CPUtime=0.55 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 2174 12390 0 0 44 4 5 2 20 0 15 0 97790909 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=14008272 memory=16932 CPUtime=0.56 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 1072 12390 0 0 45 4 5 2 20 0 15 0 97790909 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=14008272 memory=4048 CPUtime=0.31 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 7172 12390 0 0 22 2 5 2 20 0 15 0 97790910 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=14008272 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 69 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025436644256 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=14008272 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 52 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025435591808 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=14008272 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=14008272 memory=960 CPUtime=8.74 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 23058 12390 0 0 863 4 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=14008272 memory=2340 CPUtime=8.97 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 24432 12390 0 0 886 4 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=14008272 memory=932 CPUtime=3.11 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 21398 12390 0 0 298 6 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=14008272 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=14008272 memory=8475934422144292502 CPUtime=0.14 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 671 12390 0 0 3 4 5 2 20 0 15 0 97790914 14344470528 397201 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 183.88 s
Current children cumulated vsize: 14008272 KiB
Current children cumulated memory: 1588804 KiB

[startup+222.301 s]
/proc/loadavg: 1.59 1.70 1.83 3/215 11257
/proc/meminfo: memFree=25076420/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=14008272 memory=1527284 CPUtime=245.18 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 153174 12390 0 0 24434 77 5 2 20 0 15 0 97790900 14344470528 381821 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3502068 381821 3519 1 0 3489623 0
[pid=11066/tid=11116] ppid=11063 vsize=14008272 memory=288230621803970871 CPUtime=220.42 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 55377 12390 0 0 22001 34 5 2 20 0 15 0 97790908 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025967724576 140025605063876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=14008272 memory=15262532197681591 CPUtime=0.82 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 2259 12390 0 0 70 5 5 2 20 0 15 0 97790909 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=14008272 memory=15872 CPUtime=0.83 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 3427 12390 0 0 71 5 5 2 20 0 15 0 97790909 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=14008272 memory=18476 CPUtime=0.83 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 2295 12390 0 0 71 5 5 2 20 0 15 0 97790909 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=14008272 memory=16932 CPUtime=0.84 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 1219 12390 0 0 72 5 5 2 20 0 15 0 97790909 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=14008272 memory=4048 CPUtime=0.47 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 7512 12390 0 0 37 3 5 2 20 0 15 0 97790910 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=14008272 memory=1792 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 69 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025436644256 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=14008272 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 52 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025435591808 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=14008272 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=14008272 memory=960 CPUtime=8.93 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 26475 12390 0 0 882 4 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=14008272 memory=2340 CPUtime=9.21 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 27598 12390 0 0 910 4 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=14008272 memory=932 CPUtime=3.19 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 24037 12390 0 0 306 6 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=14008272 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=14008272 memory=15262532197681591 CPUtime=0.17 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 704 12390 0 0 5 5 5 2 20 0 15 0 97790914 14344470528 381821 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 245.18 s
Current children cumulated vsize: 14008272 KiB
Current children cumulated memory: 1527284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+227.901 s]
/proc/loadavg: 1.62 1.71 1.83 4/215 11257
/proc/meminfo: memFree=25080408/32770624 swapFree=67108860/67108860
[pid=11066] ppid=11063 vsize=14008272 memory=1522120 CPUtime=252.01 cores=0,2,4,6
/proc/11066/stat : 11066 (java) S 11063 11066 3242 0 -1 1077944320 154763 12390 0 0 25116 78 5 2 20 0 15 0 97790900 14344470528 380530 33554432000 4194304 4196468 140720743934064 140720743916608 140025963491063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
/proc/11066/statm: 3502068 380530 3519 1 0 3489623 0
[pid=11066/tid=11116] ppid=11063 vsize=14008272 memory=1524176 CPUtime=225.97 cores=0,2,4,6
/proc/11066/task/11116/stat : 11116 (java) R 11063 11066 3242 0 -1 4202560 55527 12390 0 0 22555 35 5 2 20 0 15 0 97790908 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025967724312 140025623753703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11117] ppid=11063 vsize=14008272 memory=1296 CPUtime=0.85 cores=0,2,4,6
/proc/11066/task/11117/stat : 11117 (java) S 11063 11066 3242 0 -1 1077944384 2326 12390 0 0 73 5 5 2 20 0 15 0 97790909 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025559653264 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11118] ppid=11063 vsize=14008272 memory=2408 CPUtime=0.86 cores=0,2,4,6
/proc/11066/task/11118/stat : 11118 (java) S 11063 11066 3242 0 -1 1077944384 3497 12390 0 0 74 5 5 2 20 0 15 0 97790909 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025558600464 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11119] ppid=11063 vsize=14008272 memory=1732 CPUtime=0.86 cores=0,2,4,6
/proc/11066/task/11119/stat : 11119 (java) S 11063 11066 3242 0 -1 1077944384 2325 12390 0 0 74 5 5 2 20 0 15 0 97790909 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025557548176 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11120] ppid=11063 vsize=14008272 memory=1224 CPUtime=0.87 cores=0,2,4,6
/proc/11066/task/11120/stat : 11120 (java) S 11063 11066 3242 0 -1 1077944384 2256 12390 0 0 75 5 5 2 20 0 15 0 97790909 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025556495376 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11121] ppid=11063 vsize=14008272 memory=12032 CPUtime=0.48 cores=0,2,4,6
/proc/11066/task/11121/stat : 11121 (java) S 11063 11066 3242 0 -1 1077944384 7513 12390 0 0 38 3 5 2 20 0 15 0 97790910 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025437698160 140025963502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11122] ppid=11063 vsize=14008272 memory=5792 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11122/stat : 11122 (java) S 11063 11066 3242 0 -1 1077944384 69 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025436644256 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11123] ppid=11063 vsize=14008272 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11123/stat : 11123 (java) S 11063 11066 3242 0 -1 1077944384 52 12390 0 0 0 0 5 2 20 0 15 0 97790911 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025435591808 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11124] ppid=11063 vsize=14008272 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11124/stat : 11124 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025434540112 140025963509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11125] ppid=11063 vsize=14008272 memory=1012 CPUtime=9.44 cores=0,2,4,6
/proc/11066/task/11125/stat : 11125 (java) S 11063 11066 3242 0 -1 1077944384 26605 12390 0 0 933 4 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025433487984 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11126] ppid=11063 vsize=14008272 memory=1712 CPUtime=9.68 cores=0,2,4,6
/proc/11066/task/11126/stat : 11126 (java) S 11063 11066 3242 0 -1 1077944384 27617 12390 0 0 957 4 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025432435184 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 56 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11127] ppid=11063 vsize=14008272 memory=1952 CPUtime=3.35 cores=0,2,4,6
/proc/11066/task/11127/stat : 11127 (java) S 11063 11066 3242 0 -1 1077944384 24122 12390 0 0 322 6 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025431382896 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11128] ppid=11063 vsize=14008272 memory=8612 CPUtime=0.07 cores=0,2,4,6
/proc/11066/task/11128/stat : 11128 (java) S 11063 11066 3242 0 -1 1077944384 3 12390 0 0 0 0 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025430330336 140025963501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
[pid=11066/tid=11129] ppid=11063 vsize=14008272 memory=1527284 CPUtime=0.17 cores=0,2,4,6
/proc/11066/task/11129/stat : 11129 (java) S 11063 11066 3242 0 -1 1077944384 704 12390 0 0 5 5 5 2 20 0 15 0 97790914 14344470528 380530 33554432000 4194304 4196468 140720743934064 140025429277104 140025963502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 11497472 140720743942806 140720743945591 140720743945591 140720743948239 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14008272 KiB
Current children cumulated memory: 1522120 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+227.954 s]
# the end of solver process 11066 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.257 s, system=0.83609 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 227.954
CPU time (s): 252.093
CPU user time (s): 251.257
CPU system time (s): 0.83609
CPU usage (%): 110.589
Max. virtual memory (cumulated for all children) (KiB): 14008272
Max. memory (cumulated for all children) (KiB): 1685916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.257
system time used= 0.83609
maximum resident set size= 1687852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22748
involuntary context switches= 625


# summary of solver processes directly reported to runsolver:
#   pid: 11066
#   total CPU time (s): 252.093
#   total CPU user time (s): 251.257
#   total CPU system time (s): 0.83609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63116 second user time and 1.83675 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-13 19:44:01
IDJOB=4259560
IDBENCH=127051
IDSOLVER=2646
FILE ID=node149/4259560-1502647100
RUNJOBID= node149-1502644582-9044
PBS_JOBID= 20628307
Free space on /tmp= 61912 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-084.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259560-1502647100/watcher-4259560-1502647100 -o /tmp/evaluation-result-4259560-1502647100/solver-4259560-1502647100 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312  bin/concrete HOME/instance-4259560-1502647100.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0731e2512da3574fe37fc3f03b16a729
RANDOM SEED=1590493498

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26861412 kB
MemAvailable:   31017844 kB
Buffers:          269420 kB
Cached:          4160208 kB
SwapCached:            0 kB
Active:          2121960 kB
Inactive:        3317144 kB
Active(anon):    1012312 kB
Inactive(anon):    24944 kB
Active(file):    1109648 kB
Inactive(file):  3292200 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24308 kB
Writeback:             8 kB
AnonPages:       1015520 kB
Mapped:            56992 kB
Shmem:             25224 kB
Slab:             167712 kB
SReclaimable:     140836 kB
SUnreclaim:        26876 kB
KernelStack:        3520 kB
PageTables:         7448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1924824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    786432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61888 MiB
End job on node149 at 2017-08-13 19:47:50