Trace number 4247404

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
R1: choco-solver 4.0.5 (2017-07-05)Wrong Opt.199320 39.5882 10.6055

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-096.xml
MD5SUM5bf1605d7392d1261526feabe1cfbecc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1188
Best CPU time to get the best result obtained on this benchmark2519.8401
Satisfiable
(Un)Satisfiability was proved
Number of variables9311
Number of constraints4750
Number of domains191
Minimum domain size2
Maximum domain size191
Distribution of domain sizes[{"size":2,"count":4657},{"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":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}]
Minimum variable degree0
Maximum variable degree95
Distribution of variable degrees[{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}]
Minimum constraint arity2
Maximum constraint arity96
Distribution of constraint arities[{"arity":2,"count":96},{"arity":3,"count":4561},{"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":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}]
Number of extensional constraints0
Number of intensional constraints4655
Distribution of constraint types[{"type":"intension","count":4655},{"type":"sum","count":95}]
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.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247404-1500689892.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4247404-1500689892.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...
17.20/4.38	c solve instance...
24.33/5.39	o 290320 
25.68/5.59	o 272460 
25.94/5.63	o 272092 
25.94/5.65	o 255720 
27.12/5.91	o 255352 
27.12/5.93	o 254992 
33.77/6.83	o 240068 
33.77/6.86	o 239684 
33.77/6.88	o 239324 
34.16/6.91	o 234420 
34.59/7.09	o 225472 
34.83/7.12	o 225072 
38.75/10.45	o 224712 
38.75/10.47	o 224048 
38.75/10.49	o 211900 
39.05/10.52	o 211484 
39.05/10.53	o 211108 
39.05/10.55	o 202620 
39.05/10.57	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
39.05/10.57		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
39.05/10.57		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201)
39.05/10.57		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:184)
39.05/10.57		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134)
39.05/10.57		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25)
39.05/10.57	Caused by: java.lang.ArrayIndexOutOfBoundsException
39.05/10.57		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
39.05/10.57		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
39.05/10.57		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
39.05/10.57		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
39.05/10.57		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
39.05/10.57		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
39.05/10.57		... 4 more
39.05/10.57	Caused by: java.lang.ArrayIndexOutOfBoundsException
39.05/10.57		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
39.05/10.57		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
39.05/10.57		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
39.05/10.57		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
39.05/10.57		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
39.05/10.57		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
39.05/10.57		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
39.05/10.57		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
39.05/10.57		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
39.05/10.57		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
39.05/10.57		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
39.05/10.57		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
39.05/10.57		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$52(ParallelPortfolio.java:193)
39.05/10.57		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
39.05/10.57		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
39.05/10.57		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
39.05/10.57		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
39.05/10.57		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
39.05/10.57	Caused by: java.lang.ArrayIndexOutOfBoundsException: 141
39.05/10.57		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:80)
39.05/10.57		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:64)
39.05/10.57		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:140)
39.05/10.57		at org.chocosolver.solver.Solver.restart(Solver.java:588)
39.05/10.57		at org.chocosolver.solver.search.loop.move.MoveLNS.doRestart(MoveLNS.java:253)
39.05/10.57		at org.chocosolver.solver.search.loop.move.MoveLNS.repair(MoveLNS.java:183)
39.05/10.57		at org.chocosolver.solver.Solver.repair(Solver.java:446)
39.05/10.57		at org.chocosolver.solver.Solver.searchLoop(Solver.java:302)
39.05/10.57		at org.chocosolver.solver.Solver.solve(Solver.java:264)
39.05/10.57		at org.chocosolver.solver.ParallelPortfolio.lambda$null$51(ParallelPortfolio.java:195)
39.05/10.57		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
39.05/10.57		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
39.05/10.57		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
39.05/10.57		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
39.05/10.57		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
39.05/10.57		... 4 more
39.05/10.57	o 199320 
39.05/10.58	s OPTIMUM FOUND
39.05/10.58	v <instantiation>
39.05/10.58	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] </list>
39.05/10.58	v 	<values>-1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 93 90 87 84 81 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 -1 -2 -3 -4 -5 -6 -5 -4 -3 -2 -1 8649 8100 7569 7056 6561 6084 5929 5776 5625 5476 5329 5184 5041 4900 4761 4624 4489 4356 4225 4096 3969 3844 3721 3600 3481 3364 3249 3136 3025 2916 2809 2704 2601 2500 2401 2304 2209 2116 2025 1936 1849 1764 1681 1600 1521 1444 1369 1296 1225 1156 1089 1024 961 900 841 784 729 676 625 576 529 484 441 400 361 324 289 256 225 196 169 144 121 100 81 64 49 36 25 16 9 4 1 0 1 4 9 16 25 36 25 16 9 4 1 </values>
39.05/10.58	v </instantiation>

