Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 10 | 43.6154 | 6.71704 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml |
MD5SUM | 097039f9865a2fa48b7d42a66e75794b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 23.5768 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
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-4393878-1568447466.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393878-1568447466.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.74/1.44 c solve instance... 5.97/1.63 o 15 5.97/1.68 o 14 6.74/1.73 o 13 6.74/1.78 o 12 10.54/2.22 o 11 10.54/2.23 o 10 43.58/6.70 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (33/35) 43.58/6.70 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 43.58/6.70 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 43.58/6.70 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 43.58/6.70 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 43.58/6.70 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 43.58/6.70 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (33/35) 43.58/6.70 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 43.58/6.70 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 43.58/6.70 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 43.58/6.70 at org.chocosolver.solver.Solver.repair(Solver.java:443) 43.58/6.70 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 43.58/6.70 at org.chocosolver.solver.Solver.solve(Solver.java:262) 43.58/6.70 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 43.58/6.70 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 43.58/6.70 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 43.58/6.70 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 43.58/6.70 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 43.58/6.70 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 43.58/6.70 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 43.58/6.70 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 43.58/6.70 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 43.58/6.70 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 43.58/6.70 s OPTIMUM FOUND 43.58/6.70 v <instantiation> 43.58/6.70 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 43.58/6.70 v <values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 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 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 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 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 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 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 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 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 1 1 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 1 0 0 1 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 1 1 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 1 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 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 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 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 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 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 1 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 1 1 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 1 1 1 1 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 1 1 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 1 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values> 43.58/6.70 v </instantiation>
OK 10
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 (15111 MiB free) memory of node 1: 16384 MiB (15669 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393878-1568447466/watcher-4393878-1568447466 -o /tmp/evaluation-result-4393878-1568447466/solver-4393878-1568447466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1518224971 HOME/instance-4393878-1568447466.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=18204, runsolver pid=18201 [startup+0.10011 s]* /proc/loadavg: 7.55 8.02 7.89 3/212 18225 /proc/meminfo: memFree=31505212/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28227388 memory=27352 CPUtime=0.12 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 5794 0 0 0 11 1 0 0 20 0 20 0 420908232 28904845312 6838 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7056847 6838 3148 1 0 7019032 0 [pid=18206/tid=18207] ppid=18204 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) R 18204 18204 17196 0 -1 4202560 3662 0 0 0 8 1 0 0 20 0 20 0 420908232 28904845312 6904 33554432000 4194304 4196468 140731204452784 140500227065152 140500204683133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28227388 memory=288370708857263744 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18211] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18211/stat : 18211 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499771517456 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18212] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18212/stat : 18212 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499770465168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18213] ppid=18204 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18213/stat : 18213 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499769412368 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18214] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18214/stat : 18214 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499768360080 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18215] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18215/stat : 18215 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 6904 33554432000 4194304 4196468 140731204452784 140499767307280 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18216] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18216/stat : 18216 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908234 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498686965872 140500222843522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18217] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18217/stat : 18217 (java) S 18204 18204 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420908235 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498685911840 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18218] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18218/stat : 18218 (java) S 18204 18204 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420908235 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498684859504 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18219] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18219/stat : 18219 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498683807824 140500222850971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18220] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18220/stat : 18220 (java) S 18204 18204 17196 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498682755696 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18221] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18221/stat : 18221 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498681702896 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18222] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18222/stat : 18222 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498680650608 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18223] ppid=18204 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) R 18204 18204 17196 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 20 0 420908237 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498679597808 140500206912862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908238 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908238 28904845312 6904 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28804 KiB [startup+0.210283 s]* /proc/loadavg: 7.55 8.02 7.89 2/212 18225 /proc/meminfo: memFree=31490660/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28227388 memory=39728 CPUtime=0.33 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 9711 0 0 0 30 3 0 0 20 0 20 0 420908232 28904845312 9932 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7056847 9932 3280 1 0 7019032 0 [pid=18206/tid=18207] ppid=18204 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) R 18204 18204 17196 0 -1 4202560 6693 0 0 0 17 2 0 0 20 0 20 0 420908232 28904845312 9932 33554432000 4194304 4196468 140731204452784 140500227064288 140500215510389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28227388 memory=140332705569364 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18211] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18211/stat : 18211 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499771517456 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18212] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18212/stat : 18212 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499770465168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18213] ppid=18204 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18213/stat : 18213 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499769412368 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18214] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18214/stat : 18214 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9932 33554432000 4194304 4196468 140731204452784 140499768360080 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18215] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18215/stat : 18215 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28904845312 9997 33554432000 4194304 4196468 140731204452784 140499767307280 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18216] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18216/stat : 18216 (java) S 18204 18204 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420908234 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498686965872 140500222843522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18217] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18217/stat : 18217 (java) S 18204 18204 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420908235 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498685911840 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18218] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18218/stat : 18218 (java) S 18204 18204 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420908235 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498684859504 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18219] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18219/stat : 18219 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498683807824 140500222850971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18220] ppid=18204 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18206/task/18220/stat : 18220 (java) S 18204 18204 17196 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 420908237 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498682755696 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18221] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18221/stat : 18221 (java) S 18204 18204 17196 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 420908237 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498681702896 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18222] ppid=18204 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/18206/task/18222/stat : 18222 (java) S 18204 18204 17196 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 420908237 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498680650608 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18223] ppid=18204 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) R 18204 18204 17196 0 -1 4202560 924 0 0 0 7 0 0 0 20 0 20 0 420908237 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498679592848 140500208203750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908238 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908238 28904845312 9997 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41180 KiB [startup+0.309649 s]* /proc/loadavg: 7.55 8.02 7.89 3/212 18225 /proc/meminfo: memFree=31485584/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28231644 memory=48592 CPUtime=0.51 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 11022 0 0 0 47 4 0 0 20 0 20 0 420908232 28909203456 12148 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7057911 12148 3350 1 0 7019032 0 [pid=18206/tid=18207] ppid=18204 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) R 18204 18204 17196 0 -1 4202560 7759 0 0 0 26 3 0 0 20 0 20 0 420908232 28909203456 12148 33554432000 4194304 4196468 140731204452784 140500227063488 140500215510389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18211] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18211/stat : 18211 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140499771517456 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18212] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18212/stat : 18212 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140499770465168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18213] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18213/stat : 18213 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12148 33554432000 4194304 4196468 140731204452784 140499769412368 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18214] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18214/stat : 18214 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12214 33554432000 4194304 4196468 140731204452784 140499768360080 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18215] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18215/stat : 18215 (java) S 18204 18204 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420908233 28909203456 12214 33554432000 4194304 4196468 140731204452784 140499767307280 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18216] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18216/stat : 18216 (java) S 18204 18204 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420908234 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498686965872 140500222843522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18217] ppid=18204 vsize=28231644 memory=280665107144064 CPUtime=0 cores=0-7 /proc/18206/task/18217/stat : 18217 (java) S 18204 18204 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420908235 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498685911840 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18218] ppid=18204 vsize=28231644 memory=280665107148672 CPUtime=0 cores=0-7 /proc/18206/task/18218/stat : 18218 (java) S 18204 18204 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420908235 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498684859504 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18219] ppid=18204 vsize=28231644 memory=280665107153280 CPUtime=0 cores=0-7 /proc/18206/task/18219/stat : 18219 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908237 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498683807824 140500222850971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18220] ppid=18204 vsize=28231644 memory=280665107157888 CPUtime=0.02 cores=0-7 /proc/18206/task/18220/stat : 18220 (java) R 18204 18204 17196 0 -1 4202560 547 0 0 0 2 0 0 0 20 0 20 0 420908237 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498682755696 140500203532672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18221] ppid=18204 vsize=28231644 memory=280665107162496 CPUtime=0.02 cores=0-7 /proc/18206/task/18221/stat : 18221 (java) S 18204 18204 17196 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 20 0 420908237 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498681702896 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18222] ppid=18204 vsize=28231644 memory=280665107167104 CPUtime=0.03 cores=0-7 /proc/18206/task/18222/stat : 18222 (java) S 18204 18204 17196 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 20 0 420908237 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498680650608 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18223] ppid=18204 vsize=28231644 memory=280665107171712 CPUtime=0.12 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) S 18204 18204 17196 0 -1 1077944384 1102 0 0 0 12 0 0 0 20 0 20 0 420908237 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498679597808 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908238 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908238 28909203456 12214 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50044 KiB [startup+0.700912 s] /proc/loadavg: 7.55 8.02 7.89 4/212 18225 /proc/meminfo: memFree=31463688/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28233768 memory=91324 CPUtime=1.81 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 16059 0 0 0 174 7 0 0 20 0 20 0 420908232 28911378432 22831 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7058442 22831 3451 1 0 7019544 0 [pid=18206/tid=18207] ppid=18204 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) R 18204 18204 17196 0 -1 4202560 9298 0 0 0 63 5 0 0 20 0 20 0 420908232 28911378432 22831 33554432000 4194304 4196468 140731204452784 140500227068512 140499859562291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28233768 memory=140332553773952 CPUtime=0 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28911378432 22831 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420908233 28911378432 22831 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28233768 memory=1052 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420908233 28911378432 22831 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 ################ # More data... # ################ [pid=18206/tid=18223] ppid=18204 vsize=28834892 memory=1160 CPUtime=1.18 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) S 18204 18204 17196 0 -1 1077944384 7404 0 0 0 116 2 0 0 20 0 28 0 420908237 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498679597808 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28834892 memory=1720 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28834892 memory=1096 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18274] ppid=18204 vsize=28834892 memory=5964 CPUtime=3.94 cores=0-7 /proc/18206/task/18274/stat : 18274 (java) R 18204 18204 17196 0 -1 4202560 199 0 0 0 394 0 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498657762664 140499868234338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18275] ppid=18204 vsize=28834892 memory=14012 CPUtime=3.99 cores=0-7 /proc/18206/task/18275/stat : 18275 (java) R 18204 18204 17196 0 -1 4202560 195 0 0 0 399 0 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498666184744 140499867921672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18276] ppid=18204 vsize=28834892 memory=19884 CPUtime=3.98 cores=0-7 /proc/18206/task/18276/stat : 18276 (java) R 18204 18204 17196 0 -1 4202560 250 0 0 0 398 0 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498665132616 140499869925559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18277] ppid=18204 vsize=28834892 memory=14068 CPUtime=3.8 cores=0-7 /proc/18206/task/18277/stat : 18277 (java) R 18204 18204 17196 0 -1 4202560 633 0 0 0 379 1 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498661974312 140499869364678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18278] ppid=18204 vsize=28834892 memory=2120 CPUtime=3.71 cores=0-7 /proc/18206/task/18278/stat : 18278 (java) R 18204 18204 17196 0 -1 4202560 206 0 0 0 370 1 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498663026592 140499870291459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18279] ppid=18204 vsize=28834892 memory=280665107459616 CPUtime=3.77 cores=0-7 /proc/18206/task/18279/stat : 18279 (java) R 18204 18204 17196 0 -1 4202560 510 0 0 0 377 0 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498659871656 140499868882570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18280] ppid=18204 vsize=28834892 memory=8377424916951425120 CPUtime=4.02 cores=0-7 /proc/18206/task/18280/stat : 18280 (java) R 18204 18204 17196 0 -1 4202560 148 0 0 0 402 0 0 0 20 0 28 0 420908455 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498660920760 140499867921319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18281] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18281/stat : 18281 (java) S 18204 18204 17196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 420908456 29526929408 89111 33554432000 4194304 4196468 140731204452784 140498658820816 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 41.48 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 357896 KiB [startup+6.60115 s] /proc/loadavg: 7.50 8.01 7.88 8/220 18281 /proc/meminfo: memFree=31188692/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28834892 memory=362588 CPUtime=42.88 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 43016 0 0 0 4260 28 0 0 20 0 28 0 420908232 29526929408 90647 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7208723 90647 3537 1 0 7169825 0 [pid=18206/tid=18207] ppid=18204 vsize=28834892 memory=0 CPUtime=1.45 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) S 18204 18204 17196 0 -1 1077944384 11228 0 0 0 139 6 0 0 20 0 28 0 420908232 29526929408 90647 33554432000 4194304 4196468 140731204452784 140500227073152 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28834892 memory=6935649255759568977 CPUtime=0.01 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28834892 memory=7661859282850507368 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28834892 memory=7526486018442672440 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18211] ppid=18204 vsize=28834892 memory=29380 CPUtime=0.01 cores=0-7 /proc/18206/task/18211/stat : 18211 (java) S 18204 18204 17196 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499771517456 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18212] ppid=18204 vsize=28834892 memory=0 CPUtime=0.01 cores=0-7 /proc/18206/task/18212/stat : 18212 (java) S 18204 18204 17196 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499770465168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18213] ppid=18204 vsize=28834892 memory=33796 CPUtime=0.01 cores=0-7 /proc/18206/task/18213/stat : 18213 (java) S 18204 18204 17196 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499769412368 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18214] ppid=18204 vsize=28834892 memory=1452 CPUtime=0.01 cores=0-7 /proc/18206/task/18214/stat : 18214 (java) S 18204 18204 17196 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499768360080 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18215] ppid=18204 vsize=28834892 memory=321348 CPUtime=0.01 cores=0-7 /proc/18206/task/18215/stat : 18215 (java) S 18204 18204 17196 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499767307280 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18216] ppid=18204 vsize=28834892 memory=15262527902714418 CPUtime=0.01 cores=0-7 /proc/18206/task/18216/stat : 18216 (java) S 18204 18204 17196 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 28 0 420908234 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498686965872 140500222843522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18217] ppid=18204 vsize=28834892 memory=1 CPUtime=0 cores=0-7 /proc/18206/task/18217/stat : 18217 (java) S 18204 18204 17196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420908235 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498685911904 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18218] ppid=18204 vsize=28834892 memory=1 CPUtime=0 cores=0-7 /proc/18206/task/18218/stat : 18218 (java) S 18204 18204 17196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 420908235 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498684859520 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18219] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18219/stat : 18219 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498683807824 140500222850971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18220] ppid=18204 vsize=28834892 memory=0 CPUtime=2.6 cores=0-7 /proc/18206/task/18220/stat : 18220 (java) S 18204 18204 17196 0 -1 1077944384 6895 0 0 0 258 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498682755696 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18221] ppid=18204 vsize=28834892 memory=0 CPUtime=2.65 cores=0-7 /proc/18206/task/18221/stat : 18221 (java) S 18204 18204 17196 0 -1 1077944384 5819 0 0 0 264 1 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498681702896 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18222] ppid=18204 vsize=28834892 memory=233 CPUtime=2.52 cores=0-7 /proc/18206/task/18222/stat : 18222 (java) S 18204 18204 17196 0 -1 1077944384 6062 0 0 0 250 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498680650608 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18223] ppid=18204 vsize=28834892 memory=242 CPUtime=1.18 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) S 18204 18204 17196 0 -1 1077944384 7404 0 0 0 116 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498679597808 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18274] ppid=18204 vsize=28834892 memory=140332553864080 CPUtime=4.13 cores=0-7 /proc/18206/task/18274/stat : 18274 (java) R 18204 18204 17196 0 -1 4202560 200 0 0 0 413 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498657762664 140499871722310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18275] ppid=18204 vsize=28834892 memory=0 CPUtime=4.19 cores=0-7 /proc/18206/task/18275/stat : 18275 (java) R 18204 18204 17196 0 -1 4202560 196 0 0 0 419 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498666184744 140499869365559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18276] ppid=18204 vsize=28834892 memory=57 CPUtime=4.18 cores=0-7 /proc/18206/task/18276/stat : 18276 (java) R 18204 18204 17196 0 -1 4202560 270 0 0 0 418 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498665132616 140499869161646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18277] ppid=18204 vsize=28834892 memory=0 CPUtime=4 cores=0-7 /proc/18206/task/18277/stat : 18277 (java) R 18204 18204 17196 0 -1 4202560 635 0 0 0 398 2 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498661974312 140499870522624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18278] ppid=18204 vsize=28834892 memory=0 CPUtime=3.91 cores=0-7 /proc/18206/task/18278/stat : 18278 (java) R 18204 18204 17196 0 -1 4202560 208 0 0 0 390 1 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498663026592 140499869365653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18279] ppid=18204 vsize=28834892 memory=0 CPUtime=3.97 cores=0-7 /proc/18206/task/18279/stat : 18279 (java) R 18204 18204 17196 0 -1 4202560 514 0 0 0 397 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498659871656 140499868232518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18280] ppid=18204 vsize=28834892 memory=0 CPUtime=4.22 cores=0-7 /proc/18206/task/18280/stat : 18280 (java) R 18204 18204 17196 0 -1 4202560 159 0 0 0 422 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498660920760 140499868627911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18281] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18281/stat : 18281 (java) S 18204 18204 17196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 420908456 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498658820816 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 42.88 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 364040 KiB [startup+6.7012 s] /proc/loadavg: 7.50 8.01 7.88 8/220 18281 /proc/meminfo: memFree=31188692/32770624 swapFree=67004236/67108860 [pid=18204] ppid=18201 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18204/stat : 18204 (xcsp3-exec) S 18201 18204 17196 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420908231 115843072 363 33554432000 4194304 5098028 140722786975520 140722786973624 140635524813436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27430912 140722786976629 140722786976873 140722786976873 140722786979786 0 /proc/18204/statm: 28282 363 305 221 0 87 0 [pid=18206] ppid=18204 vsize=28834892 memory=362588 CPUtime=43.58 cores=0-7 /proc/18206/stat : 18206 (java) S 18204 18204 17196 0 -1 1077944320 43016 0 0 0 4330 28 0 0 20 0 28 0 420908232 29526929408 90647 33554432000 4194304 4196468 140731204452784 140731204435328 140500222832375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 /proc/18206/statm: 7208723 90647 3537 1 0 7169825 0 [pid=18206/tid=18207] ppid=18204 vsize=28834892 memory=0 CPUtime=1.45 cores=0-7 /proc/18206/task/18207/stat : 18207 (java) S 18204 18204 17196 0 -1 1077944384 11228 0 0 0 139 6 0 0 20 0 28 0 420908232 29526929408 90647 33554432000 4194304 4196468 140731204452784 140500227073152 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18208] ppid=18204 vsize=28834892 memory=2305 CPUtime=0.01 cores=0-7 /proc/18206/task/18208/stat : 18208 (java) S 18204 18204 17196 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140500192545168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18209] ppid=18204 vsize=28834892 memory=290316 CPUtime=0 cores=0-7 /proc/18206/task/18209/stat : 18209 (java) S 18204 18204 17196 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499773622544 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18210] ppid=18204 vsize=28834892 memory=920 CPUtime=0 cores=0-7 /proc/18206/task/18210/stat : 18210 (java) S 18204 18204 17196 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499772570256 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18211] ppid=18204 vsize=28834892 memory=1452 CPUtime=0.01 cores=0-7 /proc/18206/task/18211/stat : 18211 (java) S 18204 18204 17196 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499771517456 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18212] ppid=18204 vsize=28834892 memory=259524 CPUtime=0.01 cores=0-7 /proc/18206/task/18212/stat : 18212 (java) S 18204 18204 17196 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499770465168 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18213] ppid=18204 vsize=28834892 memory=210500 CPUtime=0.01 cores=0-7 /proc/18206/task/18213/stat : 18213 (java) S 18204 18204 17196 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499769412368 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18214] ppid=18204 vsize=28834892 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/18206/task/18214/stat : 18214 (java) S 18204 18204 17196 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499768360080 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18215] ppid=18204 vsize=28834892 memory=7162531431588384870 CPUtime=0.01 cores=0-7 /proc/18206/task/18215/stat : 18215 (java) S 18204 18204 17196 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 28 0 420908233 29526929408 90647 33554432000 4194304 4196468 140731204452784 140499767307280 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18216] ppid=18204 vsize=28834892 memory=5792262853246021208 CPUtime=0.01 cores=0-7 /proc/18206/task/18216/stat : 18216 (java) S 18204 18204 17196 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 28 0 420908234 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498686965872 140500222843522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18217] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18217/stat : 18217 (java) S 18204 18204 17196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420908235 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498685911904 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18218] ppid=18204 vsize=28834892 memory=280665107732192 CPUtime=0 cores=0-7 /proc/18206/task/18218/stat : 18218 (java) S 18204 18204 17196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 420908235 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498684859520 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18219] ppid=18204 vsize=28834892 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/18206/task/18219/stat : 18219 (java) S 18204 18204 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498683807824 140500222850971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18220] ppid=18204 vsize=28834892 memory=140337000519295 CPUtime=2.6 cores=0-7 /proc/18206/task/18220/stat : 18220 (java) S 18204 18204 17196 0 -1 1077944384 6895 0 0 0 258 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498682755696 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18221] ppid=18204 vsize=28834892 memory=4638778398332698727 CPUtime=2.65 cores=0-7 /proc/18206/task/18221/stat : 18221 (java) S 18204 18204 17196 0 -1 1077944384 5819 0 0 0 264 1 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498681702896 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18222] ppid=18204 vsize=28834892 memory=-7329520066734956480 CPUtime=2.52 cores=0-7 /proc/18206/task/18222/stat : 18222 (java) S 18204 18204 17196 0 -1 1077944384 6062 0 0 0 250 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498680650608 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18223] ppid=18204 vsize=28834892 memory=1412 CPUtime=1.18 cores=0-7 /proc/18206/task/18223/stat : 18223 (java) S 18204 18204 17196 0 -1 1077944384 7404 0 0 0 116 2 0 0 20 0 28 0 420908237 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498679597808 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18224] ppid=18204 vsize=28834892 memory=2592 CPUtime=0 cores=0-7 /proc/18206/task/18224/stat : 18224 (java) S 18204 18204 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498678544736 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18225] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18225/stat : 18225 (java) S 18204 18204 17196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420908238 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498677492016 140500222843522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18274] ppid=18204 vsize=28834892 memory=6788 CPUtime=4.23 cores=0-7 /proc/18206/task/18274/stat : 18274 (java) R 18204 18204 17196 0 -1 4202560 200 0 0 0 423 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498657762664 140499868234116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18275] ppid=18204 vsize=28834892 memory=1448 CPUtime=4.29 cores=0-7 /proc/18206/task/18275/stat : 18275 (java) R 18204 18204 17196 0 -1 4202560 196 0 0 0 429 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498666184744 140499869182817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18276] ppid=18204 vsize=28834892 memory=0 CPUtime=4.28 cores=0-7 /proc/18206/task/18276/stat : 18276 (java) R 18204 18204 17196 0 -1 4202560 270 0 0 0 428 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498665132616 140499867921557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18277] ppid=18204 vsize=28834892 memory=0 CPUtime=4.1 cores=0-7 /proc/18206/task/18277/stat : 18277 (java) R 18204 18204 17196 0 -1 4202560 635 0 0 0 408 2 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498661974312 140499870747822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18278] ppid=18204 vsize=28834892 memory=31700 CPUtime=4.01 cores=0-7 /proc/18206/task/18278/stat : 18278 (java) R 18204 18204 17196 0 -1 4202560 208 0 0 0 400 1 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498663026592 140499867920923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18279] ppid=18204 vsize=28834892 memory=0 CPUtime=4.07 cores=0-7 /proc/18206/task/18279/stat : 18279 (java) R 18204 18204 17196 0 -1 4202560 514 0 0 0 407 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498659871656 140499871722242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18280] ppid=18204 vsize=28834892 memory=0 CPUtime=4.32 cores=0-7 /proc/18206/task/18280/stat : 18280 (java) R 18204 18204 17196 0 -1 4202560 159 0 0 0 432 0 0 0 20 0 28 0 420908455 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498660920760 140499868600324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 [pid=18206/tid=18281] ppid=18204 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18206/task/18281/stat : 18281 (java) S 18204 18204 17196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 420908456 29526929408 90647 33554432000 4194304 4196468 140731204452784 140498658820816 140500222842581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30539776 140731204461546 140731204461718 140731204461718 140731204464591 0 Current children cumulated CPU time: 43.58 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 364040 KiB Child status: 0 Real time (s): 6.71704 CPU time (s): 43.6154 CPU user time (s): 43.3168 CPU system time (s): 0.298611 CPU usage (%): 649.326 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 364040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.3168 system time used= 0.298611 maximum resident set size= 365536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44668 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5144 involuntary context switches= 638 # summary of solver processes directly reported to runsolver: # pid: 18204 # total CPU time (s): 43.6154 # total CPU user time (s): 43.3168 # total CPU system time (s): 0.298611 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069948 second user time and 0.12188 second system time The end
Begin job on node148 at 2019-09-14 09:50:30 IDJOB=4393878 IDBENCH=140490 IDSOLVER=2841 FILE ID=node148/4393878-1568447466 RUNJOBID= node148-1568442142-17223 PBS_JOBID= 21702344 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-15-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-4393878-1568447466/watcher-4393878-1568447466 -o /tmp/evaluation-result-4393878-1568447466/solver-4393878-1568447466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1518224971 HOME/instance-4393878-1568447466.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 097039f9865a2fa48b7d42a66e75794b RANDOM SEED=1518224971 node148.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.13 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.13 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.13 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.13 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: 31520920 kB MemAvailable: 31908560 kB Buffers: 103188 kB Cached: 580100 kB SwapCached: 3808 kB Active: 417392 kB Inactive: 273672 kB Active(anon): 4876 kB Inactive(anon): 43744 kB Active(file): 412516 kB Inactive(file): 229928 kB Unevictable: 108944 kB Mlocked: 108944 kB SwapTotal: 67108860 kB SwapFree: 67004236 kB Dirty: 26428 kB Writeback: 0 kB AnonPages: 66068 kB Mapped: 44476 kB Shmem: 32356 kB Slab: 150384 kB SReclaimable: 122064 kB SUnreclaim: 28320 kB KernelStack: 3728 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498236 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-14 09:50:36