Trace number 4259559

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)1056 252.117 224.44701

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-081.xml
MD5SUM30f67468f9f3ef5a617cbd1472c869c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1032
Best CPU time to get the best result obtained on this benchmark251.895
Satisfiable
(Un)Satisfiability was proved
Number of variables6641
Number of constraints3400
Number of domains161
Minimum domain size2
Maximum domain size161
Distribution of domain sizes[{"size":2,"count":3322},{"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":113,"count":1}, {"size":115,"count":1}, {"size":117,"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}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}]
Minimum constraint arity2
Maximum constraint arity81
Distribution of constraint arities[{"arity":2,"count":81},{"arity":3,"count":3241},{"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":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"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}]
Number of extensional constraints0
Number of intensional constraints3320
Distribution of constraint types[{"type":"intension","count":3320},{"type":"sum","count":80}]
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.36/2.03	c Concrete v3.4 running
19.62/7.23	o 173880
21.02/7.78	o 155172
21.33/7.89	o 123752
22.00/8.01	o 97424
22.00/8.10	o 97328
22.30/8.19	o 85756
22.51/8.26	o 75332
22.75/8.34	o 66244
22.99/8.41	o 51260
22.99/8.48	o 51164
23.31/8.68	o 45136
23.57/8.76	o 45088
23.70/8.85	o 40312
23.83/8.92	o 36708
23.83/8.98	o 36656
24.12/9.11	o 34136
24.12/9.18	o 31208
24.33/9.26	o 28328
24.43/9.33	o 26708
24.57/9.41	o 25456
24.68/9.55	o 22680
24.83/9.61	o 20108
24.83/9.68	o 16120
24.94/9.74	o 15336
25.05/9.81	o 14304
25.18/9.91	o 6128
25.36/10.06	o 5712
25.52/10.19	o 3636
25.90/10.48	o 2784
26.00/10.55	o 2472
26.13/10.68	o 2428
26.38/10.82	o 2140
26.48/10.93	o 2108
26.48/11.00	o 2016
26.63/11.06	o 1996
26.77/11.13	o 1780
32.74/16.42	o 1768
32.87/16.58	o 1736
33.38/16.96	o 1700
33.76/17.24	o 1640
33.88/17.31	o 1556
35.75/18.97	o 1392
36.42/19.54	o 1376
36.76/19.80	o 1356
66.47/48.51	o 1312
66.62/48.67	o 1276
68.17/50.02	o 1148
118.06/96.65	o 1100
135.58/113.46	o 1096
200.65/175.15	o 1056
252.05/224.40	java.util.concurrent.TimeoutException
252.05/224.40		at concrete.MAC.mac(MAC.scala:74)
252.05/224.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.05/224.40		at scala.util.Try$.apply(Try.scala:209)
252.05/224.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/224.40		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/224.40		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/224.40		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/224.40		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.05/224.40		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/224.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/224.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/224.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/224.41		at concrete.MAC.oneRun(MAC.scala:146)
252.05/224.41		at concrete.MAC.nextSolution(MAC.scala:166)
252.05/224.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.05/224.41		at concrete.ProblemState.map(ProblemState.scala:203)
252.05/224.41		at concrete.ProblemState.map(ProblemState.scala:188)
252.05/224.41		at concrete.MAC.nextSolution(MAC.scala:195)
252.05/224.41		at concrete.Solver.hasNext(Solver.scala:202)
252.05/224.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.05/224.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.05/224.41		at concrete.Solver.toStream(Solver.scala:73)
252.05/224.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.05/224.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.05/224.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.05/224.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.05/224.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.05/224.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/224.41		at scala.util.Success.map(Try.scala:209)
252.05/224.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.05/224.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.05/224.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.05/224.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.05/224.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.05/224.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/224.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/224.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/224.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/224.41		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/224.41		at scala.App.main(App.scala:76)
252.05/224.41		at scala.App.main$(App.scala:74)
252.05/224.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.05/224.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/224.41	v <instantiation cost="1056">
252.05/224.41	v       <list>
252.05/224.41	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[76][0] y[76][1] y[76][2] y[76][3] y[77][0] y[77][1] y[77][2] y[78][0] y[78][1] y[79][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] 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]
252.05/224.42	v       </list>
252.05/224.42	v       <values>
252.05/224.42	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 0 -1 -2 -1 4 9 -6 3 2 -3 -6 1 0 3 0 -5 6 1 0 1 2 1 0 -1 -2 3 2 7 -4 -3 4 -1 -4 1 -2 1 0 -3 2 3 10 3 0 1 8 11 0 -3 6 1 0 -3 -2 -1 6 -5 2 1 0 -1 4 5 -4 -5 -2 5 6 1 0 3 4 3 -2 -1 0 1 2 3 2 1 0 1 4 1 16 81 36 9 4 9 36 1 0 9 0 25 36 1 0 1 4 1 0 1 4 9 4 49 16 9 16 1 16 1 4 1 0 9 4 9 100 9 0 1 64 121 0 9 36 1 0 9 4 1 36 25 4 1 0 1 16 25 16 25 4 25 36 1 0 9 16 9 4 1 0 1 4 9 4 1
252.05/224.42	v       </values>
252.05/224.42	v     </instantiation>
252.05/224.42	s SATISFIABLE

Verifier Data 

OK	1056

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 (13337 MiB free)
  memory of node 1: 16384 MiB (12638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259559-1502647330/watcher-4259559-1502647330 -o /tmp/evaluation-result-4259559-1502647330/solver-4259559-1502647330 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312 bin/concrete HOME/instance-4259559-1502647330.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
Current StackSize limit: 8192 KiB

solver pid=11319, runsolver pid=11316

[startup+0.100146 s]*
/proc/loadavg: 1.62 1.71 1.83 3/206 11373
/proc/meminfo: memFree=26592724/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=13445604 memory=15564 CPUtime=0.09 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 4537 12329 0 0 1 1 5 2 20 0 7 0 97813884 13768298496 3891 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3361401 3891 1989 1 0 3349839 0
[pid=11319/tid=11369] ppid=11316 vsize=13445604 memory=4279135703980343948 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 2405 12329 0 0 1 0 5 2 20 0 7 0 97813893 13768298496 3957 33554432000 4194304 4196468 140721533520864 140405653773072 140405633611132 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=13445604 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 7 0 97813893 13768298496 3957 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=13445604 memory=140350505719424 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 7 0 97813893 13768298496 3957 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=13445604 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 7 0 97813893 13768298496 3957 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=13445604 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 7 0 97813893 13768298496 3957 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=13445604 memory=140350505719424 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 7 0 97813895 13768298496 3957 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13445604 KiB
Current children cumulated memory: 15564 KiB

[startup+0.209765 s]*
/proc/loadavg: 1.62 1.71 1.83 3/215 11382
/proc/meminfo: memFree=26574812/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=13978600 memory=39316 CPUtime=0.25 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 8020 12329 0 0 17 1 5 2 20 0 15 0 97813884 14314086400 9829 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3494650 9829 2962 1 0 3482967 0
[pid=11319/tid=11369] ppid=11316 vsize=13978600 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 4538 12329 0 0 11 1 5 2 20 0 15 0 97813893 14314086400 9829 33554432000 4194304 4196468 140721533520864 140405653717360 140405632717459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=13978600 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314086400 9829 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=13978600 memory=140350505729017 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314086400 9829 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314086400 9829 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314086400 9829 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=13978600 memory=140350505719424 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 33 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404560983456 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 21 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404559930864 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=13978600 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 551 12329 0 0 1 0 5 2 20 0 15 0 97813898 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 213 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=13978600 memory=140350505719424 CPUtime=0.1 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 506 12329 0 0 3 0 5 2 20 0 15 0 97813898 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=13978600 memory=140350505719424 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813899 14314086400 9829 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 39316 KiB

[startup+0.310201 s]*
/proc/loadavg: 1.62 1.71 1.83 3/215 11382
/proc/meminfo: memFree=26561416/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=13979028 memory=50140 CPUtime=0.38 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 11099 12329 0 0 28 3 5 2 20 0 15 0 97813884 14314524672 12535 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3494757 12535 3077 1 0 3482967 0
[pid=11319/tid=11369] ppid=11316 vsize=13979028 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 7604 12329 0 0 19 2 5 2 20 0 15 0 97813893 14314524672 12535 33554432000 4194304 4196468 140721533520864 140405653740640 140405632717396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314524672 12535 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314524672 12535 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314524672 12535 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314524672 12535 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 33 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404560983456 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 21 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404559930864 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=13979028 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 554 12329 0 0 1 0 5 2 20 0 15 0 97813898 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=13979028 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 216 12329 0 0 1 0 5 2 20 0 15 0 97813898 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=13979028 memory=140350505719424 CPUtime=0.12 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 513 12329 0 0 5 0 5 2 20 0 15 0 97813898 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=13979028 memory=140350505719424 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813899 14314524672 12535 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50140 KiB

[startup+0.700667 s]
/proc/loadavg: 1.62 1.71 1.83 5/215 11382
/proc/meminfo: memFree=26554344/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=13979256 memory=81156 CPUtime=0.96 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 16995 12329 0 0 85 4 5 2 20 0 15 0 97813884 14314758144 20289 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3494814 20289 3286 1 0 3482967 0
[pid=11319/tid=11369] ppid=11316 vsize=13979256 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 12848 12329 0 0 56 3 5 2 20 0 15 0 97813893 14314758144 20289 33554432000 4194304 4196468 140721533520864 140405653749680 140405249282125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=13979256 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314758144 20289 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=13979264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314766336 20289 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=13979264 memory=140350404575856 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314766336 20289 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=13979264 memory=140350941299300 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2 12329 0 0 0 0 5 2 20 0 15 0 97813893 14314766336 20289 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=13979264 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 5 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314766336 20289 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=13979264 memory=7014751519583131217 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 33 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314766336 20289 33554432000 4194304 4196468 140721533520864 140404560983456 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=13979264 memory=18476 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 21 12329 0 0 0 0 5 2 20 0 15 0 97813895 14314766336 20289 33554432000 4194304 4196468 140721533520864 140404559930864 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=13979284 memory=16932 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314786816 20289 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=13979284 memory=4048 CPUtime=0.13 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 789 12329 0 0 6 0 5 2 20 0 15 0 97813898 14314786816 20289 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=13979284 memory=1792 CPUtime=0.16 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 579 12329 0 0 9 0 5 2 20 0 15 0 97813898 14314786816 20289 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=13979284 memory=648 CPUtime=0.19 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 566 12329 0 0 12 0 5 2 20 0 15 0 97813898 14314786816 20289 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=13979284 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14314786816 20289 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=13979300 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 1 12329 0 0 0 0 5 2 20 0 15 0 97813899 14314803200 20289 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13979256 KiB
Current children cumulated memory: 81156 KiB

[startup+1.50067 s]
/proc/loadavg: 1.62 1.71 1.83 3/215 11382
/proc/meminfo: memFree=26497384/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=13991700 memory=175188 CPUtime=2.2 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 26600 12329 0 0 204 9 5 2 20 0 15 0 97813884 14327500800 43797 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3497925 43797 3406 1 0 3486039 0
[pid=11319/tid=11369] ppid=11316 vsize=13991700 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 19432 12329 0 0 130 5 5 2 20 0 15 0 97813893 14327500800 43797 33554432000 4194304 4196468 140721533520864 140405653764256 140405631094179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=13991700 memory=280700809200064 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 40 12329 0 0 0 0 5 2 20 0 15 0 97813893 14327500800 43797 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=13991700 memory=280700809209376 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 50 12329 0 0 1 0 5 2 20 0 15 0 97813893 14327500800 43797 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=13991700 memory=140350404610544 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 1 0 5 2 20 0 15 0 97813893 14327500800 43797 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 182 12329 0 0 1 0 5 2 20 0 15 0 97813893 14327500800 43797 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 1224 12329 0 0 1 0 5 2 20 0 15 0 97813895 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=13991700 memory=13331578489482 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 56 12329 0 0 0 0 5 2 20 0 15 0 97813895 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404560983520 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=13991700 memory=-7097495484385563872 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 0 0 5 2 20 0 15 0 97813895 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404559930880 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=13991700 memory=8026941098018885740 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=13991700 memory=8026941098018885740 CPUtime=0.22 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 980 12329 0 0 15 0 5 2 20 0 15 0 97813898 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=13991700 memory=7234867219264791632 CPUtime=0.26 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 868 12329 0 0 19 0 5 2 20 0 15 0 97813898 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=13991700 memory=6655300316396806240 CPUtime=0.39 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 1530 12329 0 0 32 0 5 2 20 0 15 0 97813898 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=13991700 memory=7372793290714474348 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=13991700 memory=6081945714775517540 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813899 14327500800 43797 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0

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

/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 45170 12329 0 0 10124 23 5 2 20 0 15 0 97813893 14411579392 271937 33554432000 4194304 4196468 140721533520864 140405653764448 140405634741230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=14073808 memory=11346 CPUtime=0.51 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 2654 12329 0 0 40 4 5 2 20 0 15 0 97813893 14411579392 271937 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=14073808 memory=1196 CPUtime=0.49 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 1644 12329 0 0 39 3 5 2 20 0 15 0 97813893 14411579392 271937 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=14073808 memory=1087748 CPUtime=0.5 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 2153 12329 0 0 40 3 5 2 20 0 15 0 97813893 14411579392 271937 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=14073808 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 817 12329 0 0 39 3 5 2 20 0 15 0 97813893 14411579392 271937 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=14073808 memory=4144 CPUtime=0.27 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 3429 12329 0 0 18 2 5 2 20 0 15 0 97813895 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=14073808 memory=4144 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 67 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404560983584 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=14073808 memory=28580 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404559930880 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=14073808 memory=1091744 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=14073808 memory=1091744 CPUtime=8.9 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 20907 12329 0 0 879 4 5 2 20 0 15 0 97813898 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=14073808 memory=1087748 CPUtime=9.04 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 20743 12329 0 0 894 3 5 2 20 0 15 0 97813898 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=14073808 memory=1087748 CPUtime=3 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 18512 12329 0 0 289 4 5 2 20 0 15 0 97813898 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=14073808 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=14073808 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 669 12329 0 0 2 2 5 2 20 0 15 0 97813899 14411579392 271937 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 124.33 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1087748 KiB

[startup+162.306 s]
/proc/loadavg: 1.82 1.81 1.86 3/216 11517
/proc/meminfo: memFree=26193572/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=14073808 memory=1022492 CPUtime=186.67 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 135714 12329 0 0 18597 63 5 2 20 0 15 0 97813884 14411579392 255623 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3518452 255623 3525 1 0 3506007 0
[pid=11319/tid=11369] ppid=11316 vsize=14073808 memory=1023516 CPUtime=161.28 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 47398 12329 0 0 16095 26 5 2 20 0 15 0 97813893 14411579392 255623 33554432000 4194304 4196468 140721533520864 140405653762096 140405649542550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=14073808 memory=1033552 CPUtime=0.66 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 2722 12329 0 0 55 4 5 2 20 0 15 0 97813893 14411579392 255623 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=14073808 memory=648 CPUtime=0.64 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 2195 12329 0 0 53 4 5 2 20 0 15 0 97813893 14411579392 255623 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=14073808 memory=1024544 CPUtime=0.65 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 3260 12329 0 0 54 4 5 2 20 0 15 0 97813893 14411579392 255623 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=14073808 memory=1022492 CPUtime=0.64 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 994 12329 0 0 53 4 5 2 20 0 15 0 97813893 14411579392 255623 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=14073808 memory=1087748 CPUtime=0.35 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 3760 12329 0 0 26 2 5 2 20 0 15 0 97813895 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=14073808 memory=1026596 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 70 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404560983584 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=14073808 memory=1025056 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404559930880 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=14073808 memory=1028132 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=14073808 memory=1028132 CPUtime=9.81 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) R 11316 11319 3242 0 -1 4202560 25791 12329 0 0 969 5 5 2 20 0 15 0 97813898 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404557826032 140405642515657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=14073808 memory=4144 CPUtime=9.86 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) R 11316 11319 3242 0 -1 4202560 24468 12329 0 0 975 4 5 2 20 0 15 0 97813898 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404556773488 140405633819507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=14073808 memory=28588 CPUtime=3.19 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 22118 12329 0 0 308 4 5 2 20 0 15 0 97813898 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=14073808 memory=1030988 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=14073808 memory=1031500 CPUtime=0.15 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 745 12329 0 0 4 4 5 2 20 0 15 0 97813899 14411579392 255623 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 186.67 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 1022492 KiB

[startup+222.301 s]
/proc/loadavg: 1.49 1.74 1.83 3/216 11518
/proc/meminfo: memFree=26107024/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=14073808 memory=928732 CPUtime=249.73 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 146005 12329 0 0 24894 72 5 2 20 0 15 0 97813884 14411579392 232183 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3518452 232183 3525 1 0 3506007 0
[pid=11319/tid=11369] ppid=11316 vsize=14073808 memory=8612 CPUtime=220.75 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 48645 12329 0 0 22041 27 5 2 20 0 15 0 97813893 14411579392 232183 33554432000 4194304 4196468 140721533520864 140405653764848 140405270346148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=14073808 memory=930268 CPUtime=0.95 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 2956 12329 0 0 83 5 5 2 20 0 15 0 97813893 14411579392 232183 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=14073808 memory=953480 CPUtime=0.92 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 2467 12329 0 0 81 4 5 2 20 0 15 0 97813893 14411579392 232183 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=14073808 memory=969900 CPUtime=0.94 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 3970 12329 0 0 82 5 5 2 20 0 15 0 97813893 14411579392 232183 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=14073808 memory=935404 CPUtime=0.93 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2198 12329 0 0 81 5 5 2 20 0 15 0 97813893 14411579392 232183 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=14073808 memory=929756 CPUtime=0.52 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 4088 12329 0 0 41 4 5 2 20 0 15 0 97813895 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=14073808 memory=929244 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 73 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404560983584 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=14073808 memory=929244 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404559930880 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=14073808 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=14073808 memory=978108 CPUtime=10.73 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 28457 12329 0 0 1061 5 5 2 20 0 15 0 97813898 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=14073808 memory=931296 CPUtime=10.78 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 25596 12329 0 0 1067 4 5 2 20 0 15 0 97813898 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=14073808 memory=929244 CPUtime=3.54 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 24593 12329 0 0 342 5 5 2 20 0 15 0 97813898 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=14073808 memory=936036 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=14073808 memory=930784 CPUtime=0.18 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 769 12329 0 0 5 6 5 2 20 0 15 0 97813899 14411579392 232183 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 249.73 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 928732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+224.401 s]
/proc/loadavg: 1.49 1.74 1.83 3/216 11518
/proc/meminfo: memFree=26108512/32770624 swapFree=67108860/67108860
[pid=11319] ppid=11316 vsize=14073808 memory=926680 CPUtime=252.05 cores=0,2,4,6
/proc/11319/stat : 11319 (java) S 11316 11319 3242 0 -1 1077944320 147195 12329 0 0 25125 73 5 2 20 0 15 0 97813884 14411579392 231670 33554432000 4194304 4196468 140721533520864 140721533503408 140405649530615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
/proc/11319/statm: 3518452 231670 3525 1 0 3506007 0
[pid=11319/tid=11369] ppid=11316 vsize=14073808 memory=1240 CPUtime=222.83 cores=0,2,4,6
/proc/11319/task/11369/stat : 11369 (java) R 11316 11319 3242 0 -1 4202560 48772 12329 0 0 22249 27 5 2 20 0 15 0 97813893 14411579392 231670 33554432000 4194304 4196468 140721533520864 140405653761168 140405269414220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11370] ppid=11316 vsize=14073808 memory=960 CPUtime=0.96 cores=0,2,4,6
/proc/11319/task/11370/stat : 11370 (java) S 11316 11319 3242 0 -1 1077944384 2957 12329 0 0 84 5 5 2 20 0 15 0 97813893 14411579392 231670 33554432000 4194304 4196468 140721533520864 140405579618576 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11371] ppid=11316 vsize=14073808 memory=2340 CPUtime=0.94 cores=0,2,4,6
/proc/11319/task/11371/stat : 11371 (java) S 11316 11319 3242 0 -1 1077944384 2470 12329 0 0 83 4 5 2 20 0 15 0 97813893 14411579392 231670 33554432000 4194304 4196468 140721533520864 140405578566032 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11372] ppid=11316 vsize=14073808 memory=932 CPUtime=0.95 cores=0,2,4,6
/proc/11319/task/11372/stat : 11372 (java) S 11316 11319 3242 0 -1 1077944384 3974 12329 0 0 83 5 5 2 20 0 15 0 97813893 14411579392 231670 33554432000 4194304 4196468 140721533520864 140405577513488 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11373] ppid=11316 vsize=14073808 memory=1572 CPUtime=0.95 cores=0,2,4,6
/proc/11319/task/11373/stat : 11373 (java) S 11316 11319 3242 0 -1 1077944384 2199 12329 0 0 83 5 5 2 20 0 15 0 97813893 14411579392 231670 33554432000 4194304 4196468 140721533520864 140405576460944 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11374] ppid=11316 vsize=14073808 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/11319/task/11374/stat : 11374 (java) S 11316 11319 3242 0 -1 1077944384 4092 12329 0 0 42 4 5 2 20 0 15 0 97813895 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404562037232 140405649541762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11375] ppid=11316 vsize=14073808 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11375/stat : 11375 (java) S 11316 11319 3242 0 -1 1077944384 73 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404560983584 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11376] ppid=11316 vsize=14073808 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11376/stat : 11376 (java) S 11316 11319 3242 0 -1 1077944384 43 12329 0 0 0 0 5 2 20 0 15 0 97813895 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404559930880 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11377] ppid=11316 vsize=14073808 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11377/stat : 11377 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404558879440 140405649549211 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11378] ppid=11316 vsize=14073808 memory=2244 CPUtime=10.8 cores=0,2,4,6
/proc/11319/task/11378/stat : 11378 (java) S 11316 11319 3242 0 -1 1077944384 28837 12329 0 0 1068 5 5 2 20 0 15 0 97813898 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404557826032 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11379] ppid=11316 vsize=14073808 memory=4124 CPUtime=10.86 cores=0,2,4,6
/proc/11319/task/11379/stat : 11379 (java) S 11316 11319 3242 0 -1 1077944384 25820 12329 0 0 1075 4 5 2 20 0 15 0 97813898 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404556773488 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11380] ppid=11316 vsize=14073808 memory=954504 CPUtime=3.58 cores=0,2,4,6
/proc/11319/task/11380/stat : 11380 (java) S 11316 11319 3242 0 -1 1077944384 25039 12329 0 0 346 5 5 2 20 0 15 0 97813898 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404555720944 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11381] ppid=11316 vsize=14073808 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/11319/task/11381/stat : 11381 (java) S 11316 11319 3242 0 -1 1077944384 3 12329 0 0 0 0 5 2 20 0 15 0 97813898 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404554668640 140405649540821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
[pid=11319/tid=11382] ppid=11316 vsize=14073808 memory=4048 CPUtime=0.18 cores=0,2,4,6
/proc/11319/task/11382/stat : 11382 (java) S 11316 11319 3242 0 -1 1077944384 769 12329 0 0 5 6 5 2 20 0 15 0 97813899 14411579392 231670 33554432000 4194304 4196468 140721533520864 140404553616176 140405649541762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140721533528726 140721533531511 140721533531511 140721533534159 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 926680 KiB

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

