Trace number 4304400

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.9.2-SuperNGSAT (TO)64647 2520.42 2459.45

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko90_c18.xml
MD5SUMe1bd5b7e730358cb8a15a6f1e37f47a5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62971
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables8190
Number of constraints4006
Number of domains2
Minimum domain size8
Maximum domain size90
Distribution of domain sizes[{"size":8,"count":4005},{"size":90,"count":90}]
Minimum variable degree0
Maximum variable degree90
Distribution of variable degrees[{"degree":0,"count":4095},{"degree":2,"count":4005},{"degree":90,"count":90}]
Minimum constraint arity3
Maximum constraint arity90
Distribution of constraint arities[{"arity":3,"count":4005},{"arity":90,"count":1}]
Number of extensional constraints4005
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4005},{"type":"allDifferent","count":1}]
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.99/0.74	c Concrete v3.9.2.1532736233296 running
2115.06/2064.25	o 64805
2115.36/2064.37	o 64773
2116.26/2064.61	o 64694
2116.53/2064.71	o 64647
2520.27/2459.40	Exception in thread "main" java.util.concurrent.TimeoutException
2520.27/2459.40		at concrete.MAC.mac(MAC.scala:188)
2520.27/2459.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.27/2459.40		at scala.util.Try$.apply(Try.scala:209)
2520.27/2459.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.27/2459.40		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.27/2459.40		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.27/2459.40		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.27/2459.40		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.27/2459.40		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.27/2459.40		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.27/2459.40		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.27/2459.40		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.27/2459.40		at concrete.MAC.oneRun(MAC.scala:253)
2520.27/2459.40		at concrete.MAC.nextSolution(MAC.scala:272)
2520.27/2459.40		at concrete.MAC.nextSolution(MAC.scala:355)
2520.27/2459.40		at concrete.Solver.hasNext(Solver.scala:166)
2520.27/2459.40		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.27/2459.40		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.27/2459.40		at concrete.Solver.foreach(Solver.scala:68)
2520.27/2459.40		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.27/2459.40		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.27/2459.40		at scala.util.Success.map(Try.scala:209)
2520.27/2459.40		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.27/2459.40		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.27/2459.40		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.27/2459.40		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.27/2459.40		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.27/2459.40		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.27/2459.40		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.27/2459.40		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.27/2459.40		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.27/2459.40		at scala.collection.immutable.List.foreach(List.scala:389)
2520.27/2459.40		at scala.App.main(App.scala:76)
2520.27/2459.40		at scala.App.main$(App.scala:74)
2520.27/2459.40		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.27/2459.40		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.27/2459.40	v <instantiation cost="64647">
2520.27/2459.40	v       <list>
2520.27/2459.40	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] x[88] x[89] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[0][81] d[0][82] d[0][83] d[0][84] d[0][85] d[0][86] d[0][87] d[0][88] d[0][89] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[1][81] d[1][82] d[1][83] d[1][84] d[1][85] d[1][86] d[1][87] d[1][88] d[1][89] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[2][81] d[2][82] d[2][83] d[2][84] d[2][85] d[2][86] d[2][87] d[2][88] d[2][89] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[3][81] d[3][82] d[3][83] d[3][84] d[3][85] d[3][86] d[3][87] d[3][88] d[3][89] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[4][81] d[4][82] d[4][83] d[4][84] d[4][85] d[4][86] d[4][87] d[4][88] d[4][89] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[5][81] d[5][82] d[5][83] d[5][84] d[5][85] d[5][86] d[5][87] d[5][88] d[5][89] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[6][81] d[6][82] d[6][83] d[6][84] d[6][85] d[6][86] d[6][87] d[6][88] d[6][89] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[7][81] d[7][82] d[7][83] d[7][84] d[7][85] d[7][86] d[7][87] d[7][88] d[7][89] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[8][81] d[8][82] d[8][83] d[8][84] d[8][85] d[8][86] d[8][87] d[8][88] d[8][89] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[9][81] d[9][82] d[9][83] d[9][84] d[9][85] d[9][86] d[9][87] d[9][88] d[9][89] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[10][81] d[10][82] d[10][83] d[10][84] d[10][85] d[10][86] d[10][87] d[10][88] d[10][89] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[11][81] d[11][82] d[11][83] d[11][84] d[11][85] d[11][86] d[11][87] d[11][88] d[11][89] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[12][81] d[12][82] d[12][83] d[12][84] d[12][85] d[12][86] d[12][87] d[12][88] d[12][89] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[13][81] d[13][82] d[13][83] d[13][84] d[13][85] d[13][86] d[13][87] d[13][88] d[13][89] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[14][81] d[14][82] d[14][83] d[14][84] d[14][85] d[14][86] d[14][87] d[14][88] d[14][89] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[15][81] d[15][82] d[15][83] d[15][84] d[15][85] d[15][86] d[15][87] d[15][88] d[15][89] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[16][81] d[16][82] d[16][83] d[16][84] d[16][85] d[16][86] d[16][87] d[16][88] d[16][89] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[17][81] d[17][82] d[17][83] d[17][84] d[17][85] d[17][86] d[17][87] d[17][88] d[17][89] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[18][81] d[18][82] d[18][83] d[18][84] d[18][85] d[18][86] d[18][87] d[18][88] d[18][89] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[19][81] d[19][82] d[19][83] d[19][84] d[19][85] d[19][86] d[19][87] d[19][88] d[19][89] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[20][81] d[20][82] d[20][83] d[20][84] d[20][85] d[20][86] d[20][87] d[20][88] d[20][89] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[21][81] d[21][82] d[21][83] d[21][84] d[21][85] d[21][86] d[21][87] d[21][88] d[21][89] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[22][81] d[22][82] d[22][83] d[22][84] d[22][85] d[22][86] d[22][87] d[22][88] d[22][89] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[23][81] d[23][82] d[23][83] d[23][84] d[23][85] d[23][86] d[23][87] d[23][88] d[23][89] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[24][81] d[24][82] d[24][83] d[24][84] d[24][85] d[24][86] d[24][87] d[24][88] d[24][89] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[25][81] d[25][82] d[25][83] d[25][84] d[25][85] d[25][86] d[25][87] d[25][88] d[25][89] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[26][81] d[26][82] d[26][83] d[26][84] d[26][85] d[26][86] d[26][87] d[26][88] d[26][89] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[27][81] d[27][82] d[27][83] d[27][84] d[27][85] d[27][86] d[27][87] d[27][88] d[27][89] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[28][81] d[28][82] d[28][83] d[28][84] d[28][85] d[28][86] d[28][87] d[28][88] d[28][89] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[29][81] d[29][82] d[29][83] d[29][84] d[29][85] d[29][86] d[29][87] d[29][88] d[29][89] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[30][81] d[30][82] d[30][83] d[30][84] d[30][85] d[30][86] d[30][87] d[30][88] d[30][89] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[31][81] d[31][82] d[31][83] d[31][84] d[31][85] d[31][86] d[31][87] d[31][88] d[31][89] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[32][81] d[32][82] d[32][83] d[32][84] d[32][85] d[32][86] d[32][87] d[32][88] d[32][89] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[33][81] d[33][82] d[33][83] d[33][84] d[33][85] d[33][86] d[33][87] d[33][88] d[33][89] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[34][81] d[34][82] d[34][83] d[34][84] d[34][85] d[34][86] d[34][87] d[34][88] d[34][89] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[35][81] d[35][82] d[35][83] d[35][84] d[35][85] d[35][86] d[35][87] d[35][88] d[35][89] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[36][81] d[36][82] d[36][83] d[36][84] d[36][85] d[36][86] d[36][87] d[36][88] d[36][89] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[37][81] d[37][82] d[37][83] d[37][84] d[37][85] d[37][86] d[37][87] d[37][88] d[37][89] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[38][81] d[38][82] d[38][83] d[38][84] d[38][85] d[38][86] d[38][87] d[38][88] d[38][89] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[39][81] d[39][82] d[39][83] d[39][84] d[39][85] d[39][86] d[39][87] d[39][88] d[39][89] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[40][81] d[40][82] d[40][83] d[40][84] d[40][85] d[40][86] d[40][87] d[40][88] d[40][89] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[41][81] d[41][82] d[41][83] d[41][84] d[41][85] d[41][86] d[41][87] d[41][88] d[41][89] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[42][81] d[42][82] d[42][83] d[42][84] d[42][85] d[42][86] d[42][87] d[42][88] d[42][89] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[43][81] d[43][82] d[43][83] d[43][84] d[43][85] d[43][86] d[43][87] d[43][88] d[43][89] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[44][81] d[44][82] d[44][83] d[44][84] d[44][85] d[44][86] d[44][87] d[44][88] d[44][89] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[45][81] d[45][82] d[45][83] d[45][84] d[45][85] d[45][86] d[45][87] d[45][88] d[45][89] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[46][81] d[46][82] d[46][83] d[46][84] d[46][85] d[46][86] d[46][87] d[46][88] d[46][89] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[47][81] d[47][82] d[47][83] d[47][84] d[47][85] d[47][86] d[47][87] d[47][88] d[47][89] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[48][81] d[48][82] d[48][83] d[48][84] d[48][85] d[48][86] d[48][87] d[48][88] d[48][89] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[49][81] d[49][82] d[49][83] d[49][84] d[49][85] d[49][86] d[49][87] d[49][88] d[49][89] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[50][81] d[50][82] d[50][83] d[50][84] d[50][85] d[50][86] d[50][87] d[50][88] d[50][89] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[51][81] d[51][82] d[51][83] d[51][84] d[51][85] d[51][86] d[51][87] d[51][88] d[51][89] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[52][81] d[52][82] d[52][83] d[52][84] d[52][85] d[52][86] d[52][87] d[52][88] d[52][89] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[53][81] d[53][82] d[53][83] d[53][84] d[53][85] d[53][86] d[53][87] d[53][88] d[53][89] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[54][81] d[54][82] d[54][83] d[54][84] d[54][85] d[54][86] d[54][87] d[54][88] d[54][89] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[55][81] d[55][82] d[55][83] d[55][84] d[55][85] d[55][86] d[55][87] d[55][88] d[55][89] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[56][81] d[56][82] d[56][83] d[56][84] d[56][85] d[56][86] d[56][87] d[56][88] d[56][89] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[57][81] d[57][82] d[57][83] d[57][84] d[57][85] d[57][86] d[57][87] d[57][88] d[57][89] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[58][81] d[58][82] d[58][83] d[58][84] d[58][85] d[58][86] d[58][87] d[58][88] d[58][89] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[59][81] d[59][82] d[59][83] d[59][84] d[59][85] d[59][86] d[59][87] d[59][88] d[59][89] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[60][81] d[60][82] d[60][83] d[60][84] d[60][85] d[60][86] d[60][87] d[60][88] d[60][89] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[61][81] d[61][82] d[61][83] d[61][84] d[61][85] d[61][86] d[61][87] d[61][88] d[61][89] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[62][81] d[62][82] d[62][83] d[62][84] d[62][85] d[62][86] d[62][87] d[62][88] d[62][89] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[63][81] d[63][82] d[63][83] d[63][84] d[63][85] d[63][86] d[63][87] d[63][88] d[63][89] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[64][81] d[64][82] d[64][83] d[64][84] d[64][85] d[64][86] d[64][87] d[64][88] d[64][89] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[65][81] d[65][82] d[65][83] d[65][84] d[65][85] d[65][86] d[65][87] d[65][88] d[65][89] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[66][81] d[66][82] d[66][83] d[66][84] d[66][85] d[66][86] d[66][87] d[66][88] d[66][89] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[67][81] d[67][82] d[67][83] d[67][84] d[67][85] d[67][86] d[67][87] d[67][88] d[67][89] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[68][81] d[68][82] d[68][83] d[68][84] d[68][85] d[68][86] d[68][87] d[68][88] d[68][89] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[69][81] d[69][82] d[69][83] d[69][84] d[69][85] d[69][86] d[69][87] d[69][88] d[69][89] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[70][81] d[70][82] d[70][83] d[70][84] d[70][85] d[70][86] d[70][87] d[70][88] d[70][89] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[71][81] d[71][82] d[71][83] d[71][84] d[71][85] d[71][86] d[71][87] d[71][88] d[71][89] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[72][81] d[72][82] d[72][83] d[72][84] d[72][85] d[72][86] d[72][87] d[72][88] d[72][89] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[73][81] d[73][82] d[73][83] d[73][84] d[73][85] d[73][86] d[73][87] d[73][88] d[73][89] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[74][81] d[74][82] d[74][83] d[74][84] d[74][85] d[74][86] d[74][87] d[74][88] d[74][89] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[75][81] d[75][82] d[75][83] d[75][84] d[75][85] d[75][86] d[75][87] d[75][88] d[75][89] d[76][77] d[76][78] d[76][79] d[76][80] d[76][81] d[76][82] d[76][83] d[76][84] d[76][85] d[76][86] d[76][87] d[76][88] d[76][89] d[77][78] d[77][79] d[77][80] d[77][81] d[77][82] d[77][83] d[77][84] d[77][85] d[77][86] d[77][87] d[77][88] d[77][89] d[78][79] d[78][80] d[78][81] d[78][82] d[78][83] d[78][84] d[78][85] d[78][86] d[78][87] d[78][88] d[78][89] d[79][80] d[79][81] d[79][82] d[79][83] d[79][84] d[79][85] d[79][86] d[79][87] d[79][88] d[79][89] d[80][81] d[80][82] d[80][83] d[80][84] d[80][85] d[80][86] d[80][87] d[80][88] d[80][89] d[81][82] d[81][83] d[81][84] d[81][85] d[81][86] d[81][87] d[81][88] d[81][89] d[82][83] d[82][84] d[82][85] d[82][86] d[82][87] d[82][88] d[82][89] d[83][84] d[83][85] d[83][86] d[83][87] d[83][88] d[83][89] d[84][85] d[84][86] d[84][87] d[84][88] d[84][89] d[85][86] d[85][87] d[85][88] d[85][89] d[86][87] d[86][88] d[86][89] d[87][88] d[87][89] d[88][89]
2520.27/2459.40	v       </list>
2520.27/2459.40	v       <values>
2520.27/2459.40	v         33 11 21 10 12 83 50 45 76 78 65 24 70 58 17 20 35 74 89 53 39 47 87 43 59 16 55 67 52 0 73 62 9 4 26 27 19 13 14 69 60 1 32 6 29 36 77 71 2 64 30 63 22 42 79 44 25 48 8 38 80 46 34 81 49 68 66 40 86 75 56 72 51 41 5 54 31 61 15 18 88 7 82 28 84 85 23 37 57 3 5 10 0 5 0 5 5 0 1 0 0 10 0 0 1 1 0 5 0 3 5 2 5 2 10 2 0 4 0 2 0 0 0 2 1 0 1 2 2 5 1 1 0 1 0 5 4 2 0 10 0 10 2 1 5 0 0 1 3 5 3 0 2 3 0 3 0 0 4 5 1 0 0 5 2 1 2 0 3 5 2 5 1 0 0 2 0 0 5 5 0 2 0 5 10 10 3 5 5 1 2 1 0 5 3 1 2 3 0 2 0 5 0 4 0 0 0 5 5 5 2 1 3 5 10 5 0 1 0 1 1 5 1 5 2 0 5 1 6 5 0 2 2 5 1 6 0 2 4 0 2 5 10 5 0 5 4 5 2 2 4 10 4 0 1 2 5 0 0 3 3 2 2 0 1 3 0 2 0 2 10 0 5 4 3 2 5 5 2 0 0 0 5 3 0 0 0 10 0 0 5 10 0 5 0 0 5 1 0 0 1 2 0 10 0 0 0 3 2 10 2 0 0 2 0 5 5 2 2 1 0 0 2 1 0 2 5 0 0 0 2 0 2 0 5 1 2 2 0 4 2 6 0 1 0 0 0 0 1 5 0 4 0 0 0 1 2 5 10 4 2 2 5 0 5 5 3 5 2 0 5 1 2 5 10 5 5 10 0 0 0 5 0 0 5 0 5 1 5 2 5 1 2 0 0 0 2 5 0 2 0 10 5 0 4 0 0 5 2 1 2 0 1 0 1 0 0 1 0 1 5 1 3 1 1 2 0 2 0 2 2 1 0 1 2 0 4 1 0 0 0 0 0 5 10 5 0 0 0 2 0 2 0 5 5 0 0 5 1 0 1 2 1 5 10 5 4 2 0 2 4 2 2 10 1 10 0 5 5 1 10 10 2 2 5 0 5 1 5 2 1 1 0 4 1 1 0 0 5 5 1 0 1 0 0 0 4 5 5 10 10 2 2 1 10 2 2 5 1 0 5 0 6 3 1 2 2 2 3 10 5 5 10 5 0 0 10 5 2 5 0 10 5 5 2 0 0 0 5 0 2 1 0 5 0 0 2 2 0 5 0 0 0 0 10 10 2 10 2 1 2 4 0 4 3 2 3 0 2 0 0 0 1 5 2 1 2 0 1 2 2 2 2 10 2 5 5 0 1 10 0 10 0 0 0 3 0 0 10 2 6 2 5 0 5 1 1 0 10 0 0 1 0 5 10 0 0 2 5 0 1 10 3 5 4 2 4 5 6 10 1 2 3 0 2 10 1 2 10 0 10 1 2 1 5 5 0 1 10 0 0 0 5 5 5 2 0 0 0 1 1 0 0 5 5 0 5 5 0 1 6 2 0 3 3 2 5 5 0 0 10 3 0 0 2 0 4 0 10 5 1 10 5 10 0 0 5 5 1 0 10 3 3 5 2 5 0 2 10 2 4 2 0 0 0 0 5 0 0 10 5 3 4 3 1 0 1 0 0 5 10 2 0 3 1 0 2 2 2 0 0 0 1 0 4 3 1 0 2 0 0 0 0 0 5 5 2 2 10 0 10 2 0 0 10 0 0 0 0 0 5 10 0 5 0 5 0 0 5 2 5 2 2 5 2 3 5 2 0 1 5 4 1 0 1 0 2 2 5 0 0 0 2 5 0 0 4 1 2 5 4 1 10 0 0 4 0 0 3 1 5 10 2 3 1 0 5 2 0 0 0 0 5 10 5 0 1 0 10 0 0 2 5 0 5 0 2 5 2 0 0 0 2 1 5 1 0 5 2 2 10 0 3 2 1 10 5 2 10 10 2 0 0 0 0 3 2 1 0 4 0 1 0 1 5 0 4 0 5 5 0 2 0 0 0 1 1 0 2 1 2 0 10 10 2 10 0 5 2 2 0 2 0 6 6 1 0 0 1 0 0 1 2 1 4 5 2 5 5 0 5 0 2 5 5 0 5 10 5 2 0 2 3 5 0 10 2 0 1 3 3 5 10 10 5 1 4 4 4 2 0 0 0 0 0 2 0 5 2 2 0 2 2 2 10 3 5 5 5 0 0 6 2 0 2 4 0 0 5 0 0 2 2 5 5 5 0 1 2 1 4 1 2 5 5 4 5 5 0 0 0 2 2 5 1 4 5 6 0 0 10 2 5 5 2 3 0 0 2 5 0 0 5 5 0 2 0 3 2 1 0 2 0 2 5 10 1 1 0 0 1 0 1 1 10 0 2 0 0 0 5 2 5 1 3 0 2 5 0 6 2 1 0 5 2 5 0 0 0 5 1 0 5 5 3 5 1 0 0 5 1 0 5 10 5 2 2 5 0 10 1 5 5 1 0 5 1 1 1 5 5 0 5 10 2 4 0 0 0 3 0 10 0 3 0 0 2 2 0 0 6 0 3 4 10 1 2 0 1 3 0 2 1 2 1 5 0 3 1 6 1 0 0 5 0 2 1 1 2 5 1 10 10 0 4 2 10 0 10 10 1 4 2 0 1 3 0 0 2 2 3 0 2 4 0 10 1 0 0 5 1 2 0 0 3 5 5 2 1 0 2 0 1 3 0 1 5 0 1 1 5 1 2 5 0 5 0 2 0 5 2 1 0 0 5 2 5 0 4 5 5 0 10 0 3 2 1 2 1 0 1 2 0 1 6 2 10 10 1 0 1 2 5 6 1 5 5 0 0 2 5 0 2 0 10 5 0 0 5 3 6 2 0 0 0 10 5 2 0 0 5 0 1 0 0 0 10 0 2 0 0 0 0 5 10 2 0 2 0 0 2 5 4 0 1 0 1 0 0 5 5 0 10 5 2 0 0 5 10 2 0 0 0 10 5 5 3 2 1 0 0 5 5 5 2 5 0 0 0 5 2 6 0 1 5 5 4 5 5 0 2 0 4 3 2 0 1 0 1 0 0 5 0 4 2 4 5 5 2 5 1 5 5 2 0 4 2 5 0 2 0 1 2 5 0 4 5 0 6 0 0 10 0 10 10 2 2 0 2 2 2 1 5 2 0 2 10 2 0 5 1 5 5 2 5 5 10 0 5 10 10 0 1 1 10 5 0 0 10 0 0 5 5 1 5 2 3 2 0 0 5 1 0 2 0 0 5 5 0 0 10 2 5 1 0 5 1 10 5 4 10 10 1 1 4 5 2 5 0 2 0 1 0 3 0 1 3 5 3 5 0 1 5 5 0 2 1 5 1 0 0 2 10 2 5 1 10 5 3 5 0 0 5 0 0 0 4 3 2 0 0 0 0 0 10 1 0 5 2 0 1 1 5 0 0 2 0 1 1 5 2 0 1 0 10 2 4 10 5 2 2 2 5 2 4 10 0 1 0 1 0 0 6 5 10 0 2 5 5 10 2 1 0 0 4 2 10 2 0 5 5 0 0 2 5 0 3 2 5 1 2 10 0 0 5 0 5 3 4 0 5 1 2 2 5 0 10 10 5 5 0 2 1 2 2 5 0 2 2 0 5 5 2 3 1 10 0 0 5 5 10 1 0 0 0 1 4 0 5 3 0 1 0 4 5 0 10 3 1 0 2 5 1 1 0 2 0 0 0 0 2 2 0 5 5 0 10 2 0 3 3 2 10 5 10 3 0 1 5 5 10 0 10 3 0 5 5 5 0 2 5 5 2 10 5 1 10 0 0 10 2 2 3 0 5 0 2 1 0 2 10 2 0 5 0 4 2 0 5 10 2 5 5 3 1 0 2 1 0 10 2 10 0 2 0 0 0 0 0 3 1 0 0 3 0 2 0 0 4 5 5 0 2 10 0 0 5 1 10 6 0 2 5 1 0 0 1 2 1 0 0 3 0 0 2 5 5 6 0 1 0 0 10 1 1 1 2 0 1 0 0 10 2 0 4 1 1 0 2 5 0 4 2 1 10 2 0 2 0 5 0 5 10 2 3 5 1 3 2 2 5 0 0 2 4 2 0 0 10 0 0 1 1 2 5 5 4 5 5 2 3 2 5 1 0 1 5 0 10 5 5 5 10 0 0 10 3 2 0 0 1 2 2 5 2 0 10 0 0 4 10 0 5 2 3 0 1 3 2 10 1 2 5 2 0 1 0 1 5 1 0 10 0 0 10 10 0 5 3 0 5 1 5 2 1 5 2 5 0 2 1 0 1 2 0 0 0 0 2 5 3 5 3 5 1 0 2 5 0 6 10 1 0 5 5 0 2 0 5 2 0 0 0 2 1 2 3 5 10 0 0 3 2 0 4 3 0 5 2 0 0 2 6 0 5 0 0 1 0 0 0 5 2 5 0 5 2 2 0 5 5 5 5 4 0 5 0 4 1 2 10 0 0 0 0 5 5 2 5 2 0 5 0 2 1 5 0 2 0 5 2 10 5 0 2 0 5 1 2 0 5 2 5 0 0 5 10 3 4 6 10 0 5 5 0 10 0 5 0 1 5 2 3 0 0 6 4 0 1 5 0 1 1 2 5 5 1 4 4 5 6 3 1 5 1 2 5 0 4 2 2 2 6 0 0 1 5 2 0 0 0 1 2 1 1 0 4 10 3 5 10 3 0 1 2 0 1 1 2 0 2 2 3 2 0 10 10 6 0 1 3 5 2 0 2 2 5 5 2 4 0 0 1 0 2 1 3 4 2 0 1 0 4 5 2 0 1 3 2 0 0 10 1 5 3 2 1 0 1 5 4 4 2 1 10 5 1 6 0 10 2 10 5 4 5 0 10 5 2 5 5 5 5 2 0 0 10 5 2 2 0 5 5 0 0 0 2 0 5 0 5 5 5 1 10 0 0 2 5 0 0 2 5 0 5 1 0 0 3 5 1 5 1 5 2 0 0 0 3 0 5 0 2 1 4 5 6 2 5 5 5 0 5 2 2 0 0 2 5 5 1 0 0 0 0 0 2 0 10 5 3 5 2 5 5 0 0 1 5 2 2 2 2 0 10 0 2 6 4 3 0 0 10 0 5 5 2 3 1 5 1 0 4 10 3 0 6 2 4 0 1 1 3 0 5 5 5 2 5 1 0 0 1 1 5 3 5 0 0 2 2 2 6 2 0 2 5 1 2 4 0 5 1 5 0 10 2 1 0 5 0 3 0 4 10 5 0 1 1 2 4 5 5 2 2 5 0 5 0 0 6 1 1 3 5 0 0 0 2 0 2 5 1 5 1 6 0 0 1 0 0 4 2 0 5 0 10 0 5 0 0 5 5 0 5 2 1 6 5 4 5 2 4 0 2 0 5 1 5 0 2 0 0 1 0 10 10 3 5 2 0 0 10 5 5 5 3 0 0 0 0 1 10 0 10 0 5 2 5 0 2 0 0 5 3 4 0 2 5 5 6 0 5 0 2 2 1 5 5 1 5 0 1 2 5 1 1 2 5 5 10 2 0 0 10 0 2 10 0 10 1 1 2 3 2 0 0 0 2 2 5 2 5 5 0 6 0 5 0 10 2 2 2 0 0 0 0 0 5 0 5 0 0 0 2 0 0 5 2 2 5 0 5 0 2 2 10 2 0 0 0 1 0 2 0 3 10 1 2 0 0 10 0 0 0 0 5 1 5 2 1 0 2 0 1 1 2 10 2 2 0 5 2 0 3 1 1 1 0 5 2 2 5 2 10 2 1 0 5 0 2 2 2 0 0 5 0 6 0 0 2 1 0 2 2 3 0 0 2 5 0 0 2 0 5 0 10 0 0 1 2 1 0 1 2 5 0 2 0 2 5 5 0 2 0 2 2 10 0 5 5 5 5 2 5 2 0 4 10 4 5 5 10 1 0 5 10 0 10 0 2 2 2 3 0 10 5 0 5 4 1 0 1 5 1 0 10 1 2 1 0 0 0 0 4 1 3 1 0 10 0 2 1 6 5 0 5 0 0 0 4 10 1 0 2 0 5 5 2 0 1 1 0 1 2 5 0 2 2 1 2 3 5 5 5 5 1 5 0 2 0 5 0 0 0 0 1 5 2 0 0 0 0 4 3 5 5 10 5 0 0 0 10 0 5 0 0 1 0 1 2 5 5 0 5 2 5 5 0 4 10 4 5 2 0 0 10 0 2 6 0 5 2 0 1 1 10 0 1 10 1 0 4 2 2 4 5 0 2 2 10 2 10 1 0 5 0 5 5 3 0 3 2 1 1 10 0 10 5 1 2 3 3 2 0 5 5 2 10 10 3 2 5 10 2 0 5 4 2 3 0 4 6 5 2 0 0 1 5 5 1 2 0 2 0 5 0 5 2 2 0 10 2 0 0 5 1 2 0 10 2 5 0 0 0 5 2 2 2 2 2 0 0 0 5 4 0 1 2 10 6 0 1 0 0 5 0 0 2 0 0 5 3 0 1 5 0 4 0 1 0 2 2 0 1 5 1 1 2 2 0 5 1 0 0 0 2 5 0 2 2 2 5 2 5 0 0 10 10 1 10 2 0 0 5 5 2 10 5 0 1 0 0 5 1 2 5 1 6 5 5 5 2 2 2 0 0 1 0 2 10 3 1 2 2 5 0 3 1 0 6 0 1 5 4 2 10 0 0 10 0 0 5 2 0 2 2 6 5 3 5 0 1 5 0 10 10 4 0 2 0 0 1 5 2 0 5 5 3 0 10 4 10 0 0 0 5 5 5 3 5 0 5 0 5 10 1 2 5 0 6 3 5 5 5 0 1 5 0 0 2 0 10 0 2 5 2 2 0 2 10 1 5 2 2 1 5 1 5 10 10 5 5 0 5 5 2 1 0 0 5 5 0 5 5 6 0 10 5 2 5 5 2 4 0 5 0 0 0 2 5 2 0 0 2 1 0 0 0 0 10 0 4 1 1 2 2 2 0 5 1 2 5 5 1 3 3 6 10 2 2 5 0 5 0 2 5 1 4 6 10 4 0 5 4 1 10 0 5 5 0 2 0 10 1 2 1 0 5 0 0 0 5 0 2 1 0 0 5 4 2 2 1 5 0 5 2 0 1 5 3 2 10 1 0 2 2 1 0 2 5 0 4 1 2 0 5 5 5 2 5 5 5 3 4 2 0 0 4 1 4 0 10 3 0 1 0 3 0 0 1 5 5 10 2 6 1 1 1 2 1 1 2 2 0 0 2 0 0 0 5 2 0 4 5 10 1 0 10 0 0 5 3 2 5 2 0 0 5 10 10 2 3 2 5 0 0 5 2 2 10 4 0 0 3 2 1 5 6 2 5 0 5 10 10 2 5 0 5 0 5 0 2 1 0 3 0 2 0 5 0 2 5 5 3 5 5 3 10 0 1 0 0 10 5 5 2 5 0 0 0 2 5 4 10 1 1 0 2 10 0 0 0 0 1 2 0 5 5 0 0 5 1 2 5 1 5 0 5 2 0 2 5 0 0 5 1 1 5 4 2 3 5 0 0 0 5 2 5 6 1 2 0 2 2 1 0 1 1 0 2 0 5 1 0 10 0 2 5 0 5 2 1 1 0 2 2 10 1 0 0 0 5 0 1 5 1 6 2 0 5 5 0 2 0 0 5 10 5 2 5 2 0 0 0 1 2 5 2 0 2 2 2 2 0 2 2 0 0 0 2 5 0 2 2 0 5 3 3 3 0 1 0 0 2 0 2 0 10 10 0 0 5 5 2 0 0 1 5 0 3 5 2 6 0 0 0 0 0 0 5 5 1 5 0 2 0 2 2 2 0 6 1 1 4 5 1 5 5 2 10 5 0 1 0 5 0 1 4 2 4 4 0 4 2 2 2 5 5 0 10 0 5 5 2 5 2 1 2 0 1 0 5 2 5 0 5 6 1 0 1 2 4 0 2 0 5 4 5 1 2 3 3 0 10 0 2 5 3 1 0 5 2 0 0 0 2 0 10 0 0 0 0 2 0 2 4 2 1 5 5 2 2 5 5 1 10 5 5 5 0 1 5 5 5 1 4 0 2 5 2 4 0 2 2 0 0 5 2 0 0 5 0 2 0 4 4 2 1 1 2 0 0 2 4 0 1 5 0 5 5 0 1 0 2 5 2 5 5 2 6 1 0 1 2 6 2 10 0 5 5 1 10 0 5 1 10 0 0 2 2 5 1 5 10 5 10 10 0 5 5 0 1 1 1 0 2 5 0 10 10 0 5 0 0 10 5 5 0 0 5 0 2 2 0 2 5 0 2 5 5 5 5 1 1 5 0 0 1 6 0 0 2 0 2 5 4 5 0 5 0 4 0 0 0 0 0 0 5 10 4 1 2 0 3 0 10 0 0 2 5 0 0 6 0 5 2 10 5 2 5 10 5 2 5 2 5 5 10 1 5 0 2 0 0 2 2 5 1 2 2 2 1 4 2 0 10 1 5 0 0 0 5 5 1 2 4 2 3 1 0 2 5 2 3 0 5 0 0 1 2 2 0 2 1 5 2 2 1 0 5 2 1 0 2 4 4 2 2 5 0 1 1 5 1 4 2 0 10 3 2 0 0 0 0 2 2 3 0 0 0 4 5 10 2 2 2 10 0 5 0 1 5 0 6 5 2 3 5 2 1 2 0 10 2 4 3 2 4 1 1 10 3 2 2 5 5 0 5 5 0 10 0 0 0 3 0 2 2 2 0 0 10 0 2 0 0 5 0 10 0 1 1 5 10 2 0 10 0 1 0 0 0 10 4 5 0 2 3 5 1 0 2 5 5 0 0 2 10 1 2 0 5 10 1 2 10 5 3 2 0 5 3 2 0 0 10 2 10 1 0 0 10 2 0 6 5 2 2 5 6 2 0 10 5 10 5 2 0 2 10 0 0 5 2 2 5 0 1 5 5 2 5 2 0 1 6 1 10 10 0 10 4 2 0 3 2 5 1 10 0 0 5 10 0 0 0 5 1 0 5 5 5 2 10 2 10 0 5 2 5 5 1 2 10 0 6 5 2 0 2 5 0 1 2 3 1 2 0 1 2 1 5 5 4 2 0 2 2 1 5 4 5 4 2 4 1 0 1 0 2 2 5 0 2 5 2 5 10 1 3 2 5 5 2 0 0 5 10 1 3 0 5 10 10 5 5 0 10 5 2 5 0 5 0 5 2 0 4 10 2 2 2 0 10 5 2 0 2 3 5 5 5 5 6
2520.27/2459.40	v       </values>
2520.27/2459.40	v     </instantiation>
2520.27/2459.40	s SATISFIABLE

