Trace number 4396325

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.2SAT (TO)1716 2520.11 2459.17

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.77/0.55	c Concrete v3.12.2.1568380929293 running
28.00/13.16	o 1800
430.92/408.48	o 1728
442.99/420.21	o 1716
2520.03/2459.13	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.03/2459.13		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.03/2459.13		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.03/2459.13		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.03/2459.13		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2520.03/2459.13		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.03/2459.13		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.03/2459.13		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.03/2459.13		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.03/2459.13		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.03/2459.13		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.03/2459.13		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.03/2459.13		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.03/2459.13		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.03/2459.13		at scala.Option.map(Option.scala:243)
2520.03/2459.13		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.03/2459.13		at concrete.MAC.mac(MAC.scala:216)
2520.03/2459.13		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.03/2459.13		at scala.util.Try$.apply(Try.scala:212)
2520.03/2459.13		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2459.13		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2459.13		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2459.13		at concrete.MAC.oneRun(MAC.scala:265)
2520.03/2459.13		at concrete.MAC.nextSolution(MAC.scala:284)
2520.03/2459.13		at concrete.MAC.nextSolution(MAC.scala:369)
2520.03/2459.13		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2459.13		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2459.13		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2459.13		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2459.13		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.03/2459.13		at scala.util.Success.map(Try.scala:264)
2520.03/2459.13		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2459.13		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2459.13		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2459.13		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2459.13		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2459.13		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2459.13		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2459.13		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2459.13		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2459.13		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2459.13		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2459.13		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2459.13		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2459.13		at scala.App.main(App.scala:75)
2520.03/2459.13		at scala.App.main$(App.scala:73)
2520.03/2459.13		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2459.13		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2459.14	v <instantiation
2520.03/2459.14	v         cost = '1716'>
2520.03/2459.14	v       <list>
2520.03/2459.14	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[83][0] y[83][1] y[83][2] y[83][3] y[84][0] y[84][1] y[84][2] y[85][0] y[85][1] y[86][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86]
2520.03/2459.15	v       </list>
2520.03/2459.15	v       <values>
2520.03/2459.15	v         1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -5 4 3 0 5 -6 -7 0 11 -4 -11 -4 -9 6 -7 2 -1 2 -1 4 -7 6 1 -2 3 -6 -3 -6 9 -6 5 2 -11 6 -5 -2 -3 -2 1 6 -3 -6 1 -4 3 -2 -1 6 3 2 -1 -2 1 -2 -1 -2 7 6 3 -6 7 2 5 -2 -1 2 -1 -4 1 -2 1 6 3 -2 5 -4 -1 -4 1 4 3 2 -1 0 -3 0 1 25 16 9 0 25 36 49 0 121 16 121 16 81 36 49 4 1 4 1 16 49 36 1 4 9 36 9 36 81 36 25 4 121 36 25 4 9 4 1 36 9 36 1 16 9 4 1 36 9 4 1 4 1 4 1 4 49 36 9 36 49 4 25 4 1 4 1 16 1 4 1 36 9 4 25 16 1 16 1 16 9 4 1 0 9 0 1
2520.03/2459.15	v       </values>
2520.03/2459.15	v     </instantiation>
2520.03/2459.15	s SATISFIABLE

Verifier Data 

OK	1716

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396325-1568400069/watcher-4396325-1568400069 -o /tmp/evaluation-result-4396325-1568400069/solver-4396325-1568400069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17085 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2074388709 HOME/instance-4396325-1568400069.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19528, runsolver pid=19525