Verifier Data 

OK	199320

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247404-1500689892/watcher-4247404-1500689892 -o /tmp/evaluation-result-4247404-1500689892/solver-4247404-1500689892 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 576362931 HOME/instance-4247404-1500689892.xml 

pid=1990
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.03 15.88 15.17 10/270 1993
/proc/meminfo: memFree=31276024/32770624 swapFree=5736/261368
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0

[startup+0.100074 s]
/proc/loadavg: 16.03 15.88 15.17 10/270 1993
/proc/meminfo: memFree=31276024/32770624 swapFree=5736/261368
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200305 s]
/proc/loadavg: 16.03 15.88 15.17 10/270 1993
/proc/meminfo: memFree=31276024/32770624 swapFree=5736/261368
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300276 s]
/proc/loadavg: 16.03 15.88 15.17 10/270 1993
/proc/meminfo: memFree=31276024/32770624 swapFree=5736/261368
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700269 s]
/proc/loadavg: 16.03 15.88 15.17 10/270 1993
/proc/meminfo: memFree=31276024/32770624 swapFree=5736/261368
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50174 s]
/proc/loadavg: 15.47 15.76 15.14 13/291 2014
/proc/meminfo: memFree=31110268/32770624 swapFree=5736/261400
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=13269256 CPUtime=5.76 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) S 1993 1993 16473 0 -1 1077944320 33461 0 0 0 541 35 0 0 20 0 20 0 4258333 13587718144 66507 33554432000 4194304 4196468 140731579559824 140731579542368 140462869438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
/proc/1994/statm: 3317314 66507 3244 1 0 3304547 0
[pid=1994/tid=1995] ppid=1993 vsize=13269256 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1995/stat : 1995 (java) R 1993 1993 16473 0 -1 4202560 7918 0 0 0 133 5 0 0 20 0 20 0 4258333 13587718144 66507 33554432000 4194304 4196468 140731579559824 140462873672584 140462853518686 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1997] ppid=1993 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1997/stat : 1997 (java) S 1993 1993 16473 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 20 0 4258334 13587718144 66507 33554432000 4194304 4196468 140731579559824 140462822058896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1998] ppid=1993 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1998/stat : 1998 (java) S 1993 1993 16473 0 -1 1077944384 52 0 0 0 2 3 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462821006096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1999] ppid=1993 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1999/stat : 1999 (java) S 1993 1993 16473 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462819953808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2000] ppid=1993 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2000/stat : 2000 (java) S 1993 1993 16473 0 -1 1077944384 170 0 0 0 3 3 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462818901008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2001] ppid=1993 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2001/stat : 2001 (java) S 1993 1993 16473 0 -1 1077944384 45 0 0 0 2 3 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462817847696 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2002] ppid=1993 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2002/stat : 2002 (java) S 1993 1993 16473 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462816794896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2003] ppid=1993 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2003/stat : 2003 (java) S 1993 1993 16473 0 -1 1077944384 72 0 0 0 3 4 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462815742608 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2004] ppid=1993 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2004/stat : 2004 (java) S 1993 1993 16473 0 -1 1077944384 38 0 0 0 3 2 0 0 20 0 20 0 4258334 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462814689808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2005] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2005/stat : 2005 (java) S 1993 1993 16473 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 20 0 4258337 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462063045232 140462869449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2006] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2006/stat : 2006 (java) S 1993 1993 16473 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4258337 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462061991200 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2007] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2007/stat : 2007 (java) S 1993 1993 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4258338 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462060938864 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2008] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2008/stat : 2008 (java) S 1993 1993 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4258341 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462059887184 140462869456795 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2009] ppid=1993 vsize=13269256 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2009/stat : 2009 (java) R 1993 1993 16473 0 -1 4202560 12594 0 0 0 110 2 0 0 20 0 20 0 4258341 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462058834328 140462854360000 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2010] ppid=1993 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2010/stat : 2010 (java) R 1993 1993 16473 0 -1 4202560 3413 0 0 0 102 0 0 0 20 0 20 0 4258341 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462057781528 140462854564432 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2011] ppid=1993 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2011/stat : 2011 (java) R 1993 1993 16473 0 -1 4202560 3620 0 0 0 98 0 0 0 20 0 20 0 4258341 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462056715584 140462846684490 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2012] ppid=1993 vsize=13269256 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2012/stat : 2012 (java) R 1993 1993 16473 0 -1 4202560 3906 0 0 0 66 0 0 0 20 0 20 0 4258341 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462055674104 140462862538046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2013] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2013/stat : 2013 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4258342 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462054624096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2014] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2014/stat : 2014 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4258342 13587718144 66514 33554432000 4194304 4196468 140731579559824 140462053571376 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 13278768

