Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 7 | 19.3504 | 3.40568 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
MD5SUM | 9a57509d02107f3cf02e1da9240cc9e8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.7368 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 6 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"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-4393775-1568447455.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393775-1568447455.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.90/1.41 c solve instance... 5.44/1.55 o 13 5.44/1.56 o 13 6.75/1.72 o 12 6.75/1.78 o 11 8.98/2.01 o 10 8.98/2.09 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (239/241) 8.98/2.09 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 8.98/2.09 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 8.98/2.09 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 8.98/2.09 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 8.98/2.09 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 8.98/2.09 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (239/241) 8.98/2.09 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 8.98/2.09 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 8.98/2.09 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 8.98/2.09 at org.chocosolver.solver.Solver.repair(Solver.java:443) 8.98/2.09 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 8.98/2.09 at org.chocosolver.solver.Solver.solve(Solver.java:262) 8.98/2.09 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 8.98/2.09 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 8.98/2.09 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 8.98/2.09 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 8.98/2.09 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 8.98/2.09 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 8.98/2.09 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 8.98/2.09 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 8.98/2.09 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 8.98/2.09 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 8.98/2.09 o 9 11.27/2.37 o 8 11.94/2.41 o 7 19.05/3.38 s OPTIMUM FOUND 19.05/3.38 v <instantiation> 19.05/3.38 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> 19.05/3.38 v <values>0 1 5 6 12 13 4 3 14 10 2 9 7 8 11 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 0 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 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 1 1 2 3 3 3 3 3 3 3 3 3 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 0 0 0 1 1 1 1 1 1 1 2 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 1 1 2 2 2 2 3 4 4 4 4 4 4 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 1 1 0 0 0 0 1 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 4 6 6 7 6 7 7 7 7 7 7 7 7 6 4 </values> 19.05/3.38 v </instantiation>
OK 7
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 (15125 MiB free) memory of node 1: 16384 MiB (15592 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393775-1568447455/watcher-4393775-1568447455 -o /tmp/evaluation-result-4393775-1568447455/solver-4393775-1568447455 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1080407078 HOME/instance-4393775-1568447455.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=16042, runsolver pid=16039 [startup+0.100087 s]* /proc/loadavg: 8.39 8.23 7.96 4/212 16063 /proc/meminfo: memFree=31437668/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28227388 memory=29068 CPUtime=0.12 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 5739 0 0 0 11 1 0 0 20 0 20 0 421008155 28904845312 7267 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7056847 7267 3115 1 0 7019032 0 [pid=16044/tid=16045] ppid=16042 vsize=28227388 memory=-2177352373413752899 CPUtime=0.09 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) R 16042 16042 15998 0 -1 4202560 3653 0 0 0 8 1 0 0 20 0 20 0 421008155 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617744402224 140617375957473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28227388 memory=732370386662710245 CPUtime=0 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28227388 memory=140248325256832 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16049] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16049/stat : 16049 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617287891216 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16050] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16050/stat : 16050 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617286839440 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16051] ppid=16042 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16044/task/16051/stat : 16051 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617285786640 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16052] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16052/stat : 16052 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617284733840 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16053] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16053/stat : 16053 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 7267 33554432000 4194304 4196468 140735269574496 140617283681040 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16054] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16054/stat : 16054 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615935760752 140617740180098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16055] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16055/stat : 16055 (java) S 16042 16042 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615934706720 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16056] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16056/stat : 16056 (java) S 16042 16042 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615933653872 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16057] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16057/stat : 16057 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615932602192 140617740187547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16058] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16058/stat : 16058 (java) S 16042 16042 15998 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615931550576 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16059] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16059/stat : 16059 (java) R 16042 16042 15998 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615930497776 140617740180098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16060] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16060/stat : 16060 (java) R 16042 16042 15998 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615929444976 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16061] ppid=16042 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16061/stat : 16061 (java) R 16042 16042 15998 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615928392176 140617740180886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16062] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 7267 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30520 KiB [startup+0.210152 s]* /proc/loadavg: 8.39 8.23 7.96 2/212 16063 /proc/meminfo: memFree=31423692/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28227388 memory=40928 CPUtime=0.34 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 9510 0 0 0 31 3 0 0 20 0 20 0 421008155 28904845312 10232 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7056847 10232 3263 1 0 7019032 0 [pid=16044/tid=16045] ppid=16042 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) R 16042 16042 15998 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 20 0 421008155 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617744405088 140617740190877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28227388 memory=732370386662710245 CPUtime=0 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28227388 memory=140248325256832 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16049] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16049/stat : 16049 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617287891216 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16050] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16050/stat : 16050 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617286839440 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16051] ppid=16042 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16044/task/16051/stat : 16051 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617285786640 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16052] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16052/stat : 16052 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617284733840 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16053] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16053/stat : 16053 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28904845312 10232 33554432000 4194304 4196468 140735269574496 140617283681040 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16054] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16054/stat : 16054 (java) S 16042 16042 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615935760752 140617740180098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16055] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16055/stat : 16055 (java) S 16042 16042 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615934706720 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16056] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16056/stat : 16056 (java) S 16042 16042 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008158 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615933653872 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16057] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16057/stat : 16057 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615932602192 140617740187547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16058] ppid=16042 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16058/stat : 16058 (java) S 16042 16042 15998 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615931550576 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16059] ppid=16042 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16059/stat : 16059 (java) S 16042 16042 15998 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615930497776 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16060] ppid=16042 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/16044/task/16060/stat : 16060 (java) S 16042 16042 15998 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615929444976 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16061] ppid=16042 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/16044/task/16061/stat : 16061 (java) S 16042 16042 15998 0 -1 1077944384 778 0 0 0 7 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615928392176 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16062] ppid=16042 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28904845312 10232 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42380 KiB [startup+0.309683 s]* /proc/loadavg: 7.79 8.11 7.92 3/212 16063 /proc/meminfo: memFree=31419028/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28231644 memory=49604 CPUtime=0.52 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 10768 0 0 0 48 4 0 0 20 0 20 0 421008155 28909203456 12401 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7057911 12401 3349 1 0 7019032 0 [pid=16044/tid=16045] ppid=16042 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) R 16042 16042 15998 0 -1 4202560 7733 0 0 0 27 3 0 0 20 0 20 0 421008155 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617744400064 140617740190877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16049] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16049/stat : 16049 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617287891216 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16050] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16050/stat : 16050 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617286839440 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16051] ppid=16042 vsize=28231644 memory=140248197720751 CPUtime=0 cores=0-7 /proc/16044/task/16051/stat : 16051 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617285786640 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16052] ppid=16042 vsize=28231644 memory=140248197723056 CPUtime=0 cores=0-7 /proc/16044/task/16052/stat : 16052 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617284733840 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16053] ppid=16042 vsize=28231644 memory=140248197725360 CPUtime=0 cores=0-7 /proc/16044/task/16053/stat : 16053 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28909203456 12467 33554432000 4194304 4196468 140735269574496 140617283681040 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16054] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16054/stat : 16054 (java) S 16042 16042 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421008158 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615935760752 140617740180098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16055] ppid=16042 vsize=28231644 memory=280496395464592 CPUtime=0 cores=0-7 /proc/16044/task/16055/stat : 16055 (java) S 16042 16042 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008158 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615934706720 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16056] ppid=16042 vsize=28231644 memory=280496395462288 CPUtime=0 cores=0-7 /proc/16044/task/16056/stat : 16056 (java) S 16042 16042 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008158 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615933653872 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16057] ppid=16042 vsize=28231644 memory=280496395469200 CPUtime=0 cores=0-7 /proc/16044/task/16057/stat : 16057 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615932602192 140617740187547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16058] ppid=16042 vsize=28231644 memory=280496395410448 CPUtime=0.02 cores=0-7 /proc/16044/task/16058/stat : 16058 (java) S 16042 16042 15998 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615931550576 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16059] ppid=16042 vsize=28231644 memory=280496395483024 CPUtime=0.02 cores=0-7 /proc/16044/task/16059/stat : 16059 (java) S 16042 16042 15998 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615930497776 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16060] ppid=16042 vsize=28231644 memory=280496395489936 CPUtime=0.04 cores=0-7 /proc/16044/task/16060/stat : 16060 (java) R 16042 16042 15998 0 -1 4202560 464 0 0 0 4 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615929435360 140617720868484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16061] ppid=16042 vsize=28231644 memory=280496395487632 CPUtime=0.12 cores=0-7 /proc/16044/task/16061/stat : 16061 (java) S 16042 16042 15998 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615928392176 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16062] ppid=16042 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008161 28909203456 12467 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51056 KiB [startup+0.700904 s] /proc/loadavg: 7.79 8.11 7.92 6/212 16063 /proc/meminfo: memFree=31396660/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28233768 memory=96148 CPUtime=1.99 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 16343 0 0 0 194 5 0 0 20 0 20 0 421008155 28911378432 24037 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7058442 24037 3451 1 0 7019544 0 [pid=16044/tid=16045] ppid=16042 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) R 16042 16042 15998 0 -1 4202560 8978 0 0 0 64 3 0 0 20 0 20 0 421008155 28911378432 24037 33554432000 4194304 4196468 140735269574496 140617744387696 140617724249438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28911378432 24037 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008156 28911378432 24037 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008156 28911378432 24037 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 ################ # More data... # ################ [pid=16044/tid=16062] ppid=16042 vsize=28768328 memory=140248197950304 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008161 29458767872 60169 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28768328 memory=140248197950400 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008161 29458767872 60169 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 5.44 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 242128 KiB [startup+3.11111 s] /proc/loadavg: 7.79 8.11 7.92 13/220 16135 /proc/meminfo: memFree=31194056/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28902484 memory=283020 CPUtime=17.54 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 36423 0 0 0 1732 22 0 0 20 0 28 0 421008155 29596143616 70755 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7225621 70755 3532 1 0 7186723 0 [pid=16044/tid=16045] ppid=16042 vsize=28902484 memory=266176 CPUtime=1.42 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) S 16042 16042 15998 0 -1 1077944384 11303 0 0 0 137 5 0 0 20 0 28 0 421008155 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617744409728 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28902484 memory=1452 CPUtime=0.02 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28902484 memory=215036 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28902484 memory=56 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16049] ppid=16042 vsize=28902484 memory=2996107 CPUtime=0.03 cores=0-7 /proc/16044/task/16049/stat : 16049 (java) S 16042 16042 15998 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617287891216 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16050] ppid=16042 vsize=28902484 memory=2997369 CPUtime=0.01 cores=0-7 /proc/16044/task/16050/stat : 16050 (java) S 16042 16042 15998 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617286839440 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16051] ppid=16042 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16051/stat : 16051 (java) S 16042 16042 15998 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617285786640 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16052] ppid=16042 vsize=28902484 memory=22344 CPUtime=0.01 cores=0-7 /proc/16044/task/16052/stat : 16052 (java) S 16042 16042 15998 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617284733840 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16053] ppid=16042 vsize=28902484 memory=2004 CPUtime=0.01 cores=0-7 /proc/16044/task/16053/stat : 16053 (java) S 16042 16042 15998 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 70755 33554432000 4194304 4196468 140735269574496 140617283681040 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16054] ppid=16042 vsize=28902484 memory=984 CPUtime=0 cores=0-7 /proc/16044/task/16054/stat : 16054 (java) S 16042 16042 15998 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615935760752 140617740180098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16055] ppid=16042 vsize=28902484 memory=1328 CPUtime=0 cores=0-7 /proc/16044/task/16055/stat : 16055 (java) S 16042 16042 15998 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615934706784 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16056] ppid=16042 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16056/stat : 16056 (java) S 16042 16042 15998 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615933653888 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16057] ppid=16042 vsize=28902484 memory=140248197905088 CPUtime=0 cores=0-7 /proc/16044/task/16057/stat : 16057 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615932602192 140617740187547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16058] ppid=16042 vsize=28902484 memory=280496395882048 CPUtime=2.4 cores=0-7 /proc/16044/task/16058/stat : 16058 (java) R 16042 16042 15998 0 -1 4202560 4963 0 0 0 239 1 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615931536784 140617723556560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16059] ppid=16042 vsize=28902484 memory=0 CPUtime=2.15 cores=0-7 /proc/16044/task/16059/stat : 16059 (java) R 16042 16042 15998 0 -1 4202560 4522 0 0 0 214 1 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615930484560 140617740190298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16060] ppid=16042 vsize=28902484 memory=0 CPUtime=2.1 cores=0-7 /proc/16044/task/16060/stat : 16060 (java) R 16042 16042 15998 0 -1 4202560 4445 0 0 0 209 1 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615929426304 140617740190298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16061] ppid=16042 vsize=28902484 memory=8030883985213620294 CPUtime=1.22 cores=0-7 /proc/16044/task/16061/stat : 16061 (java) R 16042 16042 15998 0 -1 1077944384 6830 0 0 0 120 2 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615928387744 140617740179157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16062] ppid=16042 vsize=28902484 memory=2996465 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28902484 memory=303492908388087255 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16128] ppid=16042 vsize=28902484 memory=7452728842579373158 CPUtime=0.53 cores=0-7 /proc/16044/task/16128/stat : 16128 (java) R 16042 16042 15998 0 -1 4202560 20 0 0 0 53 0 0 0 20 0 28 0 421008396 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615913927600 140617386393810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16129] ppid=16042 vsize=28902484 memory=1452 CPUtime=0.41 cores=0-7 /proc/16044/task/16129/stat : 16129 (java) R 16042 16042 15998 0 -1 4202560 24 0 0 0 41 0 0 0 20 0 28 0 421008396 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615912874184 140617386114790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16130] ppid=16042 vsize=28902484 memory=252896 CPUtime=0.43 cores=0-7 /proc/16044/task/16130/stat : 16130 (java) R 16042 16042 15998 0 -1 4202560 60 0 0 0 43 0 0 0 20 0 28 0 421008396 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615914978184 140617384386565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16131] ppid=16042 vsize=28902484 memory=11976 CPUtime=0.64 cores=0-7 /proc/16044/task/16131/stat : 16131 (java) R 16042 16042 15998 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 28 0 421008396 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615908665560 140617388287814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16132] ppid=16042 vsize=28902484 memory=7692 CPUtime=0.47 cores=0-7 /proc/16044/task/16132/stat : 16132 (java) R 16042 16042 15998 0 -1 4202560 19 0 0 0 47 0 0 0 20 0 28 0 421008396 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615911823776 140617386395142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16133] ppid=16042 vsize=28902484 memory=512 CPUtime=0.58 cores=0-7 /proc/16044/task/16133/stat : 16133 (java) R 16042 16042 15998 0 -1 4202560 28 0 0 0 58 0 0 0 20 0 28 0 421008397 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615906557768 140617384891236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16134] ppid=16042 vsize=28902484 memory=1564 CPUtime=0.34 cores=0-7 /proc/16044/task/16134/stat : 16134 (java) R 16042 16042 15998 0 -1 4202560 28 0 0 0 34 0 0 0 20 0 28 0 421008397 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615905504728 140617387833400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16135] ppid=16042 vsize=28902484 memory=1452 CPUtime=0.44 cores=0-7 /proc/16044/task/16135/stat : 16135 (java) R 16042 16042 15998 0 -1 4202560 80 0 0 0 44 0 0 0 20 0 28 0 421008398 29596143616 70755 33554432000 4194304 4196468 140735269574496 140615904452760 140617384673869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 17.54 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 284472 KiB [startup+3.40563 s] # the end of solver process 16042 was just reported to runsolver # cumulated CPU time of all completed processes: user=19.1165 s, system=0.233851 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20211 s] /proc/loadavg: 7.79 8.11 7.92 13/220 16135 /proc/meminfo: memFree=31194056/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 [pid=16044] ppid=16042 vsize=28902484 memory=289448 CPUtime=18.26 cores=0-7 /proc/16044/stat : 16044 (java) S 16042 16042 15998 0 -1 1077944320 36524 0 0 0 1804 22 0 0 20 0 28 0 421008155 29596143616 72362 33554432000 4194304 4196468 140735269574496 140735269557040 140617740168951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 /proc/16044/statm: 7225621 72362 3532 1 0 7186723 0 [pid=16044/tid=16045] ppid=16042 vsize=28902484 memory=0 CPUtime=1.42 cores=0-7 /proc/16044/task/16045/stat : 16045 (java) S 16042 16042 15998 0 -1 1077944384 11303 0 0 0 137 5 0 0 20 0 28 0 421008155 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617744409728 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16046] ppid=16042 vsize=28902484 memory=0 CPUtime=0.02 cores=0-7 /proc/16044/task/16046/stat : 16046 (java) S 16042 16042 15998 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617701128848 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16047] ppid=16042 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16047/stat : 16047 (java) S 16042 16042 15998 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617289996816 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16048] ppid=16042 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16048/stat : 16048 (java) S 16042 16042 15998 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617288944016 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16049] ppid=16042 vsize=28902484 memory=0 CPUtime=0.03 cores=0-7 /proc/16044/task/16049/stat : 16049 (java) S 16042 16042 15998 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617287891216 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16050] ppid=16042 vsize=28902484 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16050/stat : 16050 (java) S 16042 16042 15998 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617286839440 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16051] ppid=16042 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/16044/task/16051/stat : 16051 (java) S 16042 16042 15998 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617285786640 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16052] ppid=16042 vsize=28902484 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16052/stat : 16052 (java) S 16042 16042 15998 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617284733840 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16053] ppid=16042 vsize=28902484 memory=0 CPUtime=0.01 cores=0-7 /proc/16044/task/16053/stat : 16053 (java) S 16042 16042 15998 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 421008156 29596143616 72362 33554432000 4194304 4196468 140735269574496 140617283681040 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16054] ppid=16042 vsize=28902484 memory=33 CPUtime=0 cores=0-7 /proc/16044/task/16054/stat : 16054 (java) S 16042 16042 15998 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615935760752 140617740180098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16055] ppid=16042 vsize=28902484 memory=40 CPUtime=0 cores=0-7 /proc/16044/task/16055/stat : 16055 (java) S 16042 16042 15998 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615934706784 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16056] ppid=16042 vsize=28902484 memory=780 CPUtime=0 cores=0-7 /proc/16044/task/16056/stat : 16056 (java) S 16042 16042 15998 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421008158 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615933653888 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16057] ppid=16042 vsize=28902484 memory=4160 CPUtime=0 cores=0-7 /proc/16044/task/16057/stat : 16057 (java) S 16042 16042 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615932602192 140617740187547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16058] ppid=16042 vsize=28902484 memory=1692 CPUtime=2.43 cores=0-7 /proc/16044/task/16058/stat : 16058 (java) R 16042 16042 15998 0 -1 4202560 4973 0 0 0 242 1 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615931549680 140617723669381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16059] ppid=16042 vsize=28902484 memory=1028 CPUtime=2.19 cores=0-7 /proc/16044/task/16059/stat : 16059 (java) R 16042 16042 15998 0 -1 4202560 4533 0 0 0 218 1 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615930489192 140617717764496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16060] ppid=16042 vsize=28902484 memory=1060 CPUtime=2.18 cores=0-7 /proc/16044/task/16060/stat : 16060 (java) R 16042 16042 15998 0 -1 4202560 4457 0 0 0 217 1 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615929431520 140617725294394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16061] ppid=16042 vsize=28902484 memory=2828 CPUtime=1.25 cores=0-7 /proc/16044/task/16061/stat : 16061 (java) R 16042 16042 15998 0 -1 1077944384 6887 0 0 0 123 2 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615928392176 140617740180098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16062] ppid=16042 vsize=28902484 memory=756 CPUtime=0 cores=0-7 /proc/16044/task/16062/stat : 16062 (java) S 16042 16042 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615927339616 140617740179157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16063] ppid=16042 vsize=28902484 memory=1548 CPUtime=0 cores=0-7 /proc/16044/task/16063/stat : 16063 (java) S 16042 16042 15998 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 421008161 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615926286896 140617740180098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16128] ppid=16042 vsize=28902484 memory=7980 CPUtime=0.58 cores=0-7 /proc/16044/task/16128/stat : 16128 (java) R 16042 16042 15998 0 -1 4202560 21 0 0 0 58 0 0 0 20 0 28 0 421008396 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615913927472 140617384386363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16129] ppid=16042 vsize=28902484 memory=33 CPUtime=0.49 cores=0-7 /proc/16044/task/16129/stat : 16129 (java) R 16042 16042 15998 0 -1 4202560 24 0 0 0 49 0 0 0 20 0 28 0 421008396 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615912874200 140617384385980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16130] ppid=16042 vsize=28902484 memory=-3252517613198930781 CPUtime=0.46 cores=0-7 /proc/16044/task/16130/stat : 16130 (java) R 16042 16042 15998 0 -1 4202560 63 0 0 0 46 0 0 0 20 0 28 0 421008396 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615914979792 140617388204227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16131] ppid=16042 vsize=28902484 memory=7018967017116286320 CPUtime=0.73 cores=0-7 /proc/16044/task/16131/stat : 16131 (java) R 16042 16042 15998 0 -1 4202560 56 0 0 0 73 0 0 0 20 0 28 0 421008396 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615908662976 140617384386316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16132] ppid=16042 vsize=28902484 memory=5700 CPUtime=0.52 cores=0-7 /proc/16044/task/16132/stat : 16132 (java) R 16042 16042 15998 0 -1 4202560 19 0 0 0 52 0 0 0 20 0 28 0 421008396 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615911821440 140617384172845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16133] ppid=16042 vsize=28902484 memory=288230574492221466 CPUtime=0.67 cores=0-7 /proc/16044/task/16133/stat : 16133 (java) R 16042 16042 15998 0 -1 4202560 29 0 0 0 67 0 0 0 20 0 28 0 421008397 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615906557936 140617384674948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16134] ppid=16042 vsize=28902484 memory=288230617509003574 CPUtime=0.4 cores=0-7 /proc/16044/task/16134/stat : 16134 (java) R 16042 16042 15998 0 -1 4202560 28 0 0 0 40 0 0 0 20 0 28 0 421008397 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615905504576 140617387189513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 [pid=16044/tid=16135] ppid=16042 vsize=28902484 memory=15252640887999028 CPUtime=0.53 cores=0-7 /proc/16044/task/16135/stat : 16135 (java) R 16042 16042 15998 0 -1 4202560 80 0 0 0 53 0 0 0 20 0 28 0 421008398 29596143616 72362 33554432000 4194304 4196468 140735269574496 140615904452912 140617388751988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140735269581802 140735269581974 140735269581974 140735269584847 0 Current children cumulated CPU time: 18.26 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 290900 KiB [startup+3.40143 s] /proc/loadavg: 7.79 8.11 7.92 13/220 16135 /proc/meminfo: memFree=31194056/32770624 swapFree=66982588/67108860 [pid=16042] ppid=16039 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16042/stat : 16042 (xcsp3-exec) S 16039 16042 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421008155 115843072 363 33554432000 4194304 5098028 140724987813632 140724987811736 140689718981244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12447744 140724987814773 140724987815017 140724987815017 140724987817930 0 /proc/16042/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 3.40568 CPU time (s): 19.3504 CPU user time (s): 19.1165 CPU system time (s): 0.233851 CPU usage (%): 568.18 Max. virtual memory (cumulated for all children) (KiB): 29015612 Max. memory (cumulated for all children) (KiB): 297380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.1165 system time used= 0.233851 maximum resident set size= 299100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37303 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= 4312 involuntary context switches= 488 # summary of solver processes directly reported to runsolver: # pid: 16042 # total CPU time (s): 19.3504 # total CPU user time (s): 19.1165 # total CPU system time (s): 0.233851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.049399 second user time and 0.075632 second system time The end
Begin job on node121 at 2019-09-14 09:50:13 IDJOB=4393775 IDBENCH=140480 IDSOLVER=2841 FILE ID=node121/4393775-1568447455 RUNJOBID= node121-1568447413-16025 PBS_JOBID= 21702353 Free space on /tmp= 61412 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-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-4393775-1568447455/watcher-4393775-1568447455 -o /tmp/evaluation-result-4393775-1568447455/solver-4393775-1568447455 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1080407078 HOME/instance-4393775-1568447455.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=1080407078 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31454020 kB MemAvailable: 31911152 kB Buffers: 179668 kB Cached: 572188 kB SwapCached: 18184 kB Active: 415448 kB Inactive: 357980 kB Active(anon): 7120 kB Inactive(anon): 46036 kB Active(file): 408328 kB Inactive(file): 311944 kB Unevictable: 109308 kB Mlocked: 109308 kB SwapTotal: 67108860 kB SwapFree: 66982588 kB Dirty: 25804 kB Writeback: 0 kB AnonPages: 113000 kB Mapped: 35700 kB Shmem: 23012 kB Slab: 133924 kB SReclaimable: 105392 kB SUnreclaim: 28532 kB KernelStack: 3296 kB PageTables: 4848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61388 MiB End job on node121 at 2019-09-14 09:50:16