Verifier Data 

OK	64647

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304400-1534080641/watcher-4304400-1534080641 -o /tmp/evaluation-result-4304400-1534080641/solver-4304400-1534080641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27644 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=105050207 -superng HOME/instance-4304400-1534080641.xml 

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

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


[startup+0.100169 s]*
/proc/loadavg: 1.53 1.75 1.67 3/203 30742
/proc/meminfo: memFree=27953572/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=10005480 memory=16544 CPUtime=0.09 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 4311 13291 0 0 1 0 5 3 20 0 6 0 225627272 10245611520 4136 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2501370 4136 1932 1 0 2489808 0
[pid=30689/tid=30742] ppid=30686 vsize=10005480 memory=4279135703980212877 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 2117 13291 0 0 0 0 5 3 20 0 6 0 225627282 10245611520 4136 33554432000 4194304 4196468 140728756765584 140472625889872 140472638133598 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 6 0 225627282 10245611520 4136 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=10005480 memory=140369821615744 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 6 0 225627282 10245611520 4136 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 6 0 225627282 10245611520 4136 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 6 0 225627282 10245611520 4136 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB

[startup+0.210095 s]*
/proc/loadavg: 1.53 1.75 1.67 3/216 30755
/proc/meminfo: memFree=27929248/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=10982744 memory=43940 CPUtime=0.26 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 7724 13291 0 0 16 2 5 3 20 0 15 0 225627272 11246329856 10985 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2745686 10985 2955 1 0 2708109 0
[pid=30689/tid=30742] ppid=30686 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 4304 13291 0 0 10 1 5 3 20 0 15 0 225627282 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472625874656 140472634328939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=10982744 memory=140369821615744 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=10982744 memory=140369821615744 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246329856 11051 33554432000 4194304 4196468 140728756765584 140471468811424 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246329856 11051 33554432000 4194304 4196468 140728756765584 140471267484400 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246329856 11051 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 428 13291 0 0 1 0 5 3 20 0 15 0 225627287 11246329856 11051 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 187 13291 0 0 1 0 5 3 20 0 15 0 225627287 11246329856 11117 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=10982744 memory=140369821615744 CPUtime=0.11 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 604 13291 0 0 3 0 5 3 20 0 15 0 225627287 11246329856 11117 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246329856 11117 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=10982744 memory=140369821615744 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627288 11246329856 11117 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43940 KiB