[startup+3.10111 s]
/proc/loadavg: 15.47 15.76 15.14 13/291 2014
/proc/meminfo: memFree=30838512/32770624 swapFree=5736/261400
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=13269256 CPUtime=11.9 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) S 1993 1993 16473 0 -1 1077944320 40234 0 0 0 1083 107 0 0 20 0 20 0 4258333 13587718144 162855 33554432000 4194304 4196468 140731579559824 140731579542368 140462869438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
/proc/1994/statm: 3317314 162855 3255 1 0 3304547 0
[pid=1994/tid=1995] ppid=1993 vsize=13269256 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1995/stat : 1995 (java) R 1993 1993 16473 0 -1 4202560 8948 0 0 0 258 9 0 0 20 0 20 0 4258333 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462873673976 140462499259335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1997] ppid=1993 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1997/stat : 1997 (java) S 1993 1993 16473 0 -1 1077944384 146 0 0 0 9 11 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462822058896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1998] ppid=1993 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1998/stat : 1998 (java) S 1993 1993 16473 0 -1 1077944384 254 0 0 0 9 12 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462821006096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1999] ppid=1993 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1999/stat : 1999 (java) S 1993 1993 16473 0 -1 1077944384 146 0 0 0 11 11 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462819953808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2000] ppid=1993 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2000/stat : 2000 (java) S 1993 1993 16473 0 -1 1077944384 246 0 0 0 11 12 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462818901008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2001] ppid=1993 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2001/stat : 2001 (java) S 1993 1993 16473 0 -1 1077944384 112 0 0 0 9 10 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462817847696 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2002] ppid=1993 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2002/stat : 2002 (java) S 1993 1993 16473 0 -1 1077944384 157 0 0 0 11 10 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462816794896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2003] ppid=1993 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2003/stat : 2003 (java) S 1993 1993 16473 0 -1 1077944384 155 0 0 0 10 12 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462815742608 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2004] ppid=1993 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2004/stat : 2004 (java) S 1993 1993 16473 0 -1 1077944384 110 0 0 0 8 10 0 0 20 0 20 0 4258334 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462814689808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2005] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2005/stat : 2005 (java) S 1993 1993 16473 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 4258337 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462063045232 140462869449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2006] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2006/stat : 2006 (java) S 1993 1993 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4258337 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462061991264 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2007] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2007/stat : 2007 (java) S 1993 1993 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4258338 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462060938880 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2008] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2008/stat : 2008 (java) S 1993 1993 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4258341 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462059887184 140462869456795 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2009] ppid=1993 vsize=13269256 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2009/stat : 2009 (java) R 1993 1993 16473 0 -1 4202560 13492 0 0 0 217 2 0 0 20 0 20 0 4258341 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462058820576 140462850982417 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2010] ppid=1993 vsize=13269256 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2010/stat : 2010 (java) R 1993 1993 16473 0 -1 4202560 4831 0 0 0 216 1 0 0 20 0 20 0 4258341 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462057767136 140462854363248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2011] ppid=1993 vsize=13269256 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2011/stat : 2011 (java) R 1993 1993 16473 0 -1 4202560 5279 0 0 0 218 0 0 0 20 0 20 0 4258341 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462056714848 140462854361780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2012] ppid=1993 vsize=13269256 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2012/stat : 2012 (java) S 1993 1993 16473 0 -1 1077944384 4583 0 0 0 88 1 0 0 20 0 20 0 4258341 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462055676144 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2013] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2013/stat : 2013 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4258342 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462054624096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2014] ppid=1993 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2014/stat : 2014 (java) S 1993 1993 16473 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4258342 13587718144 162855 33554432000 4194304 4196468 140731579559824 140462053571376 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 13278768

