Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 1459 | 411.211 | 55.2847 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-078.xml |
MD5SUM | b749a4e5de10f3f67b20d160b8ef335e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 659 |
Best CPU time to get the best result obtained on this benchmark | 2400.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6161 |
Number of constraints | 3157 |
Number of domains | 155 |
Minimum domain size | 2 |
Maximum domain size | 155 |
Distribution of domain sizes | [{"size":2,"count":3082},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 77 |
Distribution of variable degrees | [{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 78 |
Distribution of constraint arities | [{"arity":2,"count":78},{"arity":3,"count":3004},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3080 |
Distribution of constraint types | [{"type":"intension","count":3080},{"type":"sum","count":77}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394656-1568428922.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394656-1568428922.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 12.06/3.36 c solve instance... 15.97/3.99 o 155155 17.50/4.11 o 143451 17.50/4.13 o 143155 18.01/4.23 o 132651 20.28/5.57 o 132355 20.28/5.58 o 132067 20.28/5.59 o 122723 20.45/5.61 o 122411 20.45/5.62 o 122123 20.45/5.63 o 121859 20.45/5.64 o 113635 20.45/5.65 o 113307 20.45/5.67 o 113019 20.45/5.68 o 112739 20.45/5.69 o 112499 20.85/5.70 o 105355 20.85/5.72 o 105011 20.85/5.73 o 104707 20.85/5.74 o 104427 20.85/5.75 o 104171 20.85/5.76 o 103955 21.45/5.81 o 97851 21.45/5.83 o 97491 21.45/5.85 o 2803 22.05/5.95 o 2795 22.05/5.97 o 2603 22.56/6.03 o 2491 23.27/6.16 o 2467 23.69/6.25 o 2419 23.69/6.25 o 2363 23.69/6.26 o 2315 24.26/6.34 o 2267 24.26/6.37 o 2171 24.92/6.42 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1975/1977) 24.92/6.42 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 24.92/6.42 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 24.92/6.42 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 24.92/6.42 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 24.92/6.42 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 24.92/6.42 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1975/1977) 24.92/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 24.92/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 24.92/6.42 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 24.92/6.42 at org.chocosolver.solver.Solver.repair(Solver.java:443) 24.92/6.42 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 24.92/6.42 at org.chocosolver.solver.Solver.solve(Solver.java:262) 24.92/6.42 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 24.92/6.42 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 24.92/6.42 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 24.92/6.42 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 24.92/6.42 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 24.92/6.42 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 24.92/6.42 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 24.92/6.42 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 24.92/6.42 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 24.92/6.42 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 24.92/6.42 o 2155 25.61/6.57 o 2019 26.32/6.63 o 1955 26.32/6.68 o 1907 31.41/7.31 o 1891 71.64/12.43 o 1595 98.72/15.92 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 98.72/15.92 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 98.72/15.92 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 98.72/15.92 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 98.72/15.92 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 98.72/15.92 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 98.72/15.92 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 98.72/15.92 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 98.72/15.92 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 98.72/15.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 98.72/15.92 at org.chocosolver.solver.Solver.repair(Solver.java:443) 98.72/15.92 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 98.72/15.92 at org.chocosolver.solver.Solver.solve(Solver.java:262) 98.72/15.92 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 98.72/15.92 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 98.72/15.92 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 98.72/15.92 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 98.72/15.92 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 98.72/15.92 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 98.72/15.92 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 98.72/15.92 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 98.72/15.92 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 98.72/15.92 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 98.72/15.92 o 1531 410.80/55.23 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 410.80/55.23 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 410.80/55.23 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 410.80/55.23 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 410.80/55.23 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 410.80/55.23 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 410.80/55.23 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 410.80/55.23 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 410.80/55.23 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 410.80/55.23 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 410.80/55.23 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 410.80/55.23 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 410.80/55.23 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 410.80/55.23 ... 4 more 410.80/55.24 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 410.80/55.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 410.80/55.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 410.80/55.24 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 410.80/55.24 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 410.80/55.24 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 410.80/55.24 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 410.80/55.24 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 410.80/55.24 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 410.80/55.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 410.80/55.24 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 410.80/55.24 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 410.80/55.24 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 410.80/55.24 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 410.80/55.24 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 410.80/55.24 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 410.80/55.24 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 410.80/55.24 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 410.80/55.24 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 410.80/55.24 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 410.80/55.24 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 410.80/55.24 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 410.80/55.24 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 410.80/55.24 at org.chocosolver.solver.Solver.restart(Solver.java:596) 410.80/55.24 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 410.80/55.24 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 410.80/55.24 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 410.80/55.24 at org.chocosolver.solver.Solver.extend(Solver.java:421) 410.80/55.24 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 410.80/55.24 at org.chocosolver.solver.Solver.solve(Solver.java:262) 410.80/55.24 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 410.80/55.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 410.80/55.24 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 410.80/55.24 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 410.80/55.24 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 410.80/55.24 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 410.80/55.24 ... 4 more 410.80/55.24 o 1459 410.80/55.25 s OPTIMUM FOUND 410.80/55.25 v <instantiation> 410.80/55.25 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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[73][0] y[73][1] y[73][2] y[73][3] y[74][0] y[74][1] y[74][2] y[75][0] y[75][1] y[76][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] </list> 410.80/55.25 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 -5 0 -1 6 3 -4 5 -10 -3 2 -7 8 -7 2 -1 -4 -1 0 7 -4 -3 -12 5 -4 -3 -4 5 8 3 0 -1 8 -1 -8 -3 4 -5 0 1 -2 -5 -2 -3 6 -1 2 -1 2 -5 -2 9 -2 -7 -2 1 6 1 -2 -1 -6 -1 -6 3 -4 -3 6 1 0 -3 0 5 2 -1 0 -1 2 -1 25 0 1 36 9 16 25 100 9 4 49 64 49 4 1 16 1 0 49 16 9 144 25 16 9 16 25 64 9 0 1 64 1 64 9 16 25 0 1 4 25 4 9 36 1 4 1 4 25 4 81 4 49 4 1 36 1 4 1 36 1 36 9 16 9 36 1 0 9 0 25 4 1 0 1 4 1 </values> 410.80/55.25 v </instantiation>
OK 1459
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10665 MiB free) memory of node 1: 16384 MiB (13058 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394656-1568428922/watcher-4394656-1568428922 -o /tmp/evaluation-result-4394656-1568428922/solver-4394656-1568428922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 103829922 HOME/instance-4394656-1568428922.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8945, runsolver pid=8942 [startup+0.100163 s]* /proc/loadavg: 6.81 7.57 7.76 2/213 8966 /proc/meminfo: memFree=24277660/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28227388 memory=29896 CPUtime=0.12 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 5952 0 0 0 11 1 0 0 20 0 20 0 418829563 28904845312 7474 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7056847 7474 3114 1 0 7019032 0 [pid=8947/tid=8948] ppid=8945 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 3860 0 0 0 8 0 0 0 20 0 20 0 418829563 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435891210032 140435886988694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28227388 memory=140249180673664 CPUtime=0 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8952] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8953] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8954] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8955] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8956] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8957] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829565 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8958] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8959] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8960] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8961] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8962] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8963] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8964] ppid=8945 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/8947/task/8964/stat : 8964 (java) R 8945 8945 7522 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434995931504 140435865497687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8965] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8966] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31348 KiB [startup+0.210259 s]* /proc/loadavg: 6.81 7.57 7.76 2/213 8966 /proc/meminfo: memFree=24266520/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28227388 memory=40260 CPUtime=0.34 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 9371 0 0 0 31 3 0 0 20 0 20 0 418829563 28904845312 10065 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7056847 10065 3244 1 0 7019032 0 [pid=8947/tid=8948] ppid=8945 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 6621 0 0 0 18 1 0 0 20 0 20 0 418829563 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435891210880 140435886998106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28227388 memory=140249180682863 CPUtime=0 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8952] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8953] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8954] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8955] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8956] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8957] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418829565 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8958] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8959] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8960] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8961] ppid=8945 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8962] ppid=8945 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8963] ppid=8945 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8964] ppid=8945 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/8947/task/8964/stat : 8964 (java) R 8945 8945 7522 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434995931504 140435886988694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8965] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8966] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41712 KiB [startup+0.30964 s]* /proc/loadavg: 6.81 7.57 7.76 4/213 8966 /proc/meminfo: memFree=24259868/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28231644 memory=49752 CPUtime=0.52 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 10784 0 0 0 49 3 0 0 20 0 20 0 418829563 28909203456 12438 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7057911 12438 3347 1 0 7019032 0 [pid=8947/tid=8948] ppid=8945 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 7720 0 0 0 28 2 0 0 20 0 20 0 418829563 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435891207872 140435886998685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8952] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8953] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8954] ppid=8945 vsize=28231644 memory=140249070135983 CPUtime=0 cores=0-7 /proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8955] ppid=8945 vsize=28231644 memory=140249070138288 CPUtime=0 cores=0-7 /proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8956] ppid=8945 vsize=28231644 memory=140249070140592 CPUtime=0 cores=0-7 /proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8957] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418829565 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8958] ppid=8945 vsize=28231644 memory=280498140295056 CPUtime=0 cores=0-7 /proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8959] ppid=8945 vsize=28231644 memory=280498140292752 CPUtime=0 cores=0-7 /proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8960] ppid=8945 vsize=28231644 memory=280498140299664 CPUtime=0 cores=0-7 /proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8961] ppid=8945 vsize=28231644 memory=280498140240944 CPUtime=0.02 cores=0-7 /proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8962] ppid=8945 vsize=28231644 memory=280498140313488 CPUtime=0.04 cores=0-7 /proc/8947/task/8962/stat : 8962 (java) R 8945 8945 7522 0 -1 4202560 223 0 0 0 4 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434998036592 140435866632432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8963] ppid=8945 vsize=28231644 memory=280498140320400 CPUtime=0.02 cores=0-7 /proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8964] ppid=8945 vsize=28231644 memory=280498140318096 CPUtime=0.12 cores=0-7 /proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8965] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8966] ppid=8945 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51204 KiB [startup+0.700936 s] /proc/loadavg: 6.81 7.57 7.76 4/213 8966 /proc/meminfo: memFree=24229916/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28233768 memory=110812 CPUtime=2.07 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 15976 0 0 0 202 5 0 0 20 0 20 0 418829563 28911378432 27703 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7058442 27703 3455 1 0 7019544 0 [pid=8947/tid=8948] ppid=8945 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 8694 0 0 0 65 3 0 0 20 0 20 0 418829563 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435891212272 140435886998106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28233768 memory=140249070347120 CPUtime=0 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28233768 memory=7180 CPUtime=0 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 ################ # More data... # ################ [pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=7378128086720603752 CPUtime=40.19 cores=0-7 /proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4017 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321332 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=7811327984369296208 CPUtime=36.81 cores=0-7 /proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1874 0 0 0 3681 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435530606266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=7813020119963361872 CPUtime=37.33 cores=0-7 /proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3733 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435520971183 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=6371583469937780065 CPUtime=37.37 cores=0-7 /proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10468 0 0 0 3713 24 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435528652999 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=-7175753904026764170 CPUtime=37.34 cores=0-7 /proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10310 0 0 0 3664 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435518058159 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=7811324651474868587 CPUtime=36.81 cores=0-7 /proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3680 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435527005599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=7810482442898725231 CPUtime=37.1 cores=0-7 /proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3710 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435530321376 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=7164495116489746533 CPUtime=37.29 cores=0-7 /proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3728 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435528042503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=1452 CPUtime=1.69 cores=0-7 /proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 404.42 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 3813156 KiB [startup+54.8017 s] /proc/loadavg: 7.83 7.75 7.81 9/221 9297 /proc/meminfo: memFree=20489384/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28834892 memory=3811704 CPUtime=407.61 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 231684 0 0 0 40377 384 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7208723 952926 3568 1 0 7169825 0 [pid=8947/tid=8948] ppid=8945 vsize=28834892 memory=8100119102542603367 CPUtime=3.25 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) S 8945 8945 7522 0 -1 1077944384 12925 0 0 0 315 10 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435891217536 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28834892 memory=7523088803483381611 CPUtime=0.89 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 834 0 0 0 69 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28834892 memory=7812166894612010863 CPUtime=0.86 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 652 0 0 0 66 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28834892 memory=7306075981684895078 CPUtime=0.9 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1132 0 0 0 70 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8952] ppid=8945 vsize=28834892 memory=288230574492221466 CPUtime=0.91 cores=0-7 /proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 1238 0 0 0 70 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8953] ppid=8945 vsize=28834892 memory=288230596050944315 CPUtime=0.83 cores=0-7 /proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 840 0 0 0 64 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8954] ppid=8945 vsize=28834892 memory=15544015764327050 CPUtime=0.85 cores=0-7 /proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 1036 0 0 0 66 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8955] ppid=8945 vsize=28834892 memory=7180 CPUtime=0.89 cores=0-7 /proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1846 0 0 0 67 22 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8956] ppid=8945 vsize=28834892 memory=1100 CPUtime=0.89 cores=0-7 /proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 902 0 0 0 68 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8957] ppid=8945 vsize=28834892 memory=15208 CPUtime=0.16 cores=0-7 /proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 8130 0 0 0 12 4 0 0 20 0 29 0 418829565 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8958] ppid=8945 vsize=28834892 memory=24880 CPUtime=0 cores=0-7 /proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435002246624 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8959] ppid=8945 vsize=28834892 memory=140249071312033 CPUtime=0 cores=0-7 /proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435001193984 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8960] ppid=8945 vsize=28834892 memory=5776200955640963136 CPUtime=0 cores=0-7 /proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8961] ppid=8945 vsize=28834892 memory=4638778398332698726 CPUtime=8.7 cores=0-7 /proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 46646 0 0 0 860 10 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8962] ppid=8945 vsize=28834892 memory=3476022724170256788 CPUtime=8.46 cores=0-7 /proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 39880 0 0 0 838 8 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8963] ppid=8945 vsize=28834892 memory=7674596114781855808 CPUtime=8.26 cores=0-7 /proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 41583 0 0 0 819 7 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8964] ppid=8945 vsize=28834892 memory=4207095701905760320 CPUtime=1.67 cores=0-7 /proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 18092 0 0 0 163 4 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8965] ppid=8945 vsize=28834892 memory=6498740855180902496 CPUtime=0 cores=0-7 /proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8966] ppid=8945 vsize=28834892 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 3014 0 0 0 0 3 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=8196 CPUtime=40.59 cores=0-7 /proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4057 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321313 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=0 CPUtime=37.2 cores=0-7 /proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1876 0 0 0 3720 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435530606245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=0 CPUtime=37.73 cores=0-7 /proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3773 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435521406224 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=0 CPUtime=37.77 cores=0-7 /proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10489 0 0 0 3752 25 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435526108954 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=280496933040017 CPUtime=37.74 cores=0-7 /proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10349 0 0 0 3704 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435519502976 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=31356350842106267 CPUtime=37.2 cores=0-7 /proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3719 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435520358343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=10849 CPUtime=37.5 cores=0-7 /proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3750 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435517465271 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=0 CPUtime=37.69 cores=0-7 /proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3768 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435528042577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=0 CPUtime=1.69 cores=0-7 /proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 407.61 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 3813156 KiB [startup+55.2017 s] /proc/loadavg: 7.83 7.75 7.81 9/221 9297 /proc/meminfo: memFree=20489384/32770624 swapFree=67108848/67108860 [pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0 /proc/8945/statm: 28282 363 304 221 0 87 0 [pid=8947] ppid=8945 vsize=28834892 memory=3811704 CPUtime=410.8 cores=0-7 /proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 231742 0 0 0 40696 384 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 /proc/8947/statm: 7208723 952926 3568 1 0 7169825 0 [pid=8947/tid=8948] ppid=8945 vsize=28834892 memory=2322080816985816679 CPUtime=3.25 cores=0-7 /proc/8947/task/8948/stat : 8948 (java) S 8945 8945 7522 0 -1 1077944384 12925 0 0 0 315 10 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435891217536 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8949] ppid=8945 vsize=28834892 memory=8112282956445269571 CPUtime=0.89 cores=0-7 /proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 834 0 0 0 69 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8950] ppid=8945 vsize=28834892 memory=1228 CPUtime=0.86 cores=0-7 /proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 652 0 0 0 66 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8951] ppid=8945 vsize=28834892 memory=2352 CPUtime=0.9 cores=0-7 /proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1132 0 0 0 70 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8952] ppid=8945 vsize=28834892 memory=1792 CPUtime=0.91 cores=0-7 /proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 1238 0 0 0 70 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8953] ppid=8945 vsize=28834892 memory=8612 CPUtime=0.83 cores=0-7 /proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 840 0 0 0 64 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8954] ppid=8945 vsize=28834892 memory=1192 CPUtime=0.85 cores=0-7 /proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 1036 0 0 0 66 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8955] ppid=8945 vsize=28834892 memory=5536 CPUtime=0.89 cores=0-7 /proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1846 0 0 0 67 22 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8956] ppid=8945 vsize=28834892 memory=1452 CPUtime=0.89 cores=0-7 /proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 902 0 0 0 68 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8957] ppid=8945 vsize=28834892 memory=3811704 CPUtime=0.16 cores=0-7 /proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 8130 0 0 0 12 4 0 0 20 0 29 0 418829565 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8958] ppid=8945 vsize=28834892 memory=1228 CPUtime=0 cores=0-7 /proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435002246624 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8959] ppid=8945 vsize=28834892 memory=2352 CPUtime=0 cores=0-7 /proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435001193984 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8960] ppid=8945 vsize=28834892 memory=1792 CPUtime=0 cores=0-7 /proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8961] ppid=8945 vsize=28834892 memory=8612 CPUtime=8.7 cores=0-7 /proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 46646 0 0 0 860 10 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8962] ppid=8945 vsize=28834892 memory=1192 CPUtime=8.46 cores=0-7 /proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 39880 0 0 0 838 8 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8963] ppid=8945 vsize=28834892 memory=5536 CPUtime=8.26 cores=0-7 /proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 41583 0 0 0 819 7 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8964] ppid=8945 vsize=28834892 memory=4540 CPUtime=1.67 cores=0-7 /proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 18092 0 0 0 163 4 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8965] ppid=8945 vsize=28834892 memory=752 CPUtime=0 cores=0-7 /proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=8966] ppid=8945 vsize=28834892 memory=1636 CPUtime=0.03 cores=0-7 /proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 3014 0 0 0 0 3 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=812 CPUtime=40.99 cores=0-7 /proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4097 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321406 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=1840 CPUtime=37.6 cores=0-7 /proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1876 0 0 0 3760 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435528042503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=1384 CPUtime=38.13 cores=0-7 /proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3813 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435520971218 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=7180 CPUtime=38.18 cores=0-7 /proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10515 0 0 0 3792 26 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435528652994 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=1100 CPUtime=38.14 cores=0-7 /proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10381 0 0 0 3744 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435519075872 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=15208 CPUtime=37.6 cores=0-7 /proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3759 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435520358182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=24880 CPUtime=37.89 cores=0-7 /proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3789 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435520358485 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=4048 CPUtime=38.09 cores=0-7 /proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3808 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435520200094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 [pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=14288 CPUtime=1.69 cores=0-7 /proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0 Current children cumulated CPU time: 410.8 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 3813156 KiB Child status: 0 Real time (s): 55.2847 CPU time (s): 411.211 CPU user time (s): 407.333 CPU system time (s): 3.8778 CPU usage (%): 743.806 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 3813156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 407.333 system time used= 3.8778 maximum resident set size= 3812016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233002 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11942 involuntary context switches= 7074 # summary of solver processes directly reported to runsolver: # pid: 8945 # total CPU time (s): 411.211 # total CPU user time (s): 407.333 # total CPU system time (s): 3.8778 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.481718 second user time and 0.729775 second system time The end
Begin job on node143 at 2019-09-14 04:41:21 IDJOB=4394656 IDBENCH=127075 IDSOLVER=2843 FILE ID=node143/4394656-1568428922 RUNJOBID= node143-1568425676-7549 PBS_JOBID= 21702285 Free space on /tmp= 59272 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394656-1568428922/watcher-4394656-1568428922 -o /tmp/evaluation-result-4394656-1568428922/solver-4394656-1568428922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 103829922 HOME/instance-4394656-1568428922.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e RANDOM SEED=103829922 node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24293268 kB MemAvailable: 31753588 kB Buffers: 204268 kB Cached: 7545592 kB SwapCached: 8 kB Active: 2147696 kB Inactive: 5653708 kB Active(anon): 5904 kB Inactive(anon): 145040 kB Active(file): 2141792 kB Inactive(file): 5508668 kB Unevictable: 107260 kB Mlocked: 107260 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 26192 kB Writeback: 0 kB AnonPages: 158136 kB Mapped: 48192 kB Shmem: 90756 kB Slab: 267336 kB SReclaimable: 238320 kB SUnreclaim: 29016 kB KernelStack: 3456 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59248 MiB End job on node143 at 2019-09-14 04:42:16