[startup+0.310386 s]*
/proc/loadavg: 1.53 1.75 1.67 3/216 30755
/proc/meminfo: memFree=27916224/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=10983192 memory=56224 CPUtime=0.39 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 10610 13291 0 0 28 3 5 3 20 0 15 0 225627272 11246788608 14056 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2745798 14056 3074 1 0 2708109 0
[pid=30689/tid=30742] ppid=30686 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 7155 13291 0 0 19 2 5 3 20 0 15 0 225627282 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472625865120 140472638133598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 14056 33554432000 4194304 4196468 140728756765584 140471468811424 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 14056 33554432000 4194304 4196468 140728756765584 140471267484400 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246788608 14056 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 428 13291 0 0 1 0 5 3 20 0 15 0 225627287 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 188 13291 0 0 1 0 5 3 20 0 15 0 225627287 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 614 13291 0 0 4 0 5 3 20 0 15 0 225627287 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246788608 14056 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627288 11246788608 14056 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56224 KiB

[startup+0.700829 s]
/proc/loadavg: 1.53 1.75 1.67 4/216 30755
/proc/meminfo: memFree=27904936/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=10983192 memory=88352 CPUtime=0.99 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 16774 13291 0 0 86 5 5 3 20 0 15 0 225627272 11246788608 22088 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2745798 22088 3238 1 0 2708109 0
[pid=30689/tid=30742] ppid=30686 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 12262 13291 0 0 55 3 5 3 20 0 15 0 225627282 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472625876048 140472654075037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=10983192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 5 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 22088 33554432000 4194304 4196468 140728756765584 140471468811424 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627284 11246788608 22088 33554432000 4194304 4196468 140728756765584 140471267484400 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246788608 22088 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 1076 13291 0 0 10 0 5 3 20 0 15 0 225627287 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 526 13291 0 0 6 0 5 3 20 0 15 0 225627287 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 682 13291 0 0 13 0 5 3 20 0 15 0 225627287 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11246788608 22088 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627288 11246788608 22088 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88352 KiB

