Trace number 4403016

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)1195 2520.07 2456.43

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-078.xml
MD5SUMb749a4e5de10f3f67b20d160b8ef335e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark659
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables6161
Number of constraints3157
Number of domains155
Minimum domain size2
Maximum domain size155
Distribution of domain sizes[{"size":2,"count":3082},{"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":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}]
Minimum constraint arity2
Maximum constraint arity78
Distribution of constraint arities[{"arity":2,"count":78},{"arity":3,"count":3004},{"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":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}]
Number of extensional constraints0
Number of intensional constraints3080
Distribution of constraint types[{"type":"intension","count":3080},{"type":"sum","count":77}]
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.78/0.55	c Concrete v3.12.3.1568965526260 running
16.65/6.22	o 2067
16.98/6.33	o 1955
16.98/6.36	o 1947
17.29/6.43	o 1731
17.29/6.46	o 1707
20.15/7.69	o 1427
20.27/7.77	o 1339
38.62/24.73	o 1299
38.62/24.74	o 1243
633.65/609.36	o 1195
2520.00/2456.41	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2456.41		at concrete.MAC.mac(MAC.scala:192)
2520.00/2456.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.00/2456.41		at scala.util.Try$.apply(Try.scala:210)
2520.00/2456.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.00/2456.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.00/2456.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.00/2456.41		at concrete.MAC.oneRun(MAC.scala:265)
2520.00/2456.41		at concrete.MAC.nextSolution(MAC.scala:284)
2520.00/2456.41		at concrete.MAC.nextSolution(MAC.scala:369)
2520.00/2456.41		at concrete.Solver.hasNext(Solver.scala:160)
2520.00/2456.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.00/2456.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.00/2456.41		at concrete.Solver.foreach(Solver.scala:67)
2520.00/2456.41		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.00/2456.41		at scala.util.Success.map(Try.scala:262)
2520.00/2456.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2456.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.00/2456.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.00/2456.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2456.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.00/2456.41		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.00/2456.41		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.00/2456.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.00/2456.41		at scala.App.$anonfun$main$1(App.scala:73)
2520.00/2456.41		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.00/2456.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.00/2456.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.00/2456.41		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.00/2456.41		at scala.App.main(App.scala:73)
2520.00/2456.41		at scala.App.main$(App.scala:71)
2520.00/2456.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.00/2456.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2456.41	v <instantiation
2520.00/2456.41	v         cost = '1195'>
2520.00/2456.41	v       <list>
2520.00/2456.41	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[73][0] y[73][1] y[73][2] y[73][3] y[74][0] y[74][1] y[74][2] y[75][0] y[75][1] y[76][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] 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]
2520.00/2456.42	v       </list>
2520.00/2456.42	v       <values>
2520.00/2456.42	v         1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 3 -4 -3 -2 1 0 5 0 -3 6 3 -8 -5 -2 -5 -4 1 -6 -1 -12 3 0 5 -6 -1 4 1 0 -1 2 1 -2 5 0 -7 4 3 2 -3 -8 3 2 1 6 1 0 -7 0 -5 -6 1 2 -1 4 5 -2 -9 -6 3 0 -3 6 3 0 -5 -2 -1 0 5 2 -3 2 1 -4 1 2 -1 9 16 9 4 1 0 25 0 9 36 9 64 25 4 25 16 1 36 1 144 9 0 25 36 1 16 1 0 1 4 1 4 25 0 49 16 9 4 9 64 9 4 1 36 1 0 49 0 25 36 1 4 1 16 25 4 81 36 9 0 9 36 9 0 25 4 1 0 25 4 9 4 1 16 1 4 1
2520.00/2456.42	v       </values>
2520.00/2456.42	v     </instantiation>
2520.00/2456.42	s SATISFIABLE

Verifier Data 

OK	1195

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403016-1568975066/watcher-4403016-1568975066 -o /tmp/evaluation-result-4403016-1568975066/solver-4403016-1568975066 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568967579-7556 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4403016-1568975066.xml 

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

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=9788, runsolver pid=9785

