Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 45.3912 | 7.32871 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 25.4304 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394559-1568427355.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394559-1568427355.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 6.73/1.86 c solve instance... 8.69/2.12 o 19 8.69/2.18 o 18 8.69/2.20 o 17 9.35/2.23 o 16 10.72/2.41 o 15 11.62/2.64 o 14 12.14/2.72 o 13 15.67/3.24 o 12 16.10/3.32 o 11 16.42/3.47 o 10 16.67/3.55 o 9 26.71/4.85 o 8 26.71/4.90 o 7 34.53/5.84 o 6 34.53/5.89 o 5 43.90/7.15 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (278/298) 43.90/7.15 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 43.90/7.15 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 43.90/7.15 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 43.90/7.15 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 43.90/7.15 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 43.90/7.15 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (278/298) 43.90/7.15 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 43.90/7.15 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 43.90/7.15 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 43.90/7.15 at org.chocosolver.solver.Solver.repair(Solver.java:443) 43.90/7.15 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 43.90/7.15 at org.chocosolver.solver.Solver.solve(Solver.java:262) 43.90/7.15 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 43.90/7.15 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 43.90/7.15 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 43.90/7.15 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 43.90/7.15 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 43.90/7.15 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 43.90/7.15 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 43.90/7.15 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 43.90/7.15 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 43.90/7.15 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 43.90/7.15 o 4 44.55/7.20 o 3 45.31/7.31 s OPTIMUM FOUND 45.31/7.31 v <instantiation> 45.31/7.31 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 45.31/7.31 v <values>0 12 21 15 22 4 10 14 20 7 26 9 11 8 28 27 2 23 1 3 24 18 29 5 6 16 19 25 13 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 2 2 </values> 45.31/7.31 v </instantiation>
OK 3
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 (11765 MiB free) memory of node 1: 16384 MiB (14448 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394559-1568427355/watcher-4394559-1568427355 -o /tmp/evaluation-result-4394559-1568427355/solver-4394559-1568427355 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 296522277 HOME/instance-4394559-1568427355.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=16937, runsolver pid=16934 [startup+0.100159 s]* /proc/loadavg: 7.09 8.00 7.85 2/211 16958 /proc/meminfo: memFree=26826388/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28227388 memory=29972 CPUtime=0.12 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 5961 0 0 0 11 1 0 0 20 0 20 0 418649313 28904845312 7493 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7056847 7493 3127 1 0 7019032 0 [pid=16939/tid=16940] ppid=16937 vsize=28227388 memory=8330140268891120282 CPUtime=0.08 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) R 16937 16937 16596 0 -1 4202560 3883 0 0 0 8 0 0 0 20 0 20 0 418649314 28904845312 7493 33554432000 4194304 4196468 140736852438288 140687030022640 140687025802646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28227388 memory=732370370068384741 CPUtime=0 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28227388 memory=140231730931328 CPUtime=0 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 7493 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649316 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418649316 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685488514464 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418649317 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685487461872 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649319 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) S 16937 16937 16596 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 418649319 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685485357040 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649319 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685484304496 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649319 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) R 16937 16937 16596 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 418649319 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685482199408 140687025802646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649320 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649320 28904845312 7493 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31424 KiB [startup+0.21042 s]* /proc/loadavg: 7.09 8.00 7.85 2/211 16958 /proc/meminfo: memFree=26814468/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28227388 memory=40428 CPUtime=0.33 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 9384 0 0 0 30 3 0 0 20 0 20 0 418649313 28904845312 10107 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7056847 10107 3252 1 0 7019032 0 [pid=16939/tid=16940] ppid=16937 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) R 16937 16937 16596 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 20 0 418649314 28904845312 10107 33554432000 4194304 4196468 140736852438288 140687030020432 140687025802646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28227388 memory=280463352669944 CPUtime=0 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28227388 memory=140231730931328 CPUtime=0 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28904845312 10107 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418649316 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418649316 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685488514464 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418649317 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685487461872 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649319 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) S 16937 16937 16596 0 -1 1077944384 574 0 0 0 1 0 0 0 20 0 20 0 418649319 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685485357040 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) S 16937 16937 16596 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 418649319 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685484304496 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 418649319 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) R 16937 16937 16596 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 418649319 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685482199408 140687010143692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649320 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649320 28904845312 10107 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41880 KiB [startup+0.309746 s]* /proc/loadavg: 7.09 8.00 7.85 4/211 16958 /proc/meminfo: memFree=26807260/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28231644 memory=49660 CPUtime=0.52 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 10816 0 0 0 48 4 0 0 20 0 20 0 418649313 28909203456 12415 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7057911 12415 3332 1 0 7019032 0 [pid=16939/tid=16940] ppid=16937 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) R 16937 16937 16596 0 -1 4202560 7747 0 0 0 27 2 0 0 20 0 20 0 418649314 28909203456 12415 33554432000 4194304 4196468 140736852438288 140687030021824 140687009871198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28231644 memory=140231621833647 CPUtime=0 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28231644 memory=140231621835952 CPUtime=0 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28231644 memory=140231621838256 CPUtime=0 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28909203456 12415 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418649316 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28231644 memory=280463243683472 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418649316 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685488514464 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28231644 memory=280463243690384 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418649317 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685487461872 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28231644 memory=280463243631664 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649319 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28231644 memory=280463243704208 CPUtime=0.03 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) S 16937 16937 16596 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 20 0 418649319 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685485357040 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28231644 memory=280463243711120 CPUtime=0.02 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) R 16937 16937 16596 0 -1 4202560 190 0 0 0 2 0 0 0 20 0 20 0 418649319 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685484304592 140687003442576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28231644 memory=280463243708816 CPUtime=0.02 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 20 0 418649319 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28231644 memory=280463243724976 CPUtime=0.12 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) S 16937 16937 16596 0 -1 1077944384 901 0 0 0 12 0 0 0 20 0 20 0 418649319 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685482199408 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418649320 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649320 28909203456 12415 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51112 KiB [startup+0.701002 s] /proc/loadavg: 7.09 8.00 7.85 4/211 16958 /proc/meminfo: memFree=26784384/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28233768 memory=105628 CPUtime=2.01 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 16491 0 0 0 194 7 0 0 20 0 20 0 418649313 28911378432 26407 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7058442 26407 3448 1 0 7019544 0 [pid=16939/tid=16940] ppid=16937 vsize=28233768 memory=280463244019840 CPUtime=0.67 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) R 16937 16937 16596 0 -1 4202560 9139 0 0 0 64 3 0 0 20 0 20 0 418649314 28911378432 26407 33554432000 4194304 4196468 140736852438288 140687030025520 140686639340299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28233768 memory=5050881541256 CPUtime=0 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418649315 28911378432 26407 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28911378432 26407 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418649315 28911378432 26407 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 ################ # More data... # ################ [pid=16939/tid=16940] ppid=16937 vsize=28769356 memory=7523376918531162212 CPUtime=1.88 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) S 16937 16937 16596 0 -1 1077944384 10220 0 0 0 182 6 0 0 20 0 28 0 418649314 29459820544 114998 33554432000 4194304 4196468 140736852438288 140687030031488 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28769356 memory=7523376918531162212 CPUtime=0.06 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 150 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28769356 memory=7523376918531162212 CPUtime=0.04 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 832 0 0 0 3 1 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28769356 memory=5787213827181732953 CPUtime=0.07 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 216 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 170 0 0 0 6 1 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28769356 memory=1359 CPUtime=0.05 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 199 0 0 0 4 1 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28769356 memory=0 CPUtime=0.06 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 127 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28769356 memory=1 CPUtime=0.07 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 118 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 272 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 114998 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28769356 memory=2255 CPUtime=0.01 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 28 0 418649316 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28769356 memory=712 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418649316 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685488514528 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28769356 memory=2 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418649317 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685487461888 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28769356 memory=1144 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418649319 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28769356 memory=246 CPUtime=3.79 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) S 16937 16937 16596 0 -1 1077944384 8035 0 0 0 376 3 0 0 20 0 28 0 418649319 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685485357040 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28769356 memory=283 CPUtime=4.04 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) S 16937 16937 16596 0 -1 1077944384 6494 0 0 0 401 3 0 0 20 0 28 0 418649319 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685484304496 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28769356 memory=30807 CPUtime=4.13 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 7949 0 0 0 411 2 0 0 20 0 28 0 418649319 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28769356 memory=241036 CPUtime=1.35 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) S 16937 16937 16596 0 -1 1077944384 5200 0 0 0 133 2 0 0 20 0 28 0 418649319 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685482199408 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28769356 memory=1 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17081] ppid=16937 vsize=28769356 memory=0 CPUtime=0.9 cores=0-7 /proc/16939/task/17081/stat : 17081 (java) R 16937 16937 16596 0 -1 4202560 18 0 0 0 90 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685396590648 140686645648836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17082] ppid=16937 vsize=28769356 memory=0 CPUtime=0.9 cores=0-7 /proc/16939/task/17082/stat : 17082 (java) R 16937 16937 16596 0 -1 4202560 18 0 0 0 90 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685400806120 140686646882112 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17083] ppid=16937 vsize=28769356 memory=6756 CPUtime=0.9 cores=0-7 /proc/16939/task/17083/stat : 17083 (java) R 16937 16937 16596 0 -1 4202560 23 0 0 0 90 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685398700424 140686648267719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17084] ppid=16937 vsize=28769356 memory=6944656592387989600 CPUtime=0.9 cores=0-7 /proc/16939/task/17084/stat : 17084 (java) R 16937 16937 16596 0 -1 4202560 17 0 0 0 90 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685399748232 140686645312091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17085] ppid=16937 vsize=28769356 memory=6944656575208382560 CPUtime=0.89 cores=0-7 /proc/16939/task/17085/stat : 17085 (java) R 16937 16937 16596 0 -1 4202560 17 0 0 0 89 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685401854600 140686640651339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17086] ppid=16937 vsize=28769356 memory=-3833726747341067623 CPUtime=0 cores=0-7 /proc/16939/task/17086/stat : 17086 (java) S 16937 16937 16596 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685393437712 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17087] ppid=16937 vsize=28769356 memory=-7595754389018307680 CPUtime=0.89 cores=0-7 /proc/16939/task/17087/stat : 17087 (java) R 16937 16937 16596 0 -1 4202560 17 0 0 0 89 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685394485192 140686645651994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=17088] ppid=16937 vsize=28769356 memory=6944656592455360569 CPUtime=0.9 cores=0-7 /proc/16939/task/17088/stat : 17088 (java) R 16937 16937 16596 0 -1 4202560 17 0 0 0 90 0 0 0 20 0 28 0 418649902 29459820544 114998 33554432000 4194304 4196468 140736852438288 140685397643288 140686648176167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 41.66 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 461444 KiB [startup+7.20131 s] /proc/loadavg: 7.40 8.04 7.87 8/220 17088 /proc/meminfo: memFree=26395148/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28769356 memory=485624 CPUtime=44.55 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 46073 0 0 0 4414 41 0 0 20 0 28 0 418649313 29459820544 121406 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7192339 121406 3542 1 0 7153441 0 [pid=16939/tid=16940] ppid=16937 vsize=28769356 memory=1716 CPUtime=1.88 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) S 16937 16937 16596 0 -1 1077944384 10266 0 0 0 182 6 0 0 20 0 28 0 418649314 29459820544 121406 33554432000 4194304 4196468 140736852438288 140687030031488 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28769356 memory=6100 CPUtime=0.06 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 150 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28769356 memory=11624 CPUtime=0.04 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 832 0 0 0 3 1 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28769356 memory=732 CPUtime=0.07 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 216 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28769356 memory=776 CPUtime=0.07 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 170 0 0 0 6 1 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28769356 memory=1452 CPUtime=0.05 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 199 0 0 0 4 1 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28769356 memory=458992 CPUtime=0.06 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 127 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28769356 memory=146613003650390 CPUtime=0.07 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 118 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 272 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 121406 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 28 0 418649316 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418649316 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685488514528 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28769356 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418649317 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685487461888 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418649319 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28769356 memory=0 CPUtime=3.86 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) R 16937 16937 16596 0 -1 4202560 8037 0 0 0 383 3 0 0 20 0 28 0 418649319 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685485357336 140687009201504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28769356 memory=1452 CPUtime=4.06 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) R 16937 16937 16596 0 -1 4202560 6496 0 0 0 403 3 0 0 20 0 28 0 418649319 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685484304792 140687010177760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28769356 memory=459952 CPUtime=4.19 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 7955 0 0 0 417 2 0 0 20 0 28 0 418649319 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28769356 memory=280463244106128 CPUtime=1.36 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) S 16937 16937 16596 0 -1 1077944384 5224 0 0 0 133 3 0 0 20 0 28 0 418649319 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685482199408 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28769356 memory=140231622249632 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 121406 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 44.55 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 487076 KiB [startup+7.30131 s] /proc/loadavg: 7.40 8.04 7.87 8/220 17088 /proc/meminfo: memFree=26395148/32770624 swapFree=66957016/67108860 [pid=16937] ppid=16934 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16937/stat : 16937 (xcsp3-exec) S 16934 16937 16596 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418649313 115843072 363 33554432000 4194304 5098028 140731853848112 140731853846216 140453942133372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10117120 140731853853558 140731853853801 140731853853801 140731853856714 0 /proc/16937/statm: 28282 363 304 221 0 87 0 [pid=16939] ppid=16937 vsize=28769356 memory=512248 CPUtime=45.31 cores=0-7 /proc/16939/stat : 16939 (java) S 16937 16937 16596 0 -1 1077944320 46245 0 0 0 4490 41 0 0 20 0 28 0 418649313 29459820544 128062 33554432000 4194304 4196468 140736852438288 140736852420832 140687025790711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 /proc/16939/statm: 7192339 128062 3542 1 0 7153441 0 [pid=16939/tid=16940] ppid=16937 vsize=28769356 memory=467100 CPUtime=1.89 cores=0-7 /proc/16939/task/16940/stat : 16940 (java) S 16937 16937 16596 0 -1 1077944384 10266 0 0 0 183 6 0 0 20 0 28 0 418649314 29459820544 128062 33554432000 4194304 4196468 140736852438288 140687030031488 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16941] ppid=16937 vsize=28769356 memory=465724 CPUtime=0.06 cores=0-7 /proc/16939/task/16941/stat : 16941 (java) S 16937 16937 16596 0 -1 1077944384 150 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686978411280 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16942] ppid=16937 vsize=28769356 memory=15663745731716 CPUtime=0.04 cores=0-7 /proc/16939/task/16942/stat : 16942 (java) S 16937 16937 16596 0 -1 1077944384 832 0 0 0 3 1 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686977358736 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16943] ppid=16937 vsize=28769356 memory=7 CPUtime=0.07 cores=0-7 /proc/16939/task/16943/stat : 16943 (java) S 16937 16937 16596 0 -1 1077944384 216 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686976306192 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16944] ppid=16937 vsize=28769356 memory=7 CPUtime=0.07 cores=0-7 /proc/16939/task/16944/stat : 16944 (java) S 16937 16937 16596 0 -1 1077944384 170 0 0 0 6 1 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686975253648 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16945] ppid=16937 vsize=28769356 memory=0 CPUtime=0.05 cores=0-7 /proc/16939/task/16945/stat : 16945 (java) S 16937 16937 16596 0 -1 1077944384 199 0 0 0 4 1 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686974200080 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16946] ppid=16937 vsize=28769356 memory=6944613755479294112 CPUtime=0.06 cores=0-7 /proc/16939/task/16946/stat : 16946 (java) S 16937 16937 16596 0 -1 1077944384 127 0 0 0 5 1 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686973147536 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16947] ppid=16937 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/16939/task/16947/stat : 16947 (java) S 16937 16937 16596 0 -1 1077944384 118 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686972094992 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16948] ppid=16937 vsize=28769356 memory=7379804841851250515 CPUtime=0.07 cores=0-7 /proc/16939/task/16948/stat : 16948 (java) S 16937 16937 16596 0 -1 1077944384 272 0 0 0 5 2 0 0 20 0 28 0 418649315 29459820544 128062 33554432000 4194304 4196468 140736852438288 140686971042448 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16949] ppid=16937 vsize=28769356 memory=3512 CPUtime=0.01 cores=0-7 /proc/16939/task/16949/stat : 16949 (java) S 16937 16937 16596 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 28 0 418649316 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685489568240 140687025801858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16950] ppid=16937 vsize=28769356 memory=41004 CPUtime=0 cores=0-7 /proc/16939/task/16950/stat : 16950 (java) S 16937 16937 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418649316 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685488514528 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16951] ppid=16937 vsize=28769356 memory=2244 CPUtime=0 cores=0-7 /proc/16939/task/16951/stat : 16951 (java) S 16937 16937 16596 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 418649317 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685487461888 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16952] ppid=16937 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/16939/task/16952/stat : 16952 (java) S 16937 16937 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418649319 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685486410448 140687025809307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16953] ppid=16937 vsize=28769356 memory=0 CPUtime=3.9 cores=0-7 /proc/16939/task/16953/stat : 16953 (java) S 16937 16937 16596 0 -1 1077944384 8038 0 0 0 387 3 0 0 20 0 28 0 418649319 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685485357040 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16954] ppid=16937 vsize=28769356 memory=280463243747536 CPUtime=4.11 cores=0-7 /proc/16939/task/16954/stat : 16954 (java) S 16937 16937 16596 0 -1 1077944384 6497 0 0 0 408 3 0 0 20 0 28 0 418649319 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685484304496 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16955] ppid=16937 vsize=28769356 memory=0 CPUtime=4.19 cores=0-7 /proc/16939/task/16955/stat : 16955 (java) S 16937 16937 16596 0 -1 1077944384 7955 0 0 0 417 2 0 0 20 0 28 0 418649319 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685483251952 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16956] ppid=16937 vsize=28769356 memory=0 CPUtime=1.37 cores=0-7 /proc/16939/task/16956/stat : 16956 (java) S 16937 16937 16596 0 -1 1077944384 5227 0 0 0 134 3 0 0 20 0 28 0 418649319 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685482199408 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16957] ppid=16937 vsize=28769356 memory=1368 CPUtime=0 cores=0-7 /proc/16939/task/16957/stat : 16957 (java) S 16937 16937 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685481147104 140687025800917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 [pid=16939/tid=16958] ppid=16937 vsize=28769356 memory=1056 CPUtime=0 cores=0-7 /proc/16939/task/16958/stat : 16958 (java) S 16937 16937 16596 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 418649320 29459820544 128062 33554432000 4194304 4196468 140736852438288 140685480094640 140687025801858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11202560 140736852444138 140736852444310 140736852444310 140736852447183 0 Current children cumulated CPU time: 45.31 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 513700 KiB Child status: 0 Real time (s): 7.32871 CPU time (s): 45.3912 CPU user time (s): 44.9561 CPU system time (s): 0.435085 CPU usage (%): 619.361 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 513700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.9561 system time used= 0.435085 maximum resident set size= 515260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46892 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6047 involuntary context switches= 1035 # summary of solver processes directly reported to runsolver: # pid: 16937 # total CPU time (s): 45.3912 # total CPU user time (s): 44.9561 # total CPU system time (s): 0.435085 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073799 second user time and 0.134948 second system time The end
Begin job on node147 at 2019-09-14 04:15:11 IDJOB=4394559 IDBENCH=126803 IDSOLVER=2843 FILE ID=node147/4394559-1568427355 RUNJOBID= node147-1568427292-16623 PBS_JOBID= 21702296 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.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-4394559-1568427355/watcher-4394559-1568427355 -o /tmp/evaluation-result-4394559-1568427355/solver-4394559-1568427355 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 296522277 HOME/instance-4394559-1568427355.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=296522277 node147.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.52 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.52 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.52 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.52 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: 26842676 kB MemAvailable: 31810500 kB Buffers: 188040 kB Cached: 5006904 kB SwapCached: 48496 kB Active: 2035076 kB Inactive: 3212776 kB Active(anon): 4916 kB Inactive(anon): 89344 kB Active(file): 2030160 kB Inactive(file): 3123432 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957016 kB Dirty: 26460 kB Writeback: 0 kB AnonPages: 228680 kB Mapped: 44852 kB Shmem: 32768 kB Slab: 271840 kB SReclaimable: 242692 kB SUnreclaim: 29148 kB KernelStack: 3872 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-14 04:15:19