[startup+6.30111 s]
/proc/loadavg: 15.51 15.77 15.15 13/299 2030
/proc/meminfo: memFree=30307904/32770624 swapFree=5736/261408
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=13803816 CPUtime=30.08 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) S 1993 1993 16473 0 -1 1077944320 46265 0 0 0 2712 296 0 0 20 0 28 0 4258333 14135107584 310907 33554432000 4194304 4196468 140731579559824 140731579542368 140462869438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
/proc/1994/statm: 3450954 310907 3285 1 0 3438187 0
[pid=1994/tid=1995] ppid=1993 vsize=13803816 CPUtime=3.77 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1995/stat : 1995 (java) S 1993 1993 16473 0 -1 1077944384 9458 0 0 0 367 10 0 0 20 0 28 0 4258333 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462873678976 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1997] ppid=1993 vsize=13803816 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1997/stat : 1997 (java) R 1993 1993 16473 0 -1 4202560 399 0 0 0 43 36 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462822059096 140462854136033 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1998] ppid=1993 vsize=13803816 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1998/stat : 1998 (java) R 1993 1993 16473 0 -1 4202560 509 0 0 0 39 33 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462821006296 140462854388835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1999] ppid=1993 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1999/stat : 1999 (java) R 1993 1993 16473 0 -1 4202560 436 0 0 0 46 36 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462819954008 140462854389671 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2000] ppid=1993 vsize=13803816 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2000/stat : 2000 (java) R 1993 1993 16473 0 -1 4202560 489 0 0 0 42 34 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462818901208 140462851034747 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2001] ppid=1993 vsize=13803816 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2001/stat : 2001 (java) R 1993 1993 16473 0 -1 4202560 365 0 0 0 42 29 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462817847896 140462854388804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2002] ppid=1993 vsize=13803816 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2002/stat : 2002 (java) R 1993 1993 16473 0 -1 4202560 510 0 0 0 43 35 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462816795096 140462849464571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2003] ppid=1993 vsize=13803816 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2003/stat : 2003 (java) R 1993 1993 16473 0 -1 4202560 413 0 0 0 46 35 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462815742496 140462854389424 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2004] ppid=1993 vsize=13803816 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2004/stat : 2004 (java) R 1993 1993 16473 0 -1 4202560 348 0 0 0 40 30 0 0 20 0 28 0 4258334 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462814690008 140462851034081 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2005] ppid=1993 vsize=13803816 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2005/stat : 2005 (java) S 1993 1993 16473 0 -1 1077944384 803 0 0 0 1 1 0 0 20 0 28 0 4258337 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462063043552 140462869448405 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2006] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2006/stat : 2006 (java) S 1993 1993 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4258337 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462061991264 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2007] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2007/stat : 2007 (java) S 1993 1993 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4258338 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462060938880 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2008] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2008/stat : 2008 (java) S 1993 1993 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4258341 14135107584 310907 33554432000 4194304 4196468 140731579559824 140462059887184 140462869456795 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0

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

/proc/1994/task/2013/stat : 2013 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462054624096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2014] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2014/stat : 2014 (java) S 1993 1993 16473 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462053571376 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2134] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2134/stat : 2134 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462042403104 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2135] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2135/stat : 2135 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462041351632 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2136] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2136/stat : 2136 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462044509008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2137] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2137/stat : 2137 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462038192848 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2138] ppid=1993 vsize=13803816 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2138/stat : 2138 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462045561936 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2139] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2139/stat : 2139 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462040298448 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2140] ppid=1993 vsize=13803816 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2140/stat : 2140 (java) R 1993 1993 16473 0 -1 4202560 21 0 0 0 86 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462039242568 140462504049361 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2141] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2141/stat : 2141 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335509 33554432000 4194304 4196468 140731579559824 140462043456720 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
Current children cumulated CPU time (s) 36.31
Current children cumulated vsize (KiB) 13813328