[startup+1.50108 s]
/proc/loadavg: 1.53 1.75 1.67 3/216 30755
/proc/meminfo: memFree=27861436/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=10993996 memory=191768 CPUtime=3.13 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 24423 13291 0 0 296 9 5 3 20 0 15 0 225627272 11257851904 47942 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2748499 47942 3449 1 0 2710157 0
[pid=30689/tid=30742] ppid=30686 vsize=10993996 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 15548 13291 0 0 131 6 5 3 20 0 15 0 225627282 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472625879392 140472638096741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627282 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 2 13291 0 0 0 0 5 3 20 0 15 0 225627282 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=10993996 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 225627284 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=10993996 memory=280739329419520 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 13 13291 0 0 0 0 5 3 20 0 15 0 225627284 11257851904 47942 33554432000 4194304 4196468 140728756765584 140471468811424 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627284 11257851904 47942 33554432000 4194304 4196468 140728756765584 140471267484400 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=10993996 memory=1084 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11257851904 47942 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=10993996 memory=1600 CPUtime=0.7 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) R 30686 30689 27613 0 -1 4202560 2838 13291 0 0 62 0 5 3 20 0 15 0 225627287 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472146044512 140472635578638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=10993996 memory=7952 CPUtime=0.63 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) R 30686 30689 27613 0 -1 4202560 2093 13291 0 0 55 0 5 3 20 0 15 0 225627287 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472144994096 140472639178307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=10993996 memory=4088 CPUtime=0.53 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) R 30686 30689 27613 0 -1 4202560 1709 13291 0 0 45 0 5 3 20 0 15 0 225627287 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472143952368 140472633364374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=10993996 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11257851904 47942 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=10993996 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 1 13291 0 0 0 0 5 3 20 0 15 0 225627288 11257851904 47942 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10993996 KiB

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

