Trace number 4396636

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2SAT (TO)1331 2400.13 2348.06

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-078.xml
MD5SUMb749a4e5de10f3f67b20d160b8ef335e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark659
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables6161
Number of constraints3157
Number of domains155
Minimum domain size2
Maximum domain size155
Distribution of domain sizes[{"size":2,"count":3082},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}]
Minimum constraint arity2
Maximum constraint arity78
Distribution of constraint arities[{"arity":2,"count":78},{"arity":3,"count":3004},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}]
Number of extensional constraints0
Number of intensional constraints3080
Distribution of constraint types[{"type":"intension","count":3080},{"type":"sum","count":77}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.77/0.56	c Concrete v3.12.2.1568380929293 running
24.37/11.26	o 3131
24.66/11.32	o 3059
26.23/12.16	o 2947
26.59/12.34	o 2755
27.53/12.84	o 2523
27.64/12.96	o 2507
28.26/13.44	o 2443
30.34/15.43	o 2235
30.34/15.46	o 2147
36.37/20.70	o 2115
36.57/20.91	o 2059
36.57/20.96	o 2043
38.62/22.76	o 1995
38.83/22.97	o 1955
41.50/25.55	o 1779
41.50/25.58	o 1603
63.36/46.94	o 1339
685.46/661.40	o 1331
2400.06/2348.03	Exception in thread "main" java.util.concurrent.TimeoutException
2400.06/2348.03		at concrete.MAC.mac(MAC.scala:192)
2400.06/2348.03		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.06/2348.03		at scala.util.Try$.apply(Try.scala:212)
2400.06/2348.03		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.06/2348.03		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.06/2348.03		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.06/2348.03		at concrete.MAC.oneRun(MAC.scala:265)
2400.06/2348.03		at concrete.MAC.nextSolution(MAC.scala:284)
2400.06/2348.03		at concrete.MAC.nextSolution(MAC.scala:369)
2400.06/2348.03		at concrete.Solver.hasNext(Solver.scala:160)
2400.06/2348.03		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.06/2348.03		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.06/2348.03		at concrete.Solver.foreach(Solver.scala:67)
2400.06/2348.03		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.06/2348.03		at scala.util.Success.map(Try.scala:264)
2400.06/2348.03		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.06/2348.03		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.06/2348.03		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2348.03		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.06/2348.03		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2348.03		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.06/2348.03		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.06/2348.03		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.06/2348.03		at scala.App.$anonfun$main$1(App.scala:75)
2400.06/2348.03		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.06/2348.03		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.06/2348.03		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.06/2348.03		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.06/2348.03		at scala.App.main(App.scala:75)
2400.06/2348.03		at scala.App.main$(App.scala:73)
2400.06/2348.03		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2348.03		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2348.04	v <instantiation
2400.06/2348.04	v         cost = '1331'>
2400.06/2348.04	v       <list>
2400.06/2348.04	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[73][0] y[73][1] y[73][2] y[73][3] y[74][0] y[74][1] y[74][2] y[75][0] y[75][1] y[76][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76]
2400.06/2348.04	v       </list>
2400.06/2348.04	v       <values>
2400.06/2348.04	v         -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 0 -1 -4 1 4 1 0 1 -2 9 2 -11 4 -7 -10 -3 -4 1 -4 -3 -4 5 -4 3 6 -3 -4 -3 2 5 2 5 0 -7 -4 15 -8 -1 -2 -5 2 5 -2 -3 -4 -7 0 1 2 1 0 -1 -2 -3 -2 1 2 5 2 1 -4 1 2 -7 0 5 0 1 -2 -3 -2 1 2 -1 2 -1 1 0 1 16 1 16 1 0 1 4 81 4 121 16 49 100 9 16 1 16 9 16 25 16 9 36 9 16 9 4 25 4 25 0 49 16 225 64 1 4 25 4 25 4 9 16 49 0 1 4 1 0 1 4 9 4 1 4 25 4 1 16 1 4 49 0 25 0 1 4 9 4 1 4 1 4 1
2400.06/2348.04	v       </values>
2400.06/2348.04	v     </instantiation>
2400.06/2348.04	s SATISFIABLE

Verifier Data

OK	1331

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396636-1568400609/watcher-4396636-1568400609 -o /tmp/evaluation-result-4396636-1568400609/solver-4396636-1568400609 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568393448-7558 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2052876932 HOME/instance-4396636-1568400609.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=9627, runsolver pid=9624
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 1.52 1.39 1.40 4/220 9684
/proc/meminfo: memFree=30360564/32770624 swapFree=66946192/67108860
[pid=9627] ppid=9624 vsize=9972712 memory=19000 CPUtime=0.1 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 4507 13077 0 0 1 1 5 3 20 0 6 0 416002861 10212057088 4750 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2493178 4750 1935 1 0 2481616 0
[pid=9627/tid=9680] ppid=9624 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 2307 13077 0 0 0 0 5 3 20 0 6 0 416002870 10212057088 4750 33554432000 4194304 4196468 140723060419920 140036445708880 140036459554645 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 6 0 416002871 10212057088 4750 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=9972712 memory=140545770026624 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 6 0 416002871 10212057088 4750 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 6 0 416002871 10212057088 4750 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 6 0 416002871 10212057088 4815 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19000 KiB

[startup+0.209972 s]*
/proc/loadavg: 1.52 1.39 1.40 4/229 9693
/proc/meminfo: memFree=30346208/32770624 swapFree=66946192/67108860
[pid=9627] ppid=9624 vsize=10819664 memory=41072 CPUtime=0.27 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 7095 13077 0 0 17 2 5 3 20 0 15 0 416002861 11079335936 10268 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2704916 10268 3165 1 0 2667149 0
[pid=9627/tid=9680] ppid=9624 vsize=10819664 memory=7822038051842263955 CPUtime=0.19 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 3576 13077 0 0 10 1 5 3 20 0 15 0 416002870 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036445662256 140036454148008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10819664 memory=140545770026624 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10819664 memory=140545770026624 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 15 0 416002872 11079335936 10268 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 13 13077 0 0 0 0 5 3 20 0 15 0 416002873 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035932283808 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002873 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035328304112 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 601 13077 0 0 1 0 5 3 20 0 15 0 416002875 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 59 13077 0 0 0 0 5 3 20 0 15 0 416002875 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10819664 memory=140545770026624 CPUtime=0.11 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 625 13077 0 0 3 0 5 3 20 0 15 0 416002875 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11079335936 10268 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10819664 memory=140545770026624 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002876 11079335936 10268 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41072 KiB

[startup+0.311116 s]*
/proc/loadavg: 1.52 1.39 1.40 3/229 9693
/proc/meminfo: memFree=30337564/32770624 swapFree=66946192/67108860
[pid=9627] ppid=9624 vsize=10820148 memory=50216 CPUtime=0.41 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 10732 13077 0 0 29 4 5 3 20 0 15 0 416002861 11079831552 12554 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2705037 12554 3322 1 0 2667149 0
[pid=9627/tid=9680] ppid=9624 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 7191 13077 0 0 18 3 5 3 20 0 15 0 416002870 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036445677488 140036457952606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10820148 memory=7590374525765579370 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10820148 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10820148 memory=7019607633664691401 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 15 0 416002871 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 15 0 416002872 11079831552 12554 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 13 13077 0 0 0 0 5 3 20 0 15 0 416002873 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035932283808 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002873 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035328304112 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 602 13077 0 0 2 0 5 3 20 0 15 0 416002875 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 68 13077 0 0 1 0 5 3 20 0 15 0 416002875 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 643 13077 0 0 5 0 5 3 20 0 15 0 416002875 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11079831552 12554 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002876 11079831552 12554 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50216 KiB

[startup+0.700754 s]
/proc/loadavg: 1.52 1.39 1.40 3/229 9693
/proc/meminfo: memFree=30328348/32770624 swapFree=66946192/67108860
[pid=9627] ppid=9624 vsize=10824360 memory=83492 CPUtime=1.12 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 15057 13077 0 0 97 7 5 3 20 0 15 0 416002861 11084144640 20873 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2706090 20873 3505 1 0 2668173 0
[pid=9627/tid=9680] ppid=9624 vsize=10824360 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 10470 13077 0 0 54 5 5 3 20 0 15 0 416002870 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036445701664 140036473894045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002871 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 2 13077 0 0 0 0 5 3 20 0 15 0 416002871 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 6 13077 0 0 0 0 5 3 20 0 15 0 416002872 11084144640 20873 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 13 13077 0 0 0 0 5 3 20 0 15 0 416002873 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035932283808 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002873 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035328304112 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10824360 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10824360 memory=140545624147856 CPUtime=0.18 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 1012 13077 0 0 10 0 5 3 20 0 15 0 416002875 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10824360 memory=24964 CPUtime=0.22 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 485 13077 0 0 14 0 5 3 20 0 15 0 416002875 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10824360 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 853 13077 0 0 17 0 5 3 20 0 15 0 416002875 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10824360 memory=140545624145264 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11084144640 20873 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002876 11084144640 20873 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83492 KiB

[startup+1.51008 s]
/proc/loadavg: 1.52 1.39 1.40 6/229 9693
/proc/meminfo: memFree=30263612/32770624 swapFree=66946192/67108860
[pid=9627] ppid=9624 vsize=10832628 memory=222360 CPUtime=3.17 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 24517 13077 0 0 297 12 5 3 20 0 15 0 416002861 11092611072 55590 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2708157 55590 3582 1 0 2670221 0
[pid=9627/tid=9680] ppid=9624 vsize=10832628 memory=27 CPUtime=1.43 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 14446 13077 0 0 128 7 5 3 20 0 15 0 416002870 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036445690608 140036458210709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10832628 memory=29 CPUtime=0.09 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 237 13077 0 0 1 0 5 3 20 0 15 0 416002871 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10832628 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 31 13077 0 0 2 0 5 3 20 0 15 0 416002871 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10832628 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 19 13077 0 0 2 0 5 3 20 0 15 0 416002871 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10832628 memory=110616 CPUtime=0.1 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 56 13077 0 0 2 0 5 3 20 0 15 0 416002871 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 93 13077 0 0 1 0 5 3 20 0 15 0 416002872 11092611072 55590 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10832628 memory=7014751519650763879 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 14 13077 0 0 0 0 5 3 20 0 15 0 416002873 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035932283872 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10832628 memory=7156904169665160281 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002873 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035328304128 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10832628 memory=7594300894553990762 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10832628 memory=5571041044932614245 CPUtime=0.62 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 3043 13077 0 0 54 0 5 3 20 0 15 0 416002875 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10832628 memory=7521387846178663522 CPUtime=0.67 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 2353 13077 0 0 59 0 5 3 20 0 15 0 416002875 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10832628 memory=7014751519650763879 CPUtime=0.52 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 2011 13077 0 0 44 0 5 3 20 0 15 0 416002875 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10832628 memory=7014751519650763879 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11092611072 55590 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10832628 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1 13077 0 0 0 0 5 3 20 0 15 0 416002876 11092611072 55590 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10832628 KiB

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

/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 84320 13077 0 0 218327 40 5 3 20 0 15 0 416002870 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036445708160 140036088088342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10849032 memory=365656 CPUtime=11.27 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 14333 13077 0 0 1083 36 5 3 20 0 15 0 416002871 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10849032 memory=365656 CPUtime=11.28 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 19051 13077 0 0 1080 40 5 3 20 0 15 0 416002871 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10849032 memory=365144 CPUtime=11.26 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 11792 13077 0 0 1085 33 5 3 20 0 15 0 416002871 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10849032 memory=365144 CPUtime=11.24 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 13717 13077 0 0 1077 39 5 3 20 0 15 0 416002871 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10849032 memory=365144 CPUtime=5.19 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 12588 13077 0 0 471 40 5 3 20 0 15 0 416002872 11109408768 91798 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10849032 memory=365144 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 25 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035932283872 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10849032 memory=367192 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 14 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035328304288 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10849032 memory=368224 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10849032 memory=368224 CPUtime=7.29 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 44421 13077 0 0 716 5 5 3 20 0 15 0 416002875 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10849032 memory=1764 CPUtime=7.86 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 44048 13077 0 0 773 5 5 3 20 0 15 0 416002875 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10849032 memory=111636 CPUtime=2.72 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 42184 13077 0 0 258 6 5 3 20 0 15 0 416002875 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10849032 memory=367192 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11109408768 91798 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10849032 memory=1720 CPUtime=1.31 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1605 13077 0 0 59 64 5 3 20 0 15 0 416002876 11109408768 91798 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 2252.56 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 367192 KiB

[startup+2262.3 s]
/proc/loadavg: 1.22 1.30 1.37 3/227 10055
/proc/meminfo: memFree=28924948/32770624 swapFree=66946304/67108860
[pid=9627] ppid=9624 vsize=10849032 memory=367516 CPUtime=2313.28 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 292739 13077 0 0 231032 288 5 3 20 0 15 0 416002861 11109408768 91879 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2712258 91879 3640 1 0 2674317 0
[pid=9627/tid=9680] ppid=9624 vsize=10849032 memory=924 CPUtime=2243.31 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 85482 13077 0 0 224283 40 5 3 20 0 15 0 416002870 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036445707520 140036085090813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10849032 memory=365144 CPUtime=11.52 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 14597 13077 0 0 1107 37 5 3 20 0 15 0 416002871 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10849032 memory=367580 CPUtime=11.52 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 19217 13077 0 0 1104 40 5 3 20 0 15 0 416002871 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10849032 memory=367704 CPUtime=11.51 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 12213 13077 0 0 1109 34 5 3 20 0 15 0 416002871 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10849032 memory=281091249372064 CPUtime=11.49 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 13944 13077 0 0 1101 40 5 3 20 0 15 0 416002871 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10849032 memory=367704 CPUtime=5.32 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 12765 13077 0 0 483 41 5 3 20 0 15 0 416002872 11109408768 91879 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10849032 memory=367864 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 25 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035932283872 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10849032 memory=367864 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 14 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035328304288 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10849032 memory=367864 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10849032 memory=367516 CPUtime=7.29 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 44423 13077 0 0 716 5 5 3 20 0 15 0 416002875 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10849032 memory=367704 CPUtime=7.86 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 44050 13077 0 0 773 5 5 3 20 0 15 0 416002875 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10849032 memory=367704 CPUtime=2.72 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 42186 13077 0 0 258 6 5 3 20 0 15 0 416002875 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10849032 memory=367704 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11109408768 91879 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10849032 memory=367704 CPUtime=1.34 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1611 13077 0 0 61 65 5 3 20 0 15 0 416002876 11109408768 91879 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 2313.28 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 367516 KiB

[startup+2322.3 s]
/proc/loadavg: 1.09 1.26 1.35 3/227 10060
/proc/meminfo: memFree=28923372/32770624 swapFree=66946316/67108860
[pid=9627] ppid=9624 vsize=10849032 memory=369116 CPUtime=2374.02 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 293386 13077 0 0 237100 294 5 3 20 0 15 0 416002861 11109408768 92279 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2712258 92279 3640 1 0 2674317 0
[pid=9627/tid=9680] ppid=9624 vsize=10849032 memory=5859535235326444939 CPUtime=2302.87 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 85716 13077 0 0 230238 41 5 3 20 0 15 0 416002870 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036445708464 140036097950480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10849032 memory=369116 CPUtime=11.77 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 14620 13077 0 0 1131 38 5 3 20 0 15 0 416002871 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10849032 memory=369116 CPUtime=11.77 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 19305 13077 0 0 1128 41 5 3 20 0 15 0 416002871 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10849032 memory=281091248974784 CPUtime=11.75 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 12452 13077 0 0 1133 34 5 3 20 0 15 0 416002871 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10849032 memory=369116 CPUtime=11.74 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 13944 13077 0 0 1126 40 5 3 20 0 15 0 416002871 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10849032 memory=369116 CPUtime=5.45 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 12812 13077 0 0 495 42 5 3 20 0 15 0 416002872 11109408768 92279 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10849032 memory=369116 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 25 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035932283872 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10849032 memory=369116 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 14 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035328304288 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10849032 memory=369116 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10849032 memory=369116 CPUtime=7.29 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 44423 13077 0 0 716 5 5 3 20 0 15 0 416002875 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10849032 memory=369116 CPUtime=7.86 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 44050 13077 0 0 773 5 5 3 20 0 15 0 416002875 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10849032 memory=8 CPUtime=2.72 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 42186 13077 0 0 258 6 5 3 20 0 15 0 416002875 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10849032 memory=369116 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11109408768 92279 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10849032 memory=369116 CPUtime=1.37 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1627 13077 0 0 62 67 5 3 20 0 15 0 416002876 11109408768 92279 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 2374.02 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 369116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348 s]*
/proc/loadavg: 1.26 1.28 1.36 3/227 10063
/proc/meminfo: memFree=28923384/32770624 swapFree=66946316/67108860
[pid=9627] ppid=9624 vsize=10849032 memory=368112 CPUtime=2400.06 cores=0,2,4,6
/proc/9627/stat : 9627 (java) S 9624 9627 6494 0 -1 1077944320 295297 13077 0 0 239702 296 5 3 20 0 15 0 416002861 11109408768 92028 33554432000 4194304 4196468 140723060419920 140723060402464 140036473872119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
/proc/9627/statm: 2712258 92028 3640 1 0 2674317 0
[pid=9627/tid=9680] ppid=9624 vsize=10849032 memory=8317482817917895235 CPUtime=2328.38 cores=0,2,4,6
/proc/9627/task/9680/stat : 9680 (java) R 9624 9627 6494 0 -1 4202560 86428 13077 0 0 232789 41 5 3 20 0 15 0 416002870 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036445707824 140036097790482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9681] ppid=9624 vsize=10849032 memory=4872558044660077418 CPUtime=11.89 cores=0,2,4,6
/proc/9627/task/9681/stat : 9681 (java) S 9624 9627 6494 0 -1 1077944384 14800 13077 0 0 1142 39 5 3 20 0 15 0 416002871 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036478114576 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9682] ppid=9624 vsize=10849032 memory=992 CPUtime=11.89 cores=0,2,4,6
/proc/9627/task/9682/stat : 9682 (java) S 9624 9627 6494 0 -1 1077944384 19549 13077 0 0 1140 41 5 3 20 0 15 0 416002871 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036403420048 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9683] ppid=9624 vsize=10849032 memory=2044 CPUtime=11.86 cores=0,2,4,6
/proc/9627/task/9683/stat : 9683 (java) S 9624 9627 6494 0 -1 1077944384 12869 13077 0 0 1144 34 5 3 20 0 15 0 416002871 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036046248976 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9684] ppid=9624 vsize=10849032 memory=1428 CPUtime=11.86 cores=0,2,4,6
/proc/9627/task/9684/stat : 9684 (java) S 9624 9627 6494 0 -1 1077944384 14117 13077 0 0 1137 41 5 3 20 0 15 0 416002871 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036045196432 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9685] ppid=9624 vsize=10849032 memory=11624 CPUtime=5.52 cores=0,2,4,6
/proc/9627/task/9685/stat : 9685 (java) S 9624 9627 6494 0 -1 1077944384 12987 13077 0 0 501 43 5 3 20 0 15 0 416002872 11109408768 92028 33554432000 4194304 4196468 140723060419920 140036000516080 140036473883266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9686] ppid=9624 vsize=10849032 memory=740 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9686/stat : 9686 (java) S 9624 9627 6494 0 -1 1077944384 25 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035932283872 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9687] ppid=9624 vsize=10849032 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9687/stat : 9687 (java) S 9624 9627 6494 0 -1 1077944384 14 13077 0 0 0 0 5 3 20 0 15 0 416002873 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035328304288 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9688] ppid=9624 vsize=10849032 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9688/stat : 9688 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002875 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035020904656 140036473890715 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9689] ppid=9624 vsize=10849032 memory=1040 CPUtime=7.29 cores=0,2,4,6
/proc/9627/task/9689/stat : 9689 (java) S 9624 9627 6494 0 -1 1077944384 44425 13077 0 0 716 5 5 3 20 0 15 0 416002875 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035898726896 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9690] ppid=9624 vsize=10849032 memory=4136 CPUtime=7.86 cores=0,2,4,6
/proc/9627/task/9690/stat : 9690 (java) S 9624 9627 6494 0 -1 1077944384 44052 13077 0 0 773 5 5 3 20 0 15 0 416002875 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035897674352 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9691] ppid=9624 vsize=10849032 memory=780 CPUtime=2.72 cores=0,2,4,6
/proc/9627/task/9691/stat : 9691 (java) S 9624 9627 6494 0 -1 1077944384 42188 13077 0 0 258 6 5 3 20 0 15 0 416002875 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035896621808 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9692] ppid=9624 vsize=10849032 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/9627/task/9692/stat : 9692 (java) S 9624 9627 6494 0 -1 1077944384 3 13077 0 0 0 0 5 3 20 0 15 0 416002876 11109408768 92028 33554432000 4194304 4196468 140723060419920 140034987347040 140036473882325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
[pid=9627/tid=9693] ppid=9624 vsize=10849032 memory=1720 CPUtime=1.39 cores=0,2,4,6
/proc/9627/task/9693/stat : 9693 (java) S 9624 9627 6494 0 -1 1077944384 1631 13077 0 0 63 68 5 3 20 0 15 0 416002876 11109408768 92028 33554432000 4194304 4196468 140723060419920 140035895568688 140036473883266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 6815744 140723060423407 140723060425925 140723060425925 140723060428751 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 368112 KiB

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