[startup+0.100063 s]*
/proc/loadavg: 1.30 1.34 1.39 3/220 9845
/proc/meminfo: memFree=4921928/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=9972712 memory=18588 CPUtime=0.09 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 4389 13294 0 0 1 1 4 3 20 0 6 0 473759669 10212057088 4647 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2493178 4647 1933 1 0 2481616 0
[pid=9788/tid=9841] ppid=9785 vsize=9972712 memory=7892391828772250251 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 2229 13294 0 0 0 0 4 3 20 0 6 0 473759678 10212057088 4713 33554432000 4194304 4196468 140726076630288 140682647822928 140682660066654 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 6 0 473759679 10212057088 4713 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=9972712 memory=140659400783488 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 6 0 473759679 10212057088 4713 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 6 0 473759679 10212057088 4713 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 6 0 473759679 10212057088 4713 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18588 KiB

[startup+0.210132 s]*
/proc/loadavg: 1.30 1.34 1.39 3/229 9854
/proc/meminfo: memFree=4901944/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10820164 memory=43332 CPUtime=0.25 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 7295 13294 0 0 16 2 4 3 20 0 15 0 473759669 11079847936 10833 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2705041 10833 3252 1 0 2667149 0
[pid=9788/tid=9841] ppid=9785 vsize=10820196 memory=7822038051842263955 CPUtime=0.18 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 3822 13294 0 0 10 1 4 3 20 0 15 0 473759678 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682647797200 140682676008093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10820196 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10820196 memory=140659400783488 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10820196 memory=140659400783488 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759680 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682123535904 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759681 11079880704 10833 33554432000 4194304 4196468 140726076630288 140681519555952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11079880704 10833 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 460 13294 0 0 0 0 4 3 20 0 15 0 473759683 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) R 9785 9788 7525 0 -1 4202560 182 13294 0 0 1 0 4 3 20 0 15 0 473759684 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682200574192 140682660885616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10820196 memory=140659400783488 CPUtime=0.1 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) R 9785 9788 7525 0 -1 1077944384 614 13294 0 0 3 0 4 3 20 0 15 0 473759684 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11079880704 10833 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10820196 memory=140659400783488 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759684 11079880704 10833 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 43332 KiB

[startup+0.310491 s]*
/proc/loadavg: 1.30 1.34 1.39 3/229 9854
/proc/meminfo: memFree=4889572/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10820196 memory=51644 CPUtime=0.4 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 10710 13294 0 0 29 4 4 3 20 0 15 0 473759669 11079880704 12911 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2705049 12911 3277 1 0 2667149 0
[pid=9788/tid=9841] ppid=9785 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 7193 13294 0 0 19 2 4 3 20 0 15 0 473759678 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682647795088 140682659178883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10820196 memory=7085123639806947687 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10820196 memory=5788339726952981056 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10820196 memory=7019607747297168841 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759679 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759680 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682123535904 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759681 11079880704 12911 33554432000 4194304 4196468 140726076630288 140681519555952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11079880704 12911 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 461 13294 0 0 1 0 4 3 20 0 15 0 473759683 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 191 13294 0 0 1 0 4 3 20 0 15 0 473759684 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 633 13294 0 0 5 0 4 3 20 0 15 0 473759684 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11079880704 12911 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759684 11079880704 12911 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51644 KiB