/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 219483 13291 0 0 242757 47 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472625874032 140472242529835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=11080032 memory=4089736 CPUtime=13.12 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 94356 13291 0 0 1242 62 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=11080032 memory=4089736 CPUtime=13.13 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 108217 13291 0 0 1245 60 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=11080032 memory=4089736 CPUtime=13.18 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 90337 13291 0 0 1252 58 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=11080032 memory=4188044 CPUtime=13.15 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 95705 13291 0 0 1247 60 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=11080032 memory=4188044 CPUtime=1.22 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 35705 13291 0 0 110 4 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=11080032 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 45 13291 0 0 0 0 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140471468811552 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=11080032 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 67 13291 0 0 0 0 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140471267484416 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=11080032 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=11080032 memory=4188044 CPUtime=9.77 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 77051 13291 0 0 961 8 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=11080032 memory=4188044 CPUtime=7.33 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 65740 13291 0 0 718 7 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=11080032 memory=4188044 CPUtime=2.78 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 73343 13291 0 0 262 8 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=11080032 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=11080032 memory=61368 CPUtime=1.14 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 2486 13291 0 0 52 54 5 3 20 0 15 0 225627288 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4188044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.1 s]
/proc/loadavg: 1.95 1.95 1.88 3/216 30983
/proc/meminfo: memFree=20986084/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=11080032 memory=4188044 CPUtime=2520.07 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 866714 13291 0 0 251639 360 5 3 20 0 15 0 225627272 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2770008 1047011 3536 1 0 2731661 0
[pid=30689/tid=30742] ppid=30686 vsize=11080032 memory=4188044 CPUtime=2444.62 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 220253 13291 0 0 244407 47 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472625885464 140472242529391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=11080032 memory=4188044 CPUtime=13.42 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 94494 13291 0 0 1272 62 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=11080032 memory=4188044 CPUtime=13.43 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 108431 13291 0 0 1275 60 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=11080032 memory=4188044 CPUtime=13.48 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 90487 13291 0 0 1282 58 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=11080032 memory=280739330425104 CPUtime=13.44 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 95839 13291 0 0 1276 60 5 3 20 0 15 0 225627282 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=11080032 memory=4188044 CPUtime=1.22 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 35707 13291 0 0 110 4 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 45 13291 0 0 0 0 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140471468811552 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=11080032 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 67 13291 0 0 0 0 5 3 20 0 15 0 225627284 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140471267484416 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=11080032 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=11080032 memory=969 CPUtime=9.78 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 77477 13291 0 0 962 8 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=11080032 memory=4188044 CPUtime=7.34 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 65870 13291 0 0 719 7 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=11080032 memory=4188044 CPUtime=2.79 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 73354 13291 0 0 263 8 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=11080032 memory=61364 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=11080032 memory=2080 CPUtime=1.16 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 2488 13291 0 0 53 55 5 3 20 0 15 0 225627288 11345952768 1047011 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 4188044 KiB

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