[startup+0.100121 s]*
/proc/loadavg: 1.49 1.55 1.57 3/222 19585
/proc/meminfo: memFree=28359536/32770624 swapFree=66916528/67108860
[pid=19528] ppid=19525 vsize=9972712 memory=18996 CPUtime=0.08 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 4513 13310 0 0 1 0 4 3 20 0 6 0 416257481 10212057088 4749 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2493178 4749 1935 1 0 2481616 0
[pid=19528/tid=19581] ppid=19525 vsize=9972712 memory=4279135704014096015 CPUtime=0.08 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 2312 13310 0 0 1 0 4 3 20 0 6 0 416257490 10212057088 4814 33554432000 4194304 4196468 140733264609232 140370583110224 140370596396400 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 6 0 416257490 10212057088 4814 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=9972712 memory=139659769669248 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 6 0 416257490 10212057088 4814 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 6 0 416257490 10212057088 4814 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 6 0 416257491 10212057088 4814 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18996 KiB

[startup+0.210315 s]*
/proc/loadavg: 1.49 1.55 1.57 4/231 19594
/proc/meminfo: memFree=28342324/32770624 swapFree=66916528/67108860
[pid=19528] ppid=19525 vsize=10819664 memory=38960 CPUtime=0.25 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 7076 13310 0 0 17 1 4 3 20 0 15 0 416257481 11079335936 9740 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2704916 9740 3159 1 0 2667149 0
[pid=19528/tid=19581] ppid=19525 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 3564 13310 0 0 11 1 4 3 20 0 15 0 416257490 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370583079264 140370595353950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10819664 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10819664 memory=288370035921380992 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257491 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10819664 memory=139659769669248 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257492 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 13 13310 0 0 0 0 4 3 20 0 15 0 416257492 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370067317792 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257493 11079335936 9740 33554432000 4194304 4196468 140733264609232 140369396228976 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11079335936 9740 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 469 13310 0 0 1 0 4 3 20 0 15 0 416257495 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 186 13310 0 0 1 0 4 3 20 0 15 0 416257495 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10819664 memory=139659769669248 CPUtime=0.1 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) R 19525 19528 15665 0 -1 4202560 617 13310 0 0 3 0 4 3 20 0 15 0 416257495 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370033760880 140370611294810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11079335936 9740 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10819664 memory=139659769669248 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257496 11079335936 9740 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38960 KiB

[startup+0.310532 s]*
/proc/loadavg: 1.49 1.55 1.57 3/231 19594
/proc/meminfo: memFree=28329404/32770624 swapFree=66916528/67108860
[pid=19528] ppid=19525 vsize=10820148 memory=50116 CPUtime=0.39 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 10798 13310 0 0 29 3 4 3 20 0 15 0 416257481 11079831552 12529 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2705037 12529 3291 1 0 2667149 0
[pid=19528/tid=19581] ppid=19525 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 7253 13310 0 0 19 2 4 3 20 0 15 0 416257490 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370583073376 140370595353950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257491 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257492 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 13 13310 0 0 0 0 4 3 20 0 15 0 416257492 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370067317792 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257493 11079831552 12529 33554432000 4194304 4196468 140733264609232 140369396228976 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11079831552 12529 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 469 13310 0 0 1 0 4 3 20 0 15 0 416257495 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 196 13310 0 0 2 0 4 3 20 0 15 0 416257495 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10820148 memory=139659769669248 CPUtime=0.12 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) R 19525 19528 15665 0 -1 4202560 641 13310 0 0 5 0 4 3 20 0 15 0 416257495 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370033760880 140370595353950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11079831552 12529 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10820148 memory=139659769669248 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257496 11079831552 12529 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50116 KiB