[startup+0.701129 s]
/proc/loadavg: 1.30 1.34 1.39 3/229 9854
/proc/meminfo: memFree=4875024/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10824364 memory=85052 CPUtime=1.15 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 15028 13294 0 0 102 6 4 3 20 0 15 0 473759669 11084148736 21263 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2706091 21263 3500 1 0 2668173 0
[pid=9788/tid=9841] ppid=9785 vsize=10824364 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 10410 13294 0 0 55 4 4 3 20 0 15 0 473759678 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682647812224 140682661679670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759679 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759679 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10824364 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 5 13294 0 0 0 0 4 3 20 0 15 0 473759680 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10824364 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682123535904 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759681 11084148736 21263 33554432000 4194304 4196468 140726076630288 140681519555952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10824364 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11084148736 21263 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 844 13294 0 0 12 0 4 3 20 0 15 0 473759683 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) R 9785 9788 7525 0 -1 4202560 694 13294 0 0 16 0 4 3 20 0 15 0 473759684 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682200574192 140682655232309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 840 13294 0 0 17 0 4 3 20 0 15 0 473759684 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10824364 memory=140659239454640 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11084148736 21263 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1 13294 0 0 0 0 4 3 20 0 15 0 473759684 11084148736 21263 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85052 KiB

[startup+1.50069 s]
/proc/loadavg: 1.35 1.35 1.39 6/229 9854
/proc/meminfo: memFree=4801852/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10832632 memory=235840 CPUtime=3.29 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 31062 13294 0 0 310 12 4 3 20 0 15 0 473759669 11092615168 58960 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2708158 58960 3587 1 0 2670221 0
[pid=9788/tid=9841] ppid=9785 vsize=10832632 memory=29 CPUtime=1.41 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 14769 13294 0 0 129 5 4 3 20 0 15 0 473759678 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682647817168 140682274827744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10832632 memory=29 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 41 13294 0 0 1 0 4 3 20 0 15 0 473759679 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 229 13294 0 0 1 0 4 3 20 0 15 0 473759679 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 27 13294 0 0 1 0 4 3 20 0 15 0 473759679 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10832632 memory=114208 CPUtime=0.09 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 67 13294 0 0 2 0 4 3 20 0 15 0 473759679 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 948 13294 0 0 1 0 4 3 20 0 15 0 473759680 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10832632 memory=7014751519667082600 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 14 13294 0 0 0 0 4 3 20 0 15 0 473759681 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682123535968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10832632 memory=7588956155681596505 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 2 13294 0 0 0 0 4 3 20 0 15 0 473759681 11092615168 58960 33554432000 4194304 4196468 140726076630288 140681519555968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10832632 memory=7668615751637492325 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11092615168 58960 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10832632 memory=5571041044932483173 CPUtime=0.7 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 4694 13294 0 0 62 1 4 3 20 0 15 0 473759683 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10832632 memory=7446531999360050026 CPUtime=0.7 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 5776 13294 0 0 63 0 4 3 20 0 15 0 473759684 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10832632 memory=7014751519667082600 CPUtime=0.51 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 2278 13294 0 0 43 1 4 3 20 0 15 0 473759684 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10832632 memory=7014751519667082600 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11092615168 58960 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10832632 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11092615168 58960 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 10832632 KiB

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

/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 163192 13294 0 0 229775 66 4 3 20 0 15 0 473759678 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682647822112 140682292629988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10849036 memory=537404 CPUtime=15.69 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 17604 13294 0 0 1511 51 4 3 20 0 15 0 473759679 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10849036 memory=531024 CPUtime=15.65 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 15583 13294 0 0 1507 51 4 3 20 0 15 0 473759679 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10849036 memory=528460 CPUtime=15.69 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 19131 13294 0 0 1511 51 4 3 20 0 15 0 473759679 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10849036 memory=525380 CPUtime=15.67 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 20755 13294 0 0 1510 50 4 3 20 0 15 0 473759679 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10849036 memory=519692 CPUtime=6.08 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 11874 13294 0 0 535 66 4 3 20 0 15 0 473759680 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10849036 memory=3504 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 17 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682123536032 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10849036 memory=529484 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 131345 33554432000 4194304 4196468 140726076630288 140681519555968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10849036 memory=529996 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11109412864 131345 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10849036 memory=536380 CPUtime=6.08 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 35164 13294 0 0 596 5 4 3 20 0 15 0 473759683 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10849036 memory=536380 CPUtime=6.17 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 35792 13294 0 0 606 4 4 3 20 0 15 0 473759684 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10849036 memory=530512 CPUtime=2.58 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 17916 13294 0 0 246 5 4 3 20 0 15 0 473759684 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10849036 memory=530512 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11109412864 131345 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10849036 memory=1712 CPUtime=1.44 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1143 13294 0 0 68 69 4 3 20 0 15 0 473759684 11109412864 131345 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 2383.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 525380 KiB