[startup+2459.45 s]
# the end of solver process 30689 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.75 s, system=3.6679 s

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

[startup+2459.21 s]
/proc/loadavg: 1.95 1.95 1.88 3/216 30983
/proc/meminfo: memFree=20986084/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=11342184 memory=4190272 CPUtime=2520.17 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 866989 13291 0 0 251649 360 5 3 20 0 17 0 225627272 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2835546 1047568 3537 1 0 2797199 0
[pid=30689/tid=30742] ppid=30686 vsize=11342184 memory=4089720 CPUtime=2444.73 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) R 30686 30689 27613 0 -1 4202560 220253 13291 0 0 244418 47 5 3 20 0 17 0 225627282 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472625885464 140472242529700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=11342184 memory=4089720 CPUtime=13.42 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 94494 13291 0 0 1272 62 5 3 20 0 17 0 225627282 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=11342184 memory=4188044 CPUtime=13.43 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 108431 13291 0 0 1275 60 5 3 20 0 17 0 225627282 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=11342184 memory=4188044 CPUtime=13.48 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 90487 13291 0 0 1282 58 5 3 20 0 17 0 225627282 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=11342184 memory=8027200599993434220 CPUtime=13.44 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 95839 13291 0 0 1276 60 5 3 20 0 17 0 225627282 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=11342184 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 35707 13291 0 0 110 4 5 3 20 0 17 0 225627284 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472147110128 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=11342184 memory=436 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 45 13291 0 0 0 0 5 3 20 0 17 0 225627284 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140471468811552 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=11342184 memory=264123308896310 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 67 13291 0 0 0 0 5 3 20 0 17 0 225627284 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140471267484416 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=11342184 memory=8243114992657236051 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 145 13291 0 0 0 0 5 3 20 0 17 0 225627287 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140470960084944 140472654071707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=11342184 memory=288291086403896155 CPUtime=9.78 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 77477 13291 0 0 962 8 5 3 20 0 17 0 225627287 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=11342184 memory=8243114992657236051 CPUtime=7.34 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 65870 13291 0 0 719 7 5 3 20 0 17 0 225627287 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472145005424 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=11342184 memory=288291086403896155 CPUtime=2.79 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 73354 13291 0 0 263 8 5 3 20 0 17 0 225627287 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=11342184 memory=4188044 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 17 0 225627287 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30755] ppid=30686 vsize=11342184 memory=3708 CPUtime=1.16 cores=0,2,4,6
/proc/30689/task/30755/stat : 30755 (java) S 30686 30689 27613 0 -1 1077944384 2488 13291 0 0 53 55 5 3 20 0 17 0 225627288 11614396416 1047568 33554432000 4194304 4196468 140728756765584 140472142899760 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 4190272 KiB