[startup+0.70071 s]
/proc/loadavg: 1.49 1.55 1.57 4/231 19594
/proc/meminfo: memFree=28314372/32770624 swapFree=66916528/67108860
[pid=19528] ppid=19525 vsize=10824360 memory=83540 CPUtime=1.13 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 15096 13310 0 0 101 5 4 3 20 0 15 0 416257481 11084144640 20885 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2706090 20885 3511 1 0 2668173 0
[pid=19528/tid=19581] ppid=19525 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 10411 13310 0 0 56 3 4 3 20 0 15 0 416257490 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370583100336 140370611295389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257490 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10824360 memory=139659653034768 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257490 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10824360 memory=139663746531930 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 2 13310 0 0 0 0 4 3 20 0 15 0 416257491 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10824360 memory=8300 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 5 13310 0 0 0 0 4 3 20 0 15 0 416257492 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10824360 memory=6297835844906604903 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 13 13310 0 0 0 0 4 3 20 0 15 0 416257492 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370067317792 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10824360 memory=6081102367496366441 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257493 11084144640 20885 33554432000 4194304 4196468 140733264609232 140369396228976 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10824360 memory=20316 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11084144640 20885 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10824360 memory=12036 CPUtime=0.19 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) R 19525 19528 15665 0 -1 4202560 948 13310 0 0 12 0 4 3 20 0 15 0 416257495 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370136882032 140370603562935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10824360 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 667 13310 0 0 14 0 4 3 20 0 15 0 416257495 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10824360 memory=500 CPUtime=0.24 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 826 13310 0 0 17 0 4 3 20 0 15 0 416257495 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10824360 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11084144640 20885 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10824360 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257496 11084144640 20885 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83540 KiB

[startup+1.50124 s]
/proc/loadavg: 1.49 1.55 1.57 5/231 19594
/proc/meminfo: memFree=28242068/32770624 swapFree=66916528/67108860
[pid=19528] ppid=19525 vsize=10832628 memory=244356 CPUtime=3.53 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 28457 13310 0 0 334 12 4 3 20 0 15 0 416257481 11092611072 61089 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2708157 61089 3577 1 0 2670221 0
[pid=19528/tid=19581] ppid=19525 vsize=10832628 memory=67812 CPUtime=1.41 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 15622 13310 0 0 127 7 4 3 20 0 15 0 416257490 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370583099608 140370595353950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10832628 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 21 13310 0 0 2 0 4 3 20 0 15 0 416257490 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10832628 memory=279319306100896 CPUtime=0.09 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 41 13310 0 0 2 0 4 3 20 0 15 0 416257490 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 247 13310 0 0 2 0 4 3 20 0 15 0 416257490 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 48 13310 0 0 2 0 4 3 20 0 15 0 416257491 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 941 13310 0 0 1 0 4 3 20 0 15 0 416257492 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 14 13310 0 0 0 0 4 3 20 0 15 0 416257492 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370067317856 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 1 13310 0 0 0 0 4 3 20 0 15 0 416257493 11092611072 61089 33554432000 4194304 4196468 140733264609232 140369396228992 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10832628 memory=-2245088631185882904 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11092611072 61089 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10832628 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) R 19525 19528 15665 0 -1 4202560 3935 13310 0 0 74 0 4 3 20 0 15 0 416257495 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370136863232 140370592794596 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10832628 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 3407 13310 0 0 75 0 4 3 20 0 15 0 416257495 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10832628 memory=6791534058613427641 CPUtime=0.52 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 1962 13310 0 0 44 1 4 3 20 0 15 0 416257495 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10832628 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11092611072 61089 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10832628 memory=279319306345344 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257496 11092611072 61089 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 3.53 s
Current children cumulated vsize: 10832628 KiB

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