[startup+9.6009 s]
/proc/loadavg: 15.51 15.77 15.15 10/303 2141
/proc/meminfo: memFree=29906120/32770624 swapFree=5736/261412
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=13803816 CPUtime=37.92 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) S 1993 1993 16473 0 -1 1077944320 50071 0 0 0 3493 299 0 0 20 0 28 0 4258333 14135107584 335542 33554432000 4194304 4196468 140731579559824 140731579542368 140462869438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
/proc/1994/statm: 3450954 335542 3291 1 0 3438187 0
[pid=1994/tid=1995] ppid=1993 vsize=13803816 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1995/stat : 1995 (java) S 1993 1993 16473 0 -1 1077944384 9461 0 0 0 368 10 0 0 20 0 28 0 4258333 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462873678976 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1997] ppid=1993 vsize=13803816 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1997/stat : 1997 (java) S 1993 1993 16473 0 -1 1077944384 418 0 0 0 89 36 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462822058896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1998] ppid=1993 vsize=13803816 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1998/stat : 1998 (java) S 1993 1993 16473 0 -1 1077944384 526 0 0 0 85 33 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462821006096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1999] ppid=1993 vsize=13803816 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1999/stat : 1999 (java) S 1993 1993 16473 0 -1 1077944384 475 0 0 0 92 36 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462819953808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2000] ppid=1993 vsize=13803816 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2000/stat : 2000 (java) S 1993 1993 16473 0 -1 1077944384 521 0 0 0 87 34 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462818901008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2001] ppid=1993 vsize=13803816 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2001/stat : 2001 (java) S 1993 1993 16473 0 -1 1077944384 386 0 0 0 88 29 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462817847696 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2002] ppid=1993 vsize=13803816 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2002/stat : 2002 (java) S 1993 1993 16473 0 -1 1077944384 643 0 0 0 89 35 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462816794896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2003] ppid=1993 vsize=13803816 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2003/stat : 2003 (java) S 1993 1993 16473 0 -1 1077944384 430 0 0 0 90 35 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462815742608 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2004] ppid=1993 vsize=13803816 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2004/stat : 2004 (java) S 1993 1993 16473 0 -1 1077944384 357 0 0 0 86 30 0 0 20 0 28 0 4258334 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462814689808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2005] ppid=1993 vsize=13803816 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2005/stat : 2005 (java) S 1993 1993 16473 0 -1 1077944384 1418 0 0 0 9 2 0 0 20 0 28 0 4258337 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462063045232 140462869449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2006] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2006/stat : 2006 (java) S 1993 1993 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4258337 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462061991264 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2007] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2007/stat : 2007 (java) S 1993 1993 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4258338 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462060938880 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2008] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2008/stat : 2008 (java) S 1993 1993 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4258341 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462059887184 140462869456795 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2009] ppid=1993 vsize=13803816 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2009/stat : 2009 (java) S 1993 1993 16473 0 -1 1077944384 13853 0 0 0 438 3 0 0 20 0 28 0 4258341 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462058834032 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2010] ppid=1993 vsize=13803816 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2010/stat : 2010 (java) S 1993 1993 16473 0 -1 1077944384 6300 0 0 0 464 1 0 0 20 0 28 0 4258341 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462057781232 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2011] ppid=1993 vsize=13803816 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2011/stat : 2011 (java) S 1993 1993 16473 0 -1 1077944384 5471 0 0 0 440 0 0 0 20 0 28 0 4258341 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462056728944 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2012] ppid=1993 vsize=13803816 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2012/stat : 2012 (java) S 1993 1993 16473 0 -1 1077944384 5623 0 0 0 140 1 0 0 20 0 28 0 4258341 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462055676144 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2013] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2013/stat : 2013 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462054624096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2014] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2014/stat : 2014 (java) S 1993 1993 16473 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462053571376 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2134] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2134/stat : 2134 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462042403104 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2135] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2135/stat : 2135 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462041351632 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2136] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2136/stat : 2136 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462044509008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2137] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2137/stat : 2137 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462038192848 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2138] ppid=1993 vsize=13803816 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2138/stat : 2138 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462045561936 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2139] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2139/stat : 2139 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462040298448 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2140] ppid=1993 vsize=13803816 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2140/stat : 2140 (java) R 1993 1993 16473 0 -1 4202560 535 0 0 0 246 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462039240208 140462496082208 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2141] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2141/stat : 2141 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 335542 33554432000 4194304 4196468 140731579559824 140462043456720 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
Current children cumulated CPU time (s) 37.92
Current children cumulated vsize (KiB) 13813328

