Trace number 4403005

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.12.3SAT (TO)1584 2520.06 2454.74

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-088.xml
MD5SUM433b6a25d6964ee5472894f745fbe815
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark812
Best CPU time to get the best result obtained on this benchmark2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables7831
Number of constraints4002
Number of domains175
Minimum domain size2
Maximum domain size175
Distribution of domain sizes[{"size":2,"count":3917},{"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":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":3741},{"degree":2,"count":4002},{"degree":87,"count":88}]
Minimum constraint arity2
Maximum constraint arity88
Distribution of constraint arities[{"arity":2,"count":88},{"arity":3,"count":3829},{"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":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}]
Number of extensional constraints0
Number of intensional constraints3915
Distribution of constraint types[{"type":"intension","count":3915},{"type":"sum","count":87}]
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 

0.80/0.55	c Concrete v3.12.3.1568965526260 running
18.18/6.88	o 3288
18.51/6.90	o 3180
19.45/7.24	o 3064
20.32/7.52	o 2760
20.32/7.54	o 2692
20.32/7.56	o 2480
21.33/7.93	o 2304
21.52/8.05	o 2188
22.25/8.54	o 1964
157.36/140.85	o 1936
157.87/141.31	o 1880
157.97/141.40	o 1864
159.90/143.35	o 1832
685.29/658.85	o 1584
2520.01/2454.71	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2454.71		at concrete.MAC.mac(MAC.scala:192)
2520.01/2454.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.01/2454.71		at scala.util.Try$.apply(Try.scala:210)
2520.01/2454.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.01/2454.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.01/2454.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.01/2454.71		at concrete.MAC.oneRun(MAC.scala:265)
2520.01/2454.71		at concrete.MAC.nextSolution(MAC.scala:284)
2520.01/2454.71		at concrete.MAC.nextSolution(MAC.scala:369)
2520.01/2454.71		at concrete.Solver.hasNext(Solver.scala:160)
2520.01/2454.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.01/2454.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.01/2454.71		at concrete.Solver.foreach(Solver.scala:67)
2520.01/2454.71		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.01/2454.71		at scala.util.Success.map(Try.scala:262)
2520.01/2454.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2454.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2454.71		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.01/2454.71		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.01/2454.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.01/2454.71		at scala.App.$anonfun$main$1(App.scala:73)
2520.01/2454.71		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.01/2454.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.01/2454.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.01/2454.71		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.01/2454.71		at scala.App.main(App.scala:73)
2520.01/2454.71		at scala.App.main$(App.scala:71)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2454.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2454.72	v <instantiation
2520.01/2454.72	v         cost = '1584'>
2520.01/2454.72	v       <list>
2520.01/2454.72	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[83][0] y[83][1] y[83][2] y[83][3] y[84][0] y[84][1] y[84][2] y[85][0] y[85][1] y[86][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86]
2520.01/2454.72	v       </list>
2520.01/2454.72	v       <values>
2520.01/2454.72	v         1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 2 -3 4 5 4 -7 10 3 2 -3 0 5 2 7 4 9 -8 -3 4 -1 8 -1 -2 -3 -4 -9 -4 -11 -4 -11 0 5 -4 -5 4 -1 2 1 -10 3 -6 -5 -2 5 -6 1 -2 -1 -2 5 0 -3 0 -1 0 -1 0 3 -4 5 -4 -1 -2 1 -4 5 -4 3 -4 -1 -4 1 2 -5 -4 3 2 -3 -2 3 0 -1 0 -1 2 -1 1 4 9 16 25 16 49 100 9 4 9 0 25 4 49 16 81 64 9 16 1 64 1 4 9 16 81 16 121 16 121 0 25 16 25 16 1 4 1 100 9 36 25 4 25 36 1 4 1 4 25 0 9 0 1 0 1 0 9 16 25 16 1 4 1 16 25 16 9 16 1 16 1 4 25 16 9 4 9 4 9 0 1 0 1 4 1
2520.01/2454.72	v       </values>
2520.01/2454.72	v     </instantiation>
2520.01/2454.72	s SATISFIABLE

Verifier Data 

OK	1584

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403005-1568974509/watcher-4403005-1568974509 -o /tmp/evaluation-result-4403005-1568974509/solver-4403005-1568974509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2094713575 HOME/instance-4403005-1568974509.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=25196, runsolver pid=25193

[startup+0.10016 s]*
/proc/loadavg: 4.55 3.80 2.68 3/219 25253
/proc/meminfo: memFree=8760660/32770624 swapFree=66998032/67108860
[pid=25196] ppid=25193 vsize=9972712 memory=15180 CPUtime=0.1 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 4576 13070 0 0 1 1 5 3 20 0 6 0 473705198 10212057088 3795 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2493178 3795 1935 1 0 2481616 0
[pid=25196/tid=25249] ppid=25193 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 2386 13070 0 0 1 0 5 3 20 0 6 0 473705207 10212057088 3861 33554432000 4194304 4196468 140733167450064 140345339404880 140345360664955 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 6 0 473705207 10212057088 3861 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=9972712 memory=3905948620304918176 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 6 0 473705207 10212057088 3861 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 6 0 473705207 10212057088 3861 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 6 0 473705207 10212057088 3861 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB

[startup+0.209999 s]*
/proc/loadavg: 4.55 3.80 2.68 3/228 25262
/proc/meminfo: memFree=8744144/32770624 swapFree=66998032/67108860
[pid=25196] ppid=25193 vsize=10820196 memory=38516 CPUtime=0.28 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 7616 13070 0 0 18 2 5 3 20 0 15 0 473705198 11079880704 9629 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2705049 9629 3307 1 0 2667149 0
[pid=25196/tid=25249] ppid=25193 vsize=10820196 memory=729618466009055537 CPUtime=0.2 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 4017 13070 0 0 11 1 5 3 20 0 15 0 473705207 11079880704 9629 33554432000 4194304 4196468 140733167450064 140345339379152 140345367589466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 9629 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10820196 memory=3905948620304918176 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 9629 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 15 0 473705209 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 33 13070 0 0 0 0 5 3 20 0 15 0 473705209 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344825964064 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705210 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344230405488 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11079880704 9629 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) R 25193 25196 22219 0 -1 4202560 641 13070 0 0 2 0 5 3 20 0 15 0 473705212 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344792406384 140345345442304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 50 13070 0 0 1 0 5 3 20 0 15 0 473705212 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10820196 memory=140055229212288 CPUtime=0.11 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 663 13070 0 0 3 0 5 3 20 0 15 0 473705212 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11079880704 9629 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10820196 memory=140055229212288 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705213 11079880704 9629 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 38516 KiB

[startup+0.31096 s]*
/proc/loadavg: 4.34 3.77 2.67 4/228 25262
/proc/meminfo: memFree=8731720/32770624 swapFree=66998032/67108860
[pid=25196] ppid=25193 vsize=10820196 memory=46712 CPUtime=0.41 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 11020 13070 0 0 30 3 5 3 20 0 15 0 473705198 11079880704 11678 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2705049 11678 3327 1 0 2667149 0
[pid=25196/tid=25249] ppid=25193 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 7365 13070 0 0 19 2 5 3 20 0 15 0 473705207 11079880704 11678 33554432000 4194304 4196468 140733167450064 140345339378256 140345353263111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 11678 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 11678 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 11678 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 15 0 473705207 11079880704 11678 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10820196 memory=140055229212287 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 15 0 473705209 11079880704 11678 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 33 13070 0 0 0 0 5 3 20 0 15 0 473705209 11079880704 11678 33554432000 4194304 4196468 140733167450064 140344825964064 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705210 11079880704 11743 33554432000 4194304 4196468 140733167450064 140344230405488 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11079880704 11743 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10820196 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 657 13070 0 0 3 0 5 3 20 0 15 0 473705212 11079880704 11743 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 50 13070 0 0 1 0 5 3 20 0 15 0 473705212 11079880704 11743 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10820196 memory=140055229212288 CPUtime=0.13 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 695 13070 0 0 5 0 5 3 20 0 15 0 473705212 11079880704 11743 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11079880704 11743 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10820196 memory=140055229212288 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705213 11079880704 11743 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46712 KiB

[startup+0.704412 s]
/proc/loadavg: 4.34 3.77 2.67 3/228 25262
/proc/meminfo: memFree=8715928/32770624 swapFree=66998032/67108860
[pid=25196] ppid=25193 vsize=10824364 memory=80588 CPUtime=1.16 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 15431 13070 0 0 103 5 5 3 20 0 15 0 473705198 11084148736 20147 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2706091 20147 3503 1 0 2668173 0
[pid=25196/tid=25249] ppid=25193 vsize=10824364 memory=7810487918915055718 CPUtime=0.68 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 10569 13070 0 0 56 4 5 3 20 0 15 0 473705207 11084148736 20147 33554432000 4194304 4196468 140733167450064 140345339397664 140345367590045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10824364 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11084148736 20147 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10824364 memory=1128 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11084148736 20147 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10824364 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705207 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 2 13070 0 0 0 0 5 3 20 0 15 0 473705207 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 5 13070 0 0 0 0 5 3 20 0 15 0 473705209 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 33 13070 0 0 0 0 5 3 20 0 15 0 473705209 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344825964064 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705210 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344230405488 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11084148736 20147 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10824364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 1078 13070 0 0 14 0 5 3 20 0 15 0 473705212 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10824364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) R 25193 25196 22219 0 -1 4202560 564 13070 0 0 14 0 5 3 20 0 15 0 473705212 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344791340128 140345344797403 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 963 13070 0 0 17 0 5 3 20 0 15 0 473705212 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11084148736 20147 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10824364 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705213 11084148736 20147 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 80588 KiB