/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 144313 13310 0 0 235873 63 4 3 20 0 15 0 416257490 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370583108608 140370227238849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10849032 memory=454144 CPUtime=14.05 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 18866 13310 0 0 1352 46 4 3 20 0 15 0 416257490 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10849032 memory=56 CPUtime=14.02 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 21210 13310 0 0 1345 50 4 3 20 0 15 0 416257490 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10849032 memory=456712 CPUtime=14 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 18874 13310 0 0 1346 47 4 3 20 0 15 0 416257490 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10849032 memory=452608 CPUtime=14.05 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 25759 13310 0 0 1346 52 4 3 20 0 15 0 416257491 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10849032 memory=456868 CPUtime=6.14 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 12932 13310 0 0 545 62 4 3 20 0 15 0 416257492 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10849032 memory=1392 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 30 13310 0 0 0 0 4 3 20 0 15 0 416257492 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370067317856 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10849032 memory=452532 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 22 13310 0 0 0 0 4 3 20 0 15 0 416257493 11109408768 113023 33554432000 4194304 4196468 140733264609232 140369396229152 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10849032 memory=455684 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113023 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10849032 memory=456260 CPUtime=8.35 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 51907 13310 0 0 822 6 4 3 20 0 15 0 416257495 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10849032 memory=450504 CPUtime=8.36 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 51303 13310 0 0 823 6 4 3 20 0 15 0 416257495 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10849032 memory=454660 CPUtime=2.71 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 34750 13310 0 0 257 7 4 3 20 0 15 0 416257495 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10849032 memory=3628 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113023 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10849032 memory=454144 CPUtime=1.37 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1260 13310 0 0 60 70 4 3 20 0 15 0 416257496 11109408768 113023 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 2441.94 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 452092 KiB

[startup+2442.3 s]
/proc/loadavg: 1.62 1.59 1.50 3/231 19969
/proc/meminfo: memFree=28744576/32770624 swapFree=66916536/67108860
[pid=19528] ppid=19525 vsize=10849032 memory=451600 CPUtime=2502.93 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 387234 13310 0 0 249908 378 4 3 20 0 15 0 416257481 11109408768 112900 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2712258 112900 3637 1 0 2674317 0
[pid=19528/tid=19581] ppid=19525 vsize=10849032 memory=451600 CPUtime=2418.8 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 145608 13310 0 0 241810 63 4 3 20 0 15 0 416257490 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370583109616 140370232999154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10849032 memory=452628 CPUtime=14.39 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 19445 13310 0 0 1386 46 4 3 20 0 15 0 416257490 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10849032 memory=454144 CPUtime=14.36 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 21716 13310 0 0 1379 50 4 3 20 0 15 0 416257490 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10849032 memory=454720 CPUtime=14.36 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 19572 13310 0 0 1381 48 4 3 20 0 15 0 416257490 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10849032 memory=455096 CPUtime=14.4 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 26231 13310 0 0 1380 53 4 3 20 0 15 0 416257491 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10849032 memory=453988 CPUtime=6.32 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 13149 13310 0 0 562 63 4 3 20 0 15 0 416257492 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10849032 memory=452112 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 30 13310 0 0 0 0 4 3 20 0 15 0 416257492 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370067317856 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10849032 memory=451600 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 22 13310 0 0 0 0 4 3 20 0 15 0 416257493 11109408768 112900 33554432000 4194304 4196468 140733264609232 140369396229152 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10849032 memory=241220 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 112900 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10849032 memory=451600 CPUtime=8.35 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 51909 13310 0 0 822 6 4 3 20 0 15 0 416257495 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10849032 memory=451600 CPUtime=8.36 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 51305 13310 0 0 823 6 4 3 20 0 15 0 416257495 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10849032 memory=451600 CPUtime=2.71 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 34752 13310 0 0 257 7 4 3 20 0 15 0 416257495 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10849032 memory=451600 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 112900 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10849032 memory=451600 CPUtime=1.4 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1278 13310 0 0 62 71 4 3 20 0 15 0 416257496 11109408768 112900 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 2502.93 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 451600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.11 s]
/proc/loadavg: 1.73 1.62 1.51 3/231 19971
/proc/meminfo: memFree=28741348/32770624 swapFree=66916536/67108860
[pid=19528] ppid=19525 vsize=10849032 memory=452928 CPUtime=2520.03 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 387474 13310 0 0 251616 380 4 3 20 0 15 0 416257481 11109408768 113232 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2712258 113232 3637 1 0 2674317 0
[pid=19528/tid=19581] ppid=19525 vsize=10849032 memory=452928 CPUtime=2435.43 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 145694 13310 0 0 243473 63 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370583109296 140370232363388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.5 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 19482 13310 0 0 1396 47 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.47 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 21774 13310 0 0 1389 51 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.46 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 19606 13310 0 0 1391 48 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10849032 memory=448500 CPUtime=14.51 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 26252 13310 0 0 1390 54 4 3 20 0 15 0 416257491 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10849032 memory=0 CPUtime=6.36 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 13153 13310 0 0 566 63 4 3 20 0 15 0 416257492 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10849032 memory=452928 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 30 13310 0 0 0 0 4 3 20 0 15 0 416257492 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370067317856 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10849032 memory=453136 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 22 13310 0 0 0 0 4 3 20 0 15 0 416257493 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369396229152 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10849032 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10849032 memory=620 CPUtime=8.35 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 51909 13310 0 0 822 6 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10849032 memory=454216 CPUtime=8.36 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 51305 13310 0 0 823 6 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10849032 memory=454216 CPUtime=2.71 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 34752 13310 0 0 257 7 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10849032 memory=452928 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10849032 memory=7666366065065353301 CPUtime=1.41 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1278 13310 0 0 62 72 4 3 20 0 15 0 416257496 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 452928 KiB

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