[startup+2459.4 s]*
/proc/loadavg: 1.96 1.95 1.88 5/218 30985
/proc/meminfo: memFree=20984036/32770624 swapFree=67108804/67108860
[pid=30689] ppid=30686 vsize=11276644 memory=4190224 CPUtime=2520.38 cores=0,2,4,6
/proc/30689/stat : 30689 (java) S 30686 30689 27613 0 -1 1077944320 868195 13291 0 0 251670 360 5 3 20 0 15 0 225627272 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140728756748128 140472654053111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
/proc/30689/statm: 2819161 1047556 3539 1 0 2780814 0
[pid=30689/tid=30742] ppid=30686 vsize=11276644 memory=1398720917958146503 CPUtime=2444.92 cores=0,2,4,6
/proc/30689/task/30742/stat : 30742 (java) S 30686 30689 27613 0 -1 1077944384 220744 13291 0 0 244437 47 5 3 20 0 15 0 225627282 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472625895152 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30743] ppid=30686 vsize=11276644 memory=3256 CPUtime=13.42 cores=0,2,4,6
/proc/30689/task/30743/stat : 30743 (java) S 30686 30689 27613 0 -1 1077944384 94494 13291 0 0 1272 62 5 3 20 0 15 0 225627282 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472658295824 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30744] ppid=30686 vsize=11276644 memory=3371464 CPUtime=13.43 cores=0,2,4,6
/proc/30689/task/30744/stat : 30744 (java) S 30686 30689 27613 0 -1 1077944384 108431 13291 0 0 1275 60 5 3 20 0 15 0 225627282 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472193309840 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30745] ppid=30686 vsize=11276644 memory=4188044 CPUtime=13.48 cores=0,2,4,6
/proc/30689/task/30745/stat : 30745 (java) S 30686 30689 27613 0 -1 1077944384 90487 13291 0 0 1282 58 5 3 20 0 15 0 225627282 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472192256784 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30746] ppid=30686 vsize=11276644 memory=4126316290023845779 CPUtime=13.44 cores=0,2,4,6
/proc/30689/task/30746/stat : 30746 (java) S 30686 30689 27613 0 -1 1077944384 95839 13291 0 0 1276 60 5 3 20 0 15 0 225627282 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472191204240 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30747] ppid=30686 vsize=11276644 memory=4088 CPUtime=1.22 cores=0,2,4,6
/proc/30689/task/30747/stat : 30747 (java) S 30686 30689 27613 0 -1 1077944384 35717 13291 0 0 110 4 5 3 20 0 15 0 225627284 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472147109632 140472654064258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30748] ppid=30686 vsize=11276644 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30748/stat : 30748 (java) S 30686 30689 27613 0 -1 1077944384 45 13291 0 0 0 0 5 3 20 0 15 0 225627284 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140471468811552 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30749] ppid=30686 vsize=11276644 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30749/stat : 30749 (java) S 30686 30689 27613 0 -1 1077944384 67 13291 0 0 0 0 5 3 20 0 15 0 225627284 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140471267484416 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30750] ppid=30686 vsize=11276644 memory=5804 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30750/stat : 30750 (java) S 30686 30689 27613 0 -1 1077944384 146 13291 0 0 0 0 5 3 20 0 15 0 225627287 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140470960084592 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30751] ppid=30686 vsize=11276644 memory=3304 CPUtime=9.78 cores=0,2,4,6
/proc/30689/task/30751/stat : 30751 (java) S 30686 30689 27613 0 -1 1077944384 77477 13291 0 0 962 8 5 3 20 0 15 0 225627287 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472146057968 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30752] ppid=30686 vsize=11276644 memory=1260 CPUtime=7.35 cores=0,2,4,6
/proc/30689/task/30752/stat : 30752 (java) S 30686 30689 27613 0 -1 1077944384 66037 13291 0 0 720 7 5 3 20 0 15 0 225627287 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472144985904 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30753] ppid=30686 vsize=11276644 memory=14872 CPUtime=2.79 cores=0,2,4,6
/proc/30689/task/30753/stat : 30753 (java) S 30686 30689 27613 0 -1 1077944384 73376 13291 0 0 263 8 5 3 20 0 15 0 225627287 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140472143952368 140472654064258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30754] ppid=30686 vsize=11276644 memory=14872 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30754/stat : 30754 (java) S 30686 30689 27613 0 -1 1077944384 3 13291 0 0 0 0 5 3 20 0 15 0 225627287 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140470529289056 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
[pid=30689/tid=30984] ppid=30686 vsize=11276644 memory=3296 CPUtime=0.08 cores=0,2,4,6
/proc/30689/task/30984/stat : 30984 (java) S 30686 30689 27613 0 -1 1077944384 36 13291 0 0 0 0 5 3 20 0 15 0 225873183 11547283456 1047556 33554432000 4194304 4196468 140728756765584 140470193742192 140472654063317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36081664 140728756767332 140728756770140 140728756770140 140728756772815 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 11276644 KiB
Current children cumulated memory: 4190224 KiB