[startup+224.447 s]
# the end of solver process 11319 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.341 s, system=0.775876 s

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

Child status: 143
Real time (s): 224.447
CPU time (s): 252.117
CPU user time (s): 251.341
CPU system time (s): 0.775876
CPU usage (%): 112.328
Max. virtual memory (cumulated for all children) (KiB): 14076264
Max. memory (cumulated for all children) (KiB): 1129124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.341
system time used= 0.775876
maximum resident set size= 1131420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160846
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= 24819
involuntary context switches= 959


# summary of solver processes directly reported to runsolver:
#   pid: 11319
#   total CPU time (s): 252.117
#   total CPU user time (s): 251.341
#   total CPU system time (s): 0.775876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28646 second user time and 2.17269 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-13 19:47:51
IDJOB=4259559
IDBENCH=127072
IDSOLVER=2646
FILE ID=node149/4259559-1502647330
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-081.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259559-1502647330/watcher-4259559-1502647330 -o /tmp/evaluation-result-4259559-1502647330/solver-4259559-1502647330 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312  bin/concrete HOME/instance-4259559-1502647330.xml

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

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=170181793

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:        26599828 kB
MemAvailable:   30756704 kB
Buffers:          269828 kB
Cached:          4160772 kB
SwapCached:            0 kB
Active:          2381936 kB
Inactive:        3317456 kB
Active(anon):    1272148 kB
Inactive(anon):    24944 kB
Active(file):    1109788 kB
Inactive(file):  3292512 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24300 kB
Writeback:             4 kB
AnonPages:       1275540 kB
Mapped:            57016 kB
Shmem:             25224 kB
Slab:             168120 kB
SReclaimable:     140820 kB
SUnreclaim:        27300 kB
KernelStack:        3520 kB
PageTables:         7572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2133504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1044480 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:51:36