[startup+2459.17 s]
# the end of solver process 19528 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.25 s, system=3.85508 s

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

[startup+2459.11 s]
/proc/loadavg: 1.73 1.62 1.51 3/231 19971
/proc/meminfo: memFree=28741348/32770624 swapFree=66916536/67108860
[pid=19528] ppid=19525 vsize=10849032 memory=452928 CPUtime=2520.03 cores=1,3,5,7
/proc/19528/stat : 19528 (java) S 19525 19528 15665 0 -1 1077944320 387474 13310 0 0 251616 380 4 3 20 0 15 0 416257481 11109408768 113232 33554432000 4194304 4196468 140733264609232 140733264591776 140370611273463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
/proc/19528/statm: 2712258 113232 3637 1 0 2674317 0
[pid=19528/tid=19581] ppid=19525 vsize=10849032 memory=452928 CPUtime=2435.43 cores=1,3,5,7
/proc/19528/task/19581/stat : 19581 (java) R 19525 19528 15665 0 -1 4202560 145694 13310 0 0 243473 63 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370583109296 140370232363388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19582] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.5 cores=1,3,5,7
/proc/19528/task/19582/stat : 19582 (java) S 19525 19528 15665 0 -1 1077944384 19482 13310 0 0 1396 47 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370615516304 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19583] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.47 cores=1,3,5,7
/proc/19528/task/19583/stat : 19583 (java) S 19525 19528 15665 0 -1 1077944384 21774 13310 0 0 1389 51 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370538675216 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19584] ppid=19525 vsize=10849032 memory=452928 CPUtime=14.46 cores=1,3,5,7
/proc/19528/task/19584/stat : 19584 (java) S 19525 19528 15665 0 -1 1077944384 19606 13310 0 0 1391 48 4 3 20 0 15 0 416257490 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370183429008 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19585] ppid=19525 vsize=10849032 memory=448500 CPUtime=14.51 cores=1,3,5,7
/proc/19528/task/19585/stat : 19585 (java) S 19525 19528 15665 0 -1 1077944384 26252 13310 0 0 1390 54 4 3 20 0 15 0 416257491 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370182376208 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19586] ppid=19525 vsize=10849032 memory=0 CPUtime=6.36 cores=1,3,5,7
/proc/19528/task/19586/stat : 19586 (java) S 19525 19528 15665 0 -1 1077944384 13153 13310 0 0 566 63 4 3 20 0 15 0 416257492 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370137934192 140370611284610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19587] ppid=19525 vsize=10849032 memory=452928 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19587/stat : 19587 (java) S 19525 19528 15665 0 -1 1077944384 30 13310 0 0 0 0 4 3 20 0 15 0 416257492 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370067317856 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19588] ppid=19525 vsize=10849032 memory=453136 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19588/stat : 19588 (java) S 19525 19528 15665 0 -1 1077944384 22 13310 0 0 0 0 4 3 20 0 15 0 416257493 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369396229152 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19589] ppid=19525 vsize=10849032 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19589/stat : 19589 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369155938128 140370611292059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19590] ppid=19525 vsize=10849032 memory=620 CPUtime=8.35 cores=1,3,5,7
/proc/19528/task/19590/stat : 19590 (java) S 19525 19528 15665 0 -1 1077944384 51909 13310 0 0 822 6 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370136882032 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19591] ppid=19525 vsize=10849032 memory=454216 CPUtime=8.36 cores=1,3,5,7
/proc/19528/task/19591/stat : 19591 (java) S 19525 19528 15665 0 -1 1077944384 51305 13310 0 0 823 6 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370135829232 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19592] ppid=19525 vsize=10849032 memory=454216 CPUtime=2.71 cores=1,3,5,7
/proc/19528/task/19592/stat : 19592 (java) S 19525 19528 15665 0 -1 1077944384 34752 13310 0 0 257 7 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370033760880 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19593] ppid=19525 vsize=10849032 memory=452928 CPUtime=0.07 cores=1,3,5,7
/proc/19528/task/19593/stat : 19593 (java) S 19525 19528 15665 0 -1 1077944384 3 13310 0 0 0 0 4 3 20 0 15 0 416257495 11109408768 113232 33554432000 4194304 4196468 140733264609232 140369122380512 140370611283669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
[pid=19528/tid=19594] ppid=19525 vsize=10849032 memory=7666366065065353301 CPUtime=1.41 cores=1,3,5,7
/proc/19528/task/19594/stat : 19594 (java) S 19525 19528 15665 0 -1 1077944384 1278 13310 0 0 62 72 4 3 20 0 15 0 416257496 11109408768 113232 33554432000 4194304 4196468 140733264609232 140370032708272 140370611284610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28729344 140733264612079 140733264614597 140733264614597 140733264617423 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 452928 KiB