[startup+10.401 s]
/proc/loadavg: 15.51 15.77 15.15 10/303 2141
/proc/meminfo: memFree=29904232/32770624 swapFree=5736/261416
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=13803816 CPUtime=38.75 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) S 1993 1993 16473 0 -1 1077944320 51824 0 0 0 3576 299 0 0 20 0 28 0 4258333 14135107584 334805 33554432000 4194304 4196468 140731579559824 140731579542368 140462869438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
/proc/1994/statm: 3450954 334805 3295 1 0 3438187 0
[pid=1994/tid=1995] ppid=1993 vsize=13803816 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1995/stat : 1995 (java) S 1993 1993 16473 0 -1 1077944384 9461 0 0 0 368 10 0 0 20 0 28 0 4258333 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462873678976 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1997] ppid=1993 vsize=13803816 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1997/stat : 1997 (java) S 1993 1993 16473 0 -1 1077944384 418 0 0 0 89 36 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462822058896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1998] ppid=1993 vsize=13803816 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1998/stat : 1998 (java) S 1993 1993 16473 0 -1 1077944384 526 0 0 0 85 33 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462821006096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=1999] ppid=1993 vsize=13803816 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/1994/task/1999/stat : 1999 (java) S 1993 1993 16473 0 -1 1077944384 475 0 0 0 92 36 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462819953808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2000] ppid=1993 vsize=13803816 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2000/stat : 2000 (java) S 1993 1993 16473 0 -1 1077944384 521 0 0 0 87 34 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462818901008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2001] ppid=1993 vsize=13803816 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2001/stat : 2001 (java) S 1993 1993 16473 0 -1 1077944384 386 0 0 0 88 29 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462817847696 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2002] ppid=1993 vsize=13803816 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2002/stat : 2002 (java) S 1993 1993 16473 0 -1 1077944384 643 0 0 0 89 35 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462816794896 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2003] ppid=1993 vsize=13803816 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2003/stat : 2003 (java) S 1993 1993 16473 0 -1 1077944384 430 0 0 0 90 35 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462815742608 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2004] ppid=1993 vsize=13803816 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2004/stat : 2004 (java) S 1993 1993 16473 0 -1 1077944384 357 0 0 0 86 30 0 0 20 0 28 0 4258334 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462814689808 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2005] ppid=1993 vsize=13803816 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2005/stat : 2005 (java) S 1993 1993 16473 0 -1 1077944384 1418 0 0 0 9 2 0 0 20 0 28 0 4258337 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462063045232 140462869449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2006] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2006/stat : 2006 (java) S 1993 1993 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4258337 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462061991264 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2007] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2007/stat : 2007 (java) S 1993 1993 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4258338 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462060938880 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2008] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2008/stat : 2008 (java) S 1993 1993 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4258341 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462059887184 140462869456795 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2009] ppid=1993 vsize=13803816 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2009/stat : 2009 (java) S 1993 1993 16473 0 -1 1077944384 14053 0 0 0 439 3 0 0 20 0 28 0 4258341 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462058834032 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2010] ppid=1993 vsize=13803816 CPUtime=4.67 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2010/stat : 2010 (java) S 1993 1993 16473 0 -1 1077944384 7061 0 0 0 466 1 0 0 20 0 28 0 4258341 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462057781232 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2011] ppid=1993 vsize=13803816 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2011/stat : 2011 (java) S 1993 1993 16473 0 -1 1077944384 5527 0 0 0 440 0 0 0 20 0 28 0 4258341 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462056728944 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2012] ppid=1993 vsize=13803816 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2012/stat : 2012 (java) S 1993 1993 16473 0 -1 1077944384 5651 0 0 0 140 1 0 0 20 0 28 0 4258341 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462055676144 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2013] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2013/stat : 2013 (java) S 1993 1993 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462054624096 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2014] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2014/stat : 2014 (java) S 1993 1993 16473 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 28 0 4258342 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462053571376 140462869449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2134] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2134/stat : 2134 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462042403104 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2135] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2135/stat : 2135 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462041351632 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2136] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2136/stat : 2136 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462044509008 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2137] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2137/stat : 2137 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462038192848 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2138] ppid=1993 vsize=13803816 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2138/stat : 2138 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462045561936 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2139] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2139/stat : 2139 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462040298448 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2140] ppid=1993 vsize=13803816 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2140/stat : 2140 (java) R 1993 1993 16473 0 -1 4202560 636 0 0 0 326 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462039242248 140462500104372 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
[pid=1994/tid=2141] ppid=1993 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2141/stat : 2141 (java) S 1993 1993 16473 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4259046 14135107584 334805 33554432000 4194304 4196468 140731579559824 140462043456720 140462869448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9601024 140731579561148 140731579561324 140731579561324 140731579563983 0
Current children cumulated CPU time (s) 38.75
Current children cumulated vsize (KiB) 13813328