[startup+2348.06 s]
# the end of solver process 9627 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.12 s, system=3.00665 s

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

Child status: 143
Real time (s): 2348.06
CPU time (s): 2400.13
CPU user time (s): 2397.12
CPU system time (s): 3.00665
CPU usage (%): 102.217
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 1177180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.12
system time used= 3.00665
maximum resident set size= 1179244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167756
involuntary context switches= 7523


# summary of solver processes directly reported to runsolver:
#   pid: 9627
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2397.12
#   total CPU system time (s): 3.00665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8058 second user time and 21.9811 second system time

The end

Launcher Data

Begin job on node117 at 2019-09-13 20:49:27
IDJOB=4396636
IDBENCH=127075
IDSOLVER=2847
FILE ID=node117/4396636-1568400609
RUNJOBID= node117-1568393448-7558
PBS_JOBID= 21701861
Free space on /tmp= 61148 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396636-1568400609/watcher-4396636-1568400609 -o /tmp/evaluation-result-4396636-1568400609/solver-4396636-1568400609 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568393448-7558 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=2052876932 HOME/instance-4396636-1568400609.xml

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

MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e
RANDOM SEED=2052876932

node117.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.75
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.75
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.75
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.75
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:        30366272 kB
MemAvailable:   31205732 kB
Buffers:          114364 kB
Cached:           992216 kB
SwapCached:        49576 kB
Active:          1394412 kB
Inactive:         416952 kB
Active(anon):     672076 kB
Inactive(anon):    55460 kB
Active(file):     722336 kB
Inactive(file):   361492 kB
Unevictable:      110284 kB
Mlocked:          110284 kB
SwapTotal:      67108860 kB
SwapFree:       66946192 kB
Dirty:               968 kB
Writeback:         23100 kB
AnonPages:        809716 kB
Mapped:            45924 kB
Shmem:             14132 kB
Slab:             185104 kB
SReclaimable:     142932 kB
SUnreclaim:        42172 kB
KernelStack:        4000 kB
PageTables:         7640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1910384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    616448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61112 MiB
End job on node117 at 2019-09-13 21:28:35