Child status: 143
Real time (s): 2459.17
CPU time (s): 2520.11
CPU user time (s): 2516.25
CPU system time (s): 3.85508
CPU usage (%): 102.478
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 1410880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.85508
maximum resident set size= 1413496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184170
involuntary context switches= 7072


# summary of solver processes directly reported to runsolver:
#   pid: 19528
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.25
#   total CPU system time (s): 3.85508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.289 second user time and 23.588 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-13 20:40:28
IDJOB=4396325
IDBENCH=126993
IDSOLVER=2846
FILE ID=node134/4396325-1568400069
RUNJOBID= node134-1568393375-17085
PBS_JOBID= 21701859
Free space on /tmp= 59536 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-088.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396325-1568400069/watcher-4396325-1568400069 -o /tmp/evaluation-result-4396325-1568400069/solver-4396325-1568400069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17085 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2074388709 HOME/instance-4396325-1568400069.xml

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

MD5SUM BENCH= 433b6a25d6964ee5472894f745fbe815
RANDOM SEED=2074388709

node134.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.76
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.76
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.76
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.76
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:        28368460 kB
MemAvailable:   29930496 kB
Buffers:          181736 kB
Cached:          1647308 kB
SwapCached:        90688 kB
Active:          2384700 kB
Inactive:        1396772 kB
Active(anon):    1885560 kB
Inactive(anon):   106556 kB
Active(file):     499140 kB
Inactive(file):  1290216 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916528 kB
Dirty:             35832 kB
Writeback:             0 kB
AnonPages:       1974096 kB
Mapped:            57280 kB
Shmem:             30980 kB
Slab:             207680 kB
SReclaimable:     177028 kB
SUnreclaim:        30652 kB
KernelStack:        3760 kB
PageTables:         9564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2921572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1789952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59508 MiB
End job on node134 at 2019-09-13 21:21:27