[startup+1.51241 s]
/proc/loadavg: 4.34 3.77 2.67 5/228 25262
/proc/meminfo: memFree=8651028/32770624 swapFree=66998032/67108860
[pid=25196] ppid=25193 vsize=10832632 memory=231884 CPUtime=3.24 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 23704 13070 0 0 305 11 5 3 20 0 15 0 473705198 11092615168 57971 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2708158 57971 3585 1 0 2670221 0
[pid=25196/tid=25249] ppid=25193 vsize=10832632 memory=-7097481891625773097 CPUtime=1.43 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 14518 13070 0 0 129 6 5 3 20 0 15 0 473705207 11092615168 57971 33554432000 4194304 4196468 140733167450064 140345339399104 140345351648606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 224 13070 0 0 2 0 5 3 20 0 15 0 473705207 11092615168 57971 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 24 13070 0 0 2 0 5 3 20 0 15 0 473705207 11092615168 57971 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 32 13070 0 0 2 0 5 3 20 0 15 0 473705207 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10832632 memory=-6237260532469557610 CPUtime=0.1 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 57 13070 0 0 2 0 5 3 20 0 15 0 473705207 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 484 13070 0 0 1 0 5 3 20 0 15 0 473705209 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10832632 memory=280110251082688 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 34 13070 0 0 0 0 5 3 20 0 15 0 473705209 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344825964128 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10832632 memory=172564 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705210 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344230405504 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10832632 memory=216938798171468 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11092615168 57971 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10832632 memory=280110250865760 CPUtime=0.69 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) R 25193 25196 22219 0 -1 4202560 2300 13070 0 0 61 0 5 3 20 0 15 0 473705212 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344792396496 140345350952992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10832632 memory=280110250868000 CPUtime=0.66 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) R 25193 25196 22219 0 -1 4202560 1750 13070 0 0 58 0 5 3 20 0 15 0 473705212 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344791339552 140345346812927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10832632 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 2070 13070 0 0 44 0 5 3 20 0 15 0 473705212 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11092615168 57971 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1 13070 0 0 0 0 5 3 20 0 15 0 473705213 11092615168 57971 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 10832632 KiB

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