Child status: 143
Real time (s): 2459.45
CPU time (s): 2520.42
CPU user time (s): 2516.75
CPU system time (s): 3.6679
CPU usage (%): 102.479
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 4190272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.75
system time used= 3.6679
maximum resident set size= 4190416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 881510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65830
involuntary context switches= 1619


# summary of solver processes directly reported to runsolver:
#   pid: 30689
#   total CPU time (s): 2520.42
#   total CPU user time (s): 2516.75
#   total CPU system time (s): 3.6679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3698 second user time and 23.0222 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-12 15:30:41
IDJOB=4304400
IDBENCH=141248
IDSOLVER=2781
FILE ID=node105/4304400-1534080641
RUNJOBID= node105-1534063459-27644
PBS_JOBID= 21036987
Free space on /tmp= 40948 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko90_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304400-1534080641/watcher-4304400-1534080641 -o /tmp/evaluation-result-4304400-1534080641/solver-4304400-1534080641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27644 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=105050207 -superng HOME/instance-4304400-1534080641.xml

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

MD5SUM BENCH= e1bd5b7e730358cb8a15a6f1e37f47a5
RANDOM SEED=105050207

node105.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.32
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.32
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.32
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.32
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:        27959068 kB
MemAvailable:   31314924 kB
Buffers:          135020 kB
Cached:          3477784 kB
SwapCached:           16 kB
Active:          2409488 kB
Inactive:        1848408 kB
Active(anon):     597104 kB
Inactive(anon):   100480 kB
Active(file):    1812384 kB
Inactive(file):  1747928 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             26864 kB
Writeback:             0 kB
AnonPages:        652508 kB
Mapped:            63692 kB
Shmem:             49748 kB
Slab:             250800 kB
SReclaimable:     222760 kB
SUnreclaim:        28040 kB
KernelStack:        3504 kB
PageTables:         6884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1804708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    403456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40924 MiB
End job on node105 at 2018-08-12 16:11:41