[startup+2382.3 s]
/proc/loadavg: 1.45 1.44 1.44 3/227 10223
/proc/meminfo: memFree=3901156/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10849036 memory=537408 CPUtime=2444.3 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 348096 13294 0 0 244029 394 4 3 20 0 15 0 473759669 11109412864 134352 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2712259 134352 3640 1 0 2674317 0
[pid=9788/tid=9841] ppid=9785 vsize=10849036 memory=541820 CPUtime=2357.85 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 167809 13294 0 0 235711 67 4 3 20 0 15 0 473759678 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682647822624 140682283383134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10849036 memory=554652 CPUtime=16.14 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 18253 13294 0 0 1553 54 4 3 20 0 15 0 473759679 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10849036 memory=535704 CPUtime=16.09 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 16271 13294 0 0 1549 53 4 3 20 0 15 0 473759679 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10849036 memory=550380 CPUtime=16.13 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 19932 13294 0 0 1553 53 4 3 20 0 15 0 473759679 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10849036 memory=546952 CPUtime=16.11 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 21424 13294 0 0 1552 52 4 3 20 0 15 0 473759679 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10849036 memory=540284 CPUtime=6.22 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 12128 13294 0 0 546 69 4 3 20 0 15 0 473759680 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10849036 memory=538948 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 17 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682123536032 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10849036 memory=537920 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 134352 33554432000 4194304 4196468 140726076630288 140681519555968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10849036 memory=537920 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11109412864 134352 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10849036 memory=8560 CPUtime=6.08 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 35166 13294 0 0 596 5 4 3 20 0 15 0 473759683 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10849036 memory=3504 CPUtime=6.17 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 35794 13294 0 0 606 4 4 3 20 0 15 0 473759684 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10849036 memory=55548 CPUtime=2.58 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 17916 13294 0 0 246 5 4 3 20 0 15 0 473759684 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10849036 memory=3028 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11109412864 134352 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10849036 memory=2012 CPUtime=1.47 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1158 13294 0 0 70 70 4 3 20 0 15 0 473759684 11109412864 134352 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 2444.3 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 537408 KiB