/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 191889 13070 0 0 235723 75 5 3 20 0 15 0 473705207 11109412864 164863 33554432000 4194304 4196468 140733167450064 140345339404128 140344972288382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10849036 memory=663744 CPUtime=16.37 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 29883 13070 0 0 1569 60 5 3 20 0 15 0 473705207 11109412864 164863 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10849036 memory=662528 CPUtime=16.32 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 20850 13070 0 0 1565 59 5 3 20 0 15 0 473705207 11109412864 164863 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10849036 memory=662528 CPUtime=16.35 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 22082 13070 0 0 1572 55 5 3 20 0 15 0 473705207 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10849036 memory=661504 CPUtime=16.34 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 21549 13070 0 0 1566 60 5 3 20 0 15 0 473705207 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10849036 memory=659964 CPUtime=5.75 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 14543 13070 0 0 497 70 5 3 20 0 15 0 473705209 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10849036 memory=653996 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 43 13070 0 0 0 0 5 3 20 0 15 0 473705209 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344825964192 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10849036 memory=664256 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 23 13070 0 0 0 0 5 3 20 0 15 0 473705210 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344230405504 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10849036 memory=657080 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 164863 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10849036 memory=3624 CPUtime=6.62 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 29850 13070 0 0 650 4 5 3 20 0 15 0 473705212 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10849036 memory=683652 CPUtime=6.77 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 24983 13070 0 0 664 5 5 3 20 0 15 0 473705212 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10849036 memory=683652 CPUtime=2.63 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 27737 13070 0 0 250 5 5 3 20 0 15 0 473705212 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10849036 memory=659964 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 164863 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10849036 memory=1728 CPUtime=1.45 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1037 13070 0 0 61 76 5 3 20 0 15 0 473705213 11109412864 164863 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 2446.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 659452 KiB