[startup+10.6012 s]
/proc/loadavg: 15.51 15.77 15.15 10/303 2141
/proc/meminfo: memFree=29904232/32770624 swapFree=5736/261416
[pid=1993] ppid=1990 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1993/stat : 1993 (xcsp3-exec) S 1990 1993 16473 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4258332 9740288 345 33554432000 4194304 5098028 140730511297328 140730511295432 139915323171452 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31911936 140730511299727 140730511299936 140730511299936 140730511302635 0
/proc/1993/statm: 2378 345 289 221 0 87 0
[pid=1994] ppid=1993 vsize=0 CPUtime=39.58 cores=1,3,5,7,9,11,13,15
/proc/1994/stat : 1994 (java) Z 1993 1993 16473 0 -1 4227084 56445 0 0 0 3657 301 0 0 20 0 2 0 4258333 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/1994/statm: 0 0 0 0 0 0 0
[pid=1994/tid=2010] ppid=1993 vsize=0 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/1994/task/2010/stat : 2010 (java) R 1993 1993 16473 0 -1 4203588 7254 0 0 0 469 1 0 0 20 0 2 0 4258341 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 11 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.58
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 10.6055
CPU time (s): 39.5882
CPU user time (s): 36.5721
CPU system time (s): 3.01606
CPU usage (%): 373.279
Max. virtual memory (cumulated for all children) (KiB): 13813328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.5721
system time used= 3.01606
maximum resident set size= 1344152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6778
involuntary context switches= 3356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083502 second user time and 0.145426 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 04:18:12
IDJOB=4247404
IDBENCH=126994
IDSOLVER=2625
FILE ID=node114/4247404-1500689892
RUNJOBID= node114-1500682387-16505
PBS_JOBID= 20623324
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247404-1500689892/watcher-4247404-1500689892 -o /tmp/evaluation-result-4247404-1500689892/solver-4247404-1500689892 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 576362931 HOME/instance-4247404-1500689892.xml

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

MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc
RANDOM SEED=576362931

node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.60
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31276024 kB
MemAvailable:   31439252 kB
Buffers:          116336 kB
Cached:           328052 kB
SwapCached:            0 kB
Active:           791904 kB
Inactive:         270180 kB
Active(anon):     620596 kB
Inactive(anon):     8812 kB
Active(file):     171308 kB
Inactive(file):   261368 kB
Unevictable:        5736 kB
Mlocked:            5736 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7776 kB
Writeback:             0 kB
AnonPages:        598436 kB
Mapped:            43112 kB
Shmem:              8848 kB
Slab:             126912 kB
SReclaimable:      92776 kB
SUnreclaim:        34136 kB
KernelStack:        5152 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1651892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61996 MiB
End job on node114 at 2017-07-22 04:18:23