[startup+2442.3 s]
/proc/loadavg: 1.49 1.44 1.44 3/227 10227
/proc/meminfo: memFree=3890180/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10849036 memory=547960 CPUtime=2505.6 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 359402 13294 0 0 250147 406 4 3 20 0 15 0 473759669 11109412864 136990 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2712259 136990 3640 1 0 2674317 0
[pid=9788/tid=9841] ppid=9785 vsize=10849036 memory=3160 CPUtime=2417.23 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) R 9785 9788 7525 0 -1 4202560 176950 13294 0 0 241647 69 4 3 20 0 15 0 473759678 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682647822336 140682284099909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10849036 memory=548988 CPUtime=16.56 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 18789 13294 0 0 1594 55 4 3 20 0 15 0 473759679 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10849036 memory=550012 CPUtime=16.52 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) S 9785 9788 7525 0 -1 1077944384 16778 13294 0 0 1590 55 4 3 20 0 15 0 473759679 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682595047952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10849036 memory=556168 CPUtime=16.56 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) S 9785 9788 7525 0 -1 1077944384 20423 13294 0 0 1595 54 4 3 20 0 15 0 473759679 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682247985552 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10849036 memory=557708 CPUtime=16.54 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) S 9785 9788 7525 0 -1 1077944384 21748 13294 0 0 1594 53 4 3 20 0 15 0 473759679 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682246932752 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10849036 memory=560784 CPUtime=6.36 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 12398 13294 0 0 559 70 4 3 20 0 15 0 473759680 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682202680176 140682675997314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10849036 memory=520480 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 17 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682123536032 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10849036 memory=529316 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 136990 33554432000 4194304 4196468 140726076630288 140681519555968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10849036 memory=537012 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11109412864 136990 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10849036 memory=527776 CPUtime=6.08 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 35168 13294 0 0 596 5 4 3 20 0 15 0 473759683 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10849036 memory=530856 CPUtime=6.17 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 35797 13294 0 0 606 4 4 3 20 0 15 0 473759684 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10849036 memory=554116 CPUtime=2.58 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 17918 13294 0 0 246 5 4 3 20 0 15 0 473759684 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10849036 memory=548988 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11109412864 136990 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10849036 memory=548988 CPUtime=1.5 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1188 13294 0 0 71 72 4 3 20 0 15 0 473759684 11109412864 136990 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 2505.6 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 547960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.4 s]
/proc/loadavg: 1.41 1.43 1.43 3/228 10230
/proc/meminfo: memFree=3903296/32770624 swapFree=66999216/67108860
[pid=9788] ppid=9785 vsize=10849036 memory=532092 CPUtime=2520 cores=0,2,4,6
/proc/9788/stat : 9788 (java) S 9785 9788 7525 0 -1 1077944320 359466 13294 0 0 251585 408 4 3 20 0 15 0 473759669 11109412864 133023 33554432000 4194304 4196468 140726076630288 140726076612832 140682675986167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
/proc/9788/statm: 2712259 133023 3640 1 0 2674317 0
[pid=9788/tid=9841] ppid=9785 vsize=10849036 memory=7811044284279841896 CPUtime=2431.18 cores=0,2,4,6
/proc/9788/task/9841/stat : 9841 (java) S 9785 9788 7525 0 -1 1077944384 176997 13294 0 0 243041 70 4 3 20 0 15 0 473759678 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682647821952 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9842] ppid=9785 vsize=10849036 memory=7235146508153481024 CPUtime=16.67 cores=0,2,4,6
/proc/9788/task/9842/stat : 9842 (java) S 9785 9788 7525 0 -1 1077944384 18790 13294 0 0 1604 56 4 3 20 0 15 0 473759679 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682680228496 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9843] ppid=9785 vsize=10849036 memory=7235146508153481024 CPUtime=16.62 cores=0,2,4,6
/proc/9788/task/9843/stat : 9843 (java) R 9785 9788 7525 0 -1 4202560 16779 13294 0 0 1600 55 4 3 20 0 15 0 473759679 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682595047952 140682675998102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9844] ppid=9785 vsize=10849036 memory=7235146508153481024 CPUtime=16.67 cores=0,2,4,6
/proc/9788/task/9844/stat : 9844 (java) R 9785 9788 7525 0 -1 4202560 20428 13294 0 0 1605 55 4 3 20 0 15 0 473759679 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682247985552 140682660434459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9845] ppid=9785 vsize=10849036 memory=7811044284279841896 CPUtime=16.65 cores=0,2,4,6
/proc/9788/task/9845/stat : 9845 (java) R 9785 9788 7525 0 -1 4202560 21759 13294 0 0 1604 54 4 3 20 0 15 0 473759679 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682246932752 140682675998102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9846] ppid=9785 vsize=10849036 memory=532092 CPUtime=6.4 cores=0,2,4,6
/proc/9788/task/9846/stat : 9846 (java) S 9785 9788 7525 0 -1 1077944384 12398 13294 0 0 562 71 4 3 20 0 15 0 473759680 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682202678688 140682675996373 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9847] ppid=9785 vsize=10849036 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9847/stat : 9847 (java) S 9785 9788 7525 0 -1 1077944384 17 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682123536032 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9848] ppid=9785 vsize=10849036 memory=2124 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9848/stat : 9848 (java) S 9785 9788 7525 0 -1 1077944384 13 13294 0 0 0 0 4 3 20 0 15 0 473759681 11109412864 133023 33554432000 4194304 4196468 140726076630288 140681519555968 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9849] ppid=9785 vsize=10849036 memory=30276 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9849/stat : 9849 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759683 11109412864 133023 33554432000 4194304 4196468 140726076630288 140681212156240 140682676004763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9850] ppid=9785 vsize=10849036 memory=12024 CPUtime=6.08 cores=0,2,4,6
/proc/9788/task/9850/stat : 9850 (java) S 9785 9788 7525 0 -1 1077944384 35168 13294 0 0 596 5 4 3 20 0 15 0 473759683 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682201626992 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9851] ppid=9785 vsize=10849036 memory=500 CPUtime=6.17 cores=0,2,4,6
/proc/9788/task/9851/stat : 9851 (java) S 9785 9788 7525 0 -1 1077944384 35797 13294 0 0 606 4 4 3 20 0 15 0 473759684 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682200574192 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9852] ppid=9785 vsize=10849036 memory=1560 CPUtime=2.58 cores=0,2,4,6
/proc/9788/task/9852/stat : 9852 (java) S 9785 9788 7525 0 -1 1077944384 17918 13294 0 0 246 5 4 3 20 0 15 0 473759684 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682199521392 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9853] ppid=9785 vsize=10849036 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/9788/task/9853/stat : 9853 (java) S 9785 9788 7525 0 -1 1077944384 3 13294 0 0 0 0 4 3 20 0 15 0 473759684 11109412864 133023 33554432000 4194304 4196468 140726076630288 140681178597600 140682675996373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
[pid=9788/tid=9854] ppid=9785 vsize=10849036 memory=3768 CPUtime=1.52 cores=0,2,4,6
/proc/9788/task/9854/stat : 9854 (java) S 9785 9788 7525 0 -1 1077944384 1188 13294 0 0 72 73 4 3 20 0 15 0 473759684 11109412864 133023 33554432000 4194304 4196468 140726076630288 140682198469808 140682675997314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13365248 140726076635888 140726076638405 140726076638405 140726076641231 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 532092 KiB

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