[startup+2442.3 s]
/proc/loadavg: 1.76 1.62 1.55 3/226 25634
/proc/meminfo: memFree=7905432/32770624 swapFree=66998048/67108860
[pid=25196] ppid=25193 vsize=10849036 memory=602500 CPUtime=2507.29 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 396552 13070 0 0 250274 447 5 3 20 0 15 0 473705198 11109412864 150625 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2712259 150625 3645 1 0 2674317 0
[pid=25196/tid=25249] ppid=25193 vsize=10849036 memory=595356 CPUtime=2417.46 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) R 25193 25196 22219 0 -1 4202560 198864 13070 0 0 241661 77 5 3 20 0 15 0 473705207 11109412864 150625 33554432000 4194304 4196468 140733167450064 140345339404144 140344985225200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10849036 memory=609348 CPUtime=16.79 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 30393 13070 0 0 1610 61 5 3 20 0 15 0 473705207 11109412864 150625 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10849036 memory=597032 CPUtime=16.74 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 21484 13070 0 0 1605 61 5 3 20 0 15 0 473705207 11109412864 150625 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10849036 memory=578052 CPUtime=16.77 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 22622 13070 0 0 1612 57 5 3 20 0 15 0 473705207 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10849036 memory=590364 CPUtime=16.76 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 22507 13070 0 0 1607 61 5 3 20 0 15 0 473705207 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10849036 memory=612760 CPUtime=5.91 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) S 25193 25196 22219 0 -1 1077944384 14773 13070 0 0 510 73 5 3 20 0 15 0 473705209 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344827018096 140345367579266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10849036 memory=611220 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 43 13070 0 0 0 0 5 3 20 0 15 0 473705209 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344825964192 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10849036 memory=604040 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 23 13070 0 0 0 0 5 3 20 0 15 0 473705210 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344230405504 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10849036 memory=604040 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 150625 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10849036 memory=604040 CPUtime=6.62 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 29852 13070 0 0 650 4 5 3 20 0 15 0 473705212 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10849036 memory=6791534058613427641 CPUtime=6.77 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 24985 13070 0 0 664 5 5 3 20 0 15 0 473705212 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10849036 memory=14012 CPUtime=2.63 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 27740 13070 0 0 250 5 5 3 20 0 15 0 473705212 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10849036 memory=610196 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 150625 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10849036 memory=1728 CPUtime=1.48 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1054 13070 0 0 62 78 5 3 20 0 15 0 473705213 11109412864 150625 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 2507.29 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 602500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.7 s]
/proc/loadavg: 1.80 1.63 1.55 3/227 25636
/proc/meminfo: memFree=7875828/32770624 swapFree=66998048/67108860
[pid=25196] ppid=25193 vsize=10849036 memory=648184 CPUtime=2520.01 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 400543 13070 0 0 251540 453 5 3 20 0 15 0 473705198 11109412864 162046 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2712259 162046 3645 1 0 2674317 0
[pid=25196/tid=25249] ppid=25193 vsize=10849036 memory=592876 CPUtime=2429.71 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) S 25193 25196 22219 0 -1 1077944384 202302 13070 0 0 242886 77 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345339403424 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10849036 memory=601472 CPUtime=16.89 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 30458 13070 0 0 1619 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10849036 memory=609348 CPUtime=16.84 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 21766 13070 0 0 1614 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10849036 memory=597032 CPUtime=16.88 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 22736 13070 0 0 1622 58 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10849036 memory=578052 CPUtime=16.86 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 22554 13070 0 0 1616 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10849036 memory=590364 CPUtime=5.95 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) R 25193 25196 22219 0 -1 4202560 14818 13070 0 0 514 73 5 3 20 0 15 0 473705209 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344827016608 140345353259243 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10849036 memory=611220 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 43 13070 0 0 0 0 5 3 20 0 15 0 473705209 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344825964192 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10849036 memory=602500 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 23 13070 0 0 0 0 5 3 20 0 15 0 473705210 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344230405504 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10849036 memory=594804 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10849036 memory=610092 CPUtime=6.62 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 29852 13070 0 0 650 4 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10849036 memory=637900 CPUtime=6.77 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 24985 13070 0 0 664 5 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10849036 memory=56 CPUtime=2.63 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 27740 13070 0 0 250 5 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10849036 memory=596752 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 162053 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10849036 memory=633804 CPUtime=1.49 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1054 13070 0 0 63 78 5 3 20 0 15 0 473705213 11109412864 162053 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 648184 KiB

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