[startup+2456.43 s]
# the end of solver process 9788 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.94 s, system=4.12952 s

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

Child status: 143
Real time (s): 2456.43
CPU time (s): 2520.07
CPU user time (s): 2515.94
CPU system time (s): 4.12952
CPU usage (%): 102.591
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1303788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.94
system time used= 4.12952
maximum resident set size= 1306364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185178
involuntary context switches= 7104


# summary of solver processes directly reported to runsolver:
#   pid: 9788
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.94
#   total CPU system time (s): 4.12952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6576 second user time and 23.3365 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-20 12:23:27
IDJOB=4403016
IDBENCH=127075
IDSOLVER=2861
FILE ID=node103/4403016-1568975066
RUNJOBID= node103-1568967579-7556
PBS_JOBID= 21704635
Free space on /tmp= 20680 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403016-1568975066/watcher-4403016-1568975066 -o /tmp/evaluation-result-4403016-1568975066/solver-4403016-1568975066 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568967579-7556 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4403016-1568975066.xml

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

MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e
RANDOM SEED=799927705

node103.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.74
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.74
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.74
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.74
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:         4930132 kB
MemAvailable:   31099176 kB
Buffers:           93132 kB
Cached:         26331436 kB
SwapCached:         6972 kB
Active:         13935156 kB
Inactive:       13251316 kB
Active(anon):     748664 kB
Inactive(anon):    63048 kB
Active(file):   13186492 kB
Inactive(file): 13188268 kB
Unevictable:      106748 kB
Mlocked:          106748 kB
SwapTotal:      67108860 kB
SwapFree:       66999216 kB
Dirty:             34880 kB
Writeback:             0 kB
AnonPages:        890252 kB
Mapped:            66068 kB
Shmem:             40864 kB
Slab:             249128 kB
SReclaimable:     220236 kB
SUnreclaim:        28892 kB
KernelStack:        4032 kB
PageTables:         7024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2030688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20644 MiB
End job on node103 at 2019-09-20 13:04:24