[startup+2454.74 s]
# the end of solver process 25196 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.49 s, system=4.57691 s

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

[startup+2454.7 s]
/proc/loadavg: 1.80 1.63 1.55 3/227 25636
/proc/meminfo: memFree=7875828/32770624 swapFree=66998048/67108860
[pid=25196] ppid=25193 vsize=10849036 memory=648184 CPUtime=2520.01 cores=1,3,5,7
/proc/25196/stat : 25196 (java) S 25193 25196 22219 0 -1 1077944320 400543 13070 0 0 251540 453 5 3 20 0 15 0 473705198 11109412864 162046 33554432000 4194304 4196468 140733167450064 140733167432608 140345367568119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
/proc/25196/statm: 2712259 162046 3645 1 0 2674317 0
[pid=25196/tid=25249] ppid=25193 vsize=10849036 memory=592876 CPUtime=2429.71 cores=1,3,5,7
/proc/25196/task/25249/stat : 25249 (java) S 25193 25196 22219 0 -1 1077944384 202302 13070 0 0 242886 77 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345339403424 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25250] ppid=25193 vsize=10849036 memory=601472 CPUtime=16.89 cores=1,3,5,7
/proc/25196/task/25250/stat : 25250 (java) S 25193 25196 22219 0 -1 1077944384 30458 13070 0 0 1619 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345371810448 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25251] ppid=25193 vsize=10849036 memory=609348 CPUtime=16.84 cores=1,3,5,7
/proc/25196/task/25251/stat : 25251 (java) S 25193 25196 22219 0 -1 1077944384 21766 13070 0 0 1614 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140345305852432 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25252] ppid=25193 vsize=10849036 memory=597032 CPUtime=16.88 cores=1,3,5,7
/proc/25196/task/25252/stat : 25252 (java) S 25193 25196 22219 0 -1 1077944384 22736 13070 0 0 1622 58 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344939612560 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25253] ppid=25193 vsize=10849036 memory=578052 CPUtime=16.86 cores=1,3,5,7
/proc/25196/task/25253/stat : 25253 (java) S 25193 25196 22219 0 -1 1077944384 22554 13070 0 0 1616 62 5 3 20 0 15 0 473705207 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344938559760 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25254] ppid=25193 vsize=10849036 memory=590364 CPUtime=5.95 cores=1,3,5,7
/proc/25196/task/25254/stat : 25254 (java) R 25193 25196 22219 0 -1 4202560 14818 13070 0 0 514 73 5 3 20 0 15 0 473705209 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344827016608 140345353259243 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25255] ppid=25193 vsize=10849036 memory=611220 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25255/stat : 25255 (java) S 25193 25196 22219 0 -1 1077944384 43 13070 0 0 0 0 5 3 20 0 15 0 473705209 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344825964192 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25256] ppid=25193 vsize=10849036 memory=602500 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25256/stat : 25256 (java) S 25193 25196 22219 0 -1 1077944384 23 13070 0 0 0 0 5 3 20 0 15 0 473705210 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344230405504 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25257] ppid=25193 vsize=10849036 memory=594804 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25257/stat : 25257 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140343923005776 140345367586715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25258] ppid=25193 vsize=10849036 memory=610092 CPUtime=6.62 cores=1,3,5,7
/proc/25196/task/25258/stat : 25258 (java) S 25193 25196 22219 0 -1 1077944384 29852 13070 0 0 650 4 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344792406384 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25259] ppid=25193 vsize=10849036 memory=637900 CPUtime=6.77 cores=1,3,5,7
/proc/25196/task/25259/stat : 25259 (java) S 25193 25196 22219 0 -1 1077944384 24985 13070 0 0 664 5 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344791353584 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25260] ppid=25193 vsize=10849036 memory=56 CPUtime=2.63 cores=1,3,5,7
/proc/25196/task/25260/stat : 25260 (java) S 25193 25196 22219 0 -1 1077944384 27740 13070 0 0 250 5 5 3 20 0 15 0 473705212 11109412864 162046 33554432000 4194304 4196468 140733167450064 140344790300784 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25261] ppid=25193 vsize=10849036 memory=596752 CPUtime=0.08 cores=1,3,5,7
/proc/25196/task/25261/stat : 25261 (java) S 25193 25196 22219 0 -1 1077944384 3 13070 0 0 0 0 5 3 20 0 15 0 473705212 11109412864 162053 33554432000 4194304 4196468 140733167450064 140343889447136 140345367578325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
[pid=25196/tid=25262] ppid=25193 vsize=10849036 memory=633804 CPUtime=1.49 cores=1,3,5,7
/proc/25196/task/25262/stat : 25262 (java) S 25193 25196 22219 0 -1 1077944384 1054 13070 0 0 63 78 5 3 20 0 15 0 473705213 11109412864 162053 33554432000 4194304 4196468 140733167450064 140344789249200 140345367579266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38498304 140733167459055 140733167461573 140733167461573 140733167464399 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 648184 KiB

Child status: 143
Real time (s): 2454.74
CPU time (s): 2520.06
CPU user time (s): 2515.49
CPU system time (s): 4.57691
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1401532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.49
system time used= 4.57691
maximum resident set size= 1403600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171391
involuntary context switches= 5435


# summary of solver processes directly reported to runsolver:
#   pid: 25196
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.49
#   total CPU system time (s): 4.57691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8207 second user time and 23.7137 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-20 11:13:48
IDJOB=4403005
IDBENCH=126993
IDSOLVER=2861
FILE ID=node106/4403005-1568974509
RUNJOBID= node106-1568963957-22251
PBS_JOBID= 21704632
Free space on /tmp= 23248 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-088.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403005-1568974509/watcher-4403005-1568974509 -o /tmp/evaluation-result-4403005-1568974509/solver-4403005-1568974509 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2094713575 HOME/instance-4403005-1568974509.xml

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

MD5SUM BENCH= 433b6a25d6964ee5472894f745fbe815
RANDOM SEED=2094713575

node106.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.79
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.79
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.79
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.79
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:         8766904 kB
MemAvailable:   30195344 kB
Buffers:           84840 kB
Cached:         21350576 kB
SwapCached:         3928 kB
Active:         12310880 kB
Inactive:       10787216 kB
Active(anon):    1656428 kB
Inactive(anon):    49220 kB
Active(file):   10654452 kB
Inactive(file): 10737996 kB
Unevictable:      109408 kB
Mlocked:          109408 kB
SwapTotal:      67108860 kB
SwapFree:       66998032 kB
Dirty:             35444 kB
Writeback:             0 kB
AnonPages:       1774908 kB
Mapped:            61628 kB
Shmem:             33796 kB
Slab:             493728 kB
SReclaimable:     464452 kB
SUnreclaim:        29276 kB
KernelStack:        3760 kB
PageTables:         8964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2905920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23212 MiB
End job on node106 at 2019-09-20 11:54:43