Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 10 | 55.743 | 8.22432 |
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.1546 |
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-4394478-1568447474.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394478-1568447474.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.49/1.69 c solve instance... 5.63/1.85 o 15 6.27/1.93 o 14 6.94/2.06 o 13 6.94/2.09 o 12 9.85/2.49 o 11 10.61/2.51 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (127/129) 10.61/2.51 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 10.61/2.51 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 10.61/2.51 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 10.61/2.51 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 10.61/2.51 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 10.61/2.51 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (127/129) 10.61/2.51 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 10.61/2.51 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 10.61/2.51 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 10.61/2.51 at org.chocosolver.solver.Solver.repair(Solver.java:443) 10.61/2.51 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 10.61/2.51 at org.chocosolver.solver.Solver.solve(Solver.java:262) 10.61/2.51 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 10.61/2.51 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 10.61/2.51 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 10.61/2.51 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 10.61/2.51 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 10.61/2.51 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 10.61/2.51 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 10.61/2.51 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 10.61/2.51 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 10.61/2.51 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 10.61/2.51 o 10 55.65/8.21 s OPTIMUM FOUND 55.65/8.21 v <instantiation> 55.65/8.21 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> 55.65/8.21 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> 55.65/8.21 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 (15110 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-4394478-1568447474/watcher-4394478-1568447474 -o /tmp/evaluation-result-4394478-1568447474/solver-4394478-1568447474 -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 415422837 HOME/instance-4394478-1568447474.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=18353, runsolver pid=18350 [startup+0.100113 s]* /proc/loadavg: 7.50 8.01 7.88 2/212 18374 /proc/meminfo: memFree=31502968/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28227388 memory=29876 CPUtime=0.12 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 5873 0 0 0 11 1 0 0 20 0 20 0 420909024 28904845312 7469 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7056847 7469 3151 1 0 7019032 0 [pid=18355/tid=18356] ppid=18353 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17196 0 -1 4202560 3786 0 0 0 8 1 0 0 20 0 20 0 420909024 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579329069952 140579324845462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28227388 memory=288370596614776448 CPUtime=0 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18360] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579274296464 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18361] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579273242896 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18362] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579272190352 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18363] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579271137808 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18364] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 7469 33554432000 4194304 4196468 140736726331824 140579270085264 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18365] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909026 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577990261232 140579324844674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18366] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420909027 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577989207456 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18367] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420909027 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577988154864 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18368] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577987103440 140579324852123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18369] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17196 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577986050032 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18370] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18370/stat : 18370 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577984997488 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18371] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18371/stat : 18371 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577983944944 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18372] ppid=18353 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) S 18353 18353 17196 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577982892400 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 7469 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31332 KiB [startup+0.210253 s]* /proc/loadavg: 7.50 8.01 7.88 2/212 18374 /proc/meminfo: memFree=31489980/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28227388 memory=41144 CPUtime=0.33 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 9506 0 0 0 30 3 0 0 20 0 20 0 420909024 28904845312 10286 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7056847 10286 3304 1 0 7019032 0 [pid=18355/tid=18356] ppid=18353 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17196 0 -1 4202560 6663 0 0 0 17 2 0 0 20 0 20 0 420909024 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579329063248 140579308914014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28227388 memory=140220463082068 CPUtime=0 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18360] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579274296464 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18361] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579273242896 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18362] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579272190352 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18363] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579271137808 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18364] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28904845312 10286 33554432000 4194304 4196468 140736726331824 140579270085264 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18365] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420909026 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577990261232 140579324844674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18366] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420909027 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577989207456 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18367] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420909027 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577988154864 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18368] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577987103440 140579324852123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18369] ppid=18353 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17196 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577986050032 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18370] ppid=18353 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18355/task/18370/stat : 18370 (java) S 18353 18353 17196 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577984997488 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18371] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18371/stat : 18371 (java) S 18353 18353 17196 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577983944944 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18372] ppid=18353 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) S 18353 18353 17196 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577982892400 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28904845312 10286 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42600 KiB [startup+0.309506 s]* /proc/loadavg: 7.50 8.01 7.88 3/212 18374 /proc/meminfo: memFree=31473516/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28231644 memory=49420 CPUtime=0.51 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 10759 0 0 0 47 4 0 0 20 0 20 0 420909024 28909203456 12355 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7057911 12355 3337 1 0 7019032 0 [pid=18355/tid=18356] ppid=18353 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17196 0 -1 4202560 7720 0 0 0 26 4 0 0 20 0 20 0 420909024 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579329064640 140579324857117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18360] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579274296464 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18361] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579273242896 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18362] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579272190352 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18363] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579271137808 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18364] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909025 28909203456 12355 33554432000 4194304 4196468 140736726331824 140579270085264 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18365] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17196 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420909026 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577990261232 140579324844674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18366] ppid=18353 vsize=28231644 memory=280440695102848 CPUtime=0 cores=0-7 /proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420909027 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577989207456 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18367] ppid=18353 vsize=28231644 memory=280440695107456 CPUtime=0 cores=0-7 /proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420909027 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577988154864 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18368] ppid=18353 vsize=28231644 memory=280440695112064 CPUtime=0 cores=0-7 /proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577987103440 140579324852123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18369] ppid=18353 vsize=28231644 memory=280440695116672 CPUtime=0.02 cores=0-7 /proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17196 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 20 0 420909030 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577986050032 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18370] ppid=18353 vsize=28231644 memory=280440695121280 CPUtime=0.03 cores=0-7 /proc/18355/task/18370/stat : 18370 (java) S 18353 18353 17196 0 -1 1077944384 334 0 0 0 3 0 0 0 20 0 20 0 420909030 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577984997488 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18371] ppid=18353 vsize=28231644 memory=280440695125888 CPUtime=0.01 cores=0-7 /proc/18355/task/18371/stat : 18371 (java) R 18353 18353 17196 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 20 0 420909030 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577983935328 140579309733098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18372] ppid=18353 vsize=28231644 memory=280440695130496 CPUtime=0.12 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) R 18353 18353 17196 0 -1 4202560 807 0 0 0 12 0 0 0 20 0 20 0 420909030 28909203456 12355 33554432000 4194304 4196468 140736726331824 140577982892400 140579324845462 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909030 28909203456 12420 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420909030 28909203456 12420 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50876 KiB [startup+0.700871 s] /proc/loadavg: 7.50 8.01 7.88 1/212 18374 /proc/meminfo: memFree=31478560/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28231720 memory=62304 CPUtime=0.83 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 13004 0 0 0 77 6 0 0 20 0 20 0 420909024 28909281280 15576 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7057930 15576 3416 1 0 7019032 0 [pid=18355/tid=18356] ppid=18353 vsize=28231720 memory=0 CPUtime=0.4 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17196 0 -1 4202560 8362 0 0 0 36 4 0 0 20 0 20 0 420909024 28909281280 15576 33554432000 4194304 4196468 140736726331824 140579329069120 140579324845462 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28231720 memory=140220347753344 CPUtime=0 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909281280 15576 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28231720 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420909025 28909281280 15576 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28231720 memory=1052 CPUtime=0 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420909025 28909281280 15576 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 ################ # More data... # ################ [pid=18355/tid=18372] ppid=18353 vsize=28768328 memory=288230621803970871 CPUtime=1.44 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) S 18353 18353 17196 0 -1 1077944384 6084 0 0 0 142 2 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577982892400 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28768328 memory=15262527902714418 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18423] ppid=18353 vsize=28768328 memory=0 CPUtime=4.04 cores=0-7 /proc/18355/task/18423/stat : 18423 (java) R 18353 18353 17196 0 -1 4202560 71 0 0 0 404 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577627668176 140578934990895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18424] ppid=18353 vsize=28768328 memory=0 CPUtime=3.86 cores=0-7 /proc/18355/task/18424/stat : 18424 (java) R 18353 18353 17196 0 -1 4202560 42 0 0 0 386 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577625564248 140578937106289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18425] ppid=18353 vsize=28768328 memory=33700 CPUtime=3.35 cores=0-7 /proc/18355/task/18425/stat : 18425 (java) R 18353 18353 17196 0 -1 4202560 455 0 0 0 334 1 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577630825816 140578937105549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18426] ppid=18353 vsize=28768328 memory=6944656592387989600 CPUtime=3.8 cores=0-7 /proc/18355/task/18426/stat : 18426 (java) R 18353 18353 17196 0 -1 4202560 120 0 0 0 380 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577628720776 140578936100405 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18427] ppid=18353 vsize=28768328 memory=6944656592455359580 CPUtime=3.73 cores=0-7 /proc/18355/task/18427/stat : 18427 (java) R 18353 18353 17196 0 -1 4202560 131 0 0 0 373 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577632931800 140578935510156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18428] ppid=18353 vsize=28768328 memory=0 CPUtime=3.8 cores=0-7 /proc/18355/task/18428/stat : 18428 (java) R 18353 18353 17196 0 -1 4202560 52 0 0 0 380 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577629776016 140578935887125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18429] ppid=18353 vsize=28768328 memory=0 CPUtime=3.93 cores=0-7 /proc/18355/task/18429/stat : 18429 (java) R 18353 18353 17196 0 -1 4202560 130 0 0 0 393 0 0 0 20 0 28 0 420909276 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577631877800 140578935887009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18430] ppid=18353 vsize=28768328 memory=0 CPUtime=3.79 cores=0-7 /proc/18355/task/18430/stat : 18430 (java) R 18353 18353 17196 0 -1 4202560 69 0 0 0 379 0 0 0 20 0 28 0 420909277 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577626615688 140578937106128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 47.74 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 396604 KiB [startup+8.00176 s]* /proc/loadavg: 7.20 7.93 7.86 9/220 18430 /proc/meminfo: memFree=31137156/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28768328 memory=395148 CPUtime=54.13 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 38430 0 0 0 5382 31 0 0 20 0 28 0 420909024 29458767872 98787 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7192082 98787 3540 1 0 7153184 0 [pid=18355/tid=18356] ppid=18353 vsize=28768328 memory=1398722017469774279 CPUtime=1.42 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) S 18353 18353 17196 0 -1 1077944384 10529 0 0 0 136 6 0 0 20 0 28 0 420909024 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579329074304 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28768328 memory=6656426216303648864 CPUtime=0.04 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 194 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18360] ppid=18353 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17196 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579274296464 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18361] ppid=18353 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17196 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579273242896 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18362] ppid=18353 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17196 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579272190352 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18363] ppid=18353 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17196 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579271137808 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18364] ppid=18353 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17196 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579270085264 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18365] ppid=18353 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17196 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 28 0 420909026 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577990261232 140579324844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18366] ppid=18353 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 420909027 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577989207520 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18367] ppid=18353 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420909027 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577988154880 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18368] ppid=18353 vsize=28768328 memory=2319691590952825653 CPUtime=0 cores=0-7 /proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577987103440 140579324852123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18369] ppid=18353 vsize=28768328 memory=-1 CPUtime=3.65 cores=0-7 /proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17196 0 -1 1077944384 5115 0 0 0 362 3 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577986050032 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18370] ppid=18353 vsize=28768328 memory=0 CPUtime=3.67 cores=0-7 /proc/18355/task/18370/stat : 18370 (java) S 18353 18353 17196 0 -1 1077944384 6167 0 0 0 366 1 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577984997488 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18371] ppid=18353 vsize=28768328 memory=7523092097823567214 CPUtime=4.03 cores=0-7 /proc/18355/task/18371/stat : 18371 (java) S 18353 18353 17196 0 -1 1077944384 5168 0 0 0 402 1 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577983944944 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18372] ppid=18353 vsize=28768328 memory=1756 CPUtime=1.44 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) S 18353 18353 17196 0 -1 1077944384 6084 0 0 0 142 2 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577982892400 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28768328 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28768328 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18423] ppid=18353 vsize=28768328 memory=140220347771600 CPUtime=4.8 cores=0-7 /proc/18355/task/18423/stat : 18423 (java) R 18353 18353 17196 0 -1 4202560 73 0 0 0 480 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577627668312 140578935887260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18424] ppid=18353 vsize=28768328 memory=140220347771696 CPUtime=4.61 cores=0-7 /proc/18355/task/18424/stat : 18424 (java) R 18353 18353 17196 0 -1 4202560 44 0 0 0 461 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577625564312 140578935743942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18425] ppid=18353 vsize=28768328 memory=140220347771792 CPUtime=4.09 cores=0-7 /proc/18355/task/18425/stat : 18425 (java) R 18353 18353 17196 0 -1 4202560 547 0 0 0 408 1 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577630826136 140578938873760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18426] ppid=18353 vsize=28768328 memory=140220347771888 CPUtime=4.51 cores=0-7 /proc/18355/task/18426/stat : 18426 (java) R 18353 18353 17196 0 -1 4202560 123 0 0 0 451 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577628720720 140578940386680 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18427] ppid=18353 vsize=28768328 memory=280440695490400 CPUtime=4.48 cores=0-7 /proc/18355/task/18427/stat : 18427 (java) R 18353 18353 17196 0 -1 4202560 135 0 0 0 448 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577632932264 140578935886928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18428] ppid=18353 vsize=28768328 memory=288230621803970871 CPUtime=4.6 cores=0-7 /proc/18355/task/18428/stat : 18428 (java) R 18353 18353 17196 0 -1 4202560 56 0 0 0 460 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577629774600 140578937106118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18429] ppid=18353 vsize=28768328 memory=0 CPUtime=4.6 cores=0-7 /proc/18355/task/18429/stat : 18429 (java) R 18353 18353 17196 0 -1 4202560 132 0 0 0 460 0 0 0 20 0 28 0 420909276 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577631879960 140578935886970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18430] ppid=18353 vsize=28768328 memory=0 CPUtime=4.56 cores=0-7 /proc/18355/task/18430/stat : 18430 (java) R 18353 18353 17196 0 -1 4202560 73 0 0 0 456 0 0 0 20 0 28 0 420909277 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577626616136 140578939120800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 54.13 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 396604 KiB [startup+8.20176 s] /proc/loadavg: 7.20 7.93 7.86 9/220 18430 /proc/meminfo: memFree=31137156/32770624 swapFree=67004236/67108860 [pid=18353] ppid=18350 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17196 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420909024 115843072 364 33554432000 4194304 5098028 140720828217232 140720828215336 140716237849212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18071552 140720828220278 140720828220521 140720828220521 140720828223434 0 /proc/18353/statm: 28282 364 305 221 0 87 0 [pid=18355] ppid=18353 vsize=28768328 memory=395148 CPUtime=55.65 cores=0-7 /proc/18355/stat : 18355 (java) S 18353 18353 17196 0 -1 1077944320 38438 0 0 0 5534 31 0 0 20 0 28 0 420909024 29458767872 98787 33554432000 4194304 4196468 140736726331824 140736726314368 140579324833527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 /proc/18355/statm: 7192082 98787 3540 1 0 7153184 0 [pid=18355/tid=18356] ppid=18353 vsize=28768328 memory=7523376918531162212 CPUtime=1.42 cores=0-7 /proc/18355/task/18356/stat : 18356 (java) S 18353 18353 17196 0 -1 1077944384 10529 0 0 0 136 6 0 0 20 0 28 0 420909024 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579329074304 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18357] ppid=18353 vsize=28768328 memory=5938955344140265319 CPUtime=0.04 cores=0-7 /proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17196 0 -1 1077944384 194 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579277454096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18358] ppid=18353 vsize=28768328 memory=7013881775920604006 CPUtime=0.01 cores=0-7 /proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17196 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579276401552 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18359] ppid=18353 vsize=28768328 memory=29879676902 CPUtime=0.04 cores=0-7 /proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17196 0 -1 1077944384 85 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579275349008 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18360] ppid=18353 vsize=28768328 memory=142 CPUtime=0.01 cores=0-7 /proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17196 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579274296464 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18361] ppid=18353 vsize=28768328 memory=280440695730824 CPUtime=0.03 cores=0-7 /proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17196 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579273242896 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18362] ppid=18353 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17196 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579272190352 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18363] ppid=18353 vsize=28768328 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17196 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579271137808 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18364] ppid=18353 vsize=28768328 memory=288230621803970871 CPUtime=0.02 cores=0-7 /proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17196 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 28 0 420909025 29458767872 98787 33554432000 4194304 4196468 140736726331824 140579270085264 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18365] ppid=18353 vsize=28768328 memory=15262527902714418 CPUtime=0.01 cores=0-7 /proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17196 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 28 0 420909026 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577990261232 140579324844674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18366] ppid=18353 vsize=28768328 memory=2 CPUtime=0 cores=0-7 /proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 420909027 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577989207520 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18367] ppid=18353 vsize=28768328 memory=7379800448099705685 CPUtime=0 cores=0-7 /proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420909027 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577988154880 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18368] ppid=18353 vsize=28768328 memory=6298406594689455462 CPUtime=0 cores=0-7 /proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577987103440 140579324852123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18369] ppid=18353 vsize=28768328 memory=7813013535760477290 CPUtime=3.66 cores=0-7 /proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17196 0 -1 1077944384 5115 0 0 0 363 3 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577986050032 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18370] ppid=18353 vsize=28768328 memory=7512114578044973668 CPUtime=3.67 cores=0-7 /proc/18355/task/18370/stat : 18370 (java) S 18353 18353 17196 0 -1 1077944384 6167 0 0 0 366 1 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577984997488 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18371] ppid=18353 vsize=28768328 memory=8028627753016715090 CPUtime=4.03 cores=0-7 /proc/18355/task/18371/stat : 18371 (java) S 18353 18353 17196 0 -1 1077944384 5168 0 0 0 402 1 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577983944944 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18372] ppid=18353 vsize=28768328 memory=417 CPUtime=1.44 cores=0-7 /proc/18355/task/18372/stat : 18372 (java) S 18353 18353 17196 0 -1 1077944384 6084 0 0 0 142 2 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577982892400 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18373] ppid=18353 vsize=28768328 memory=7088771780662946468 CPUtime=0 cores=0-7 /proc/18355/task/18373/stat : 18373 (java) S 18353 18353 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577981840096 140579324843733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18374] ppid=18353 vsize=28768328 memory=-7965959130280075168 CPUtime=0 cores=0-7 /proc/18355/task/18374/stat : 18374 (java) S 18353 18353 17196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 420909030 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577980787632 140579324844674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18423] ppid=18353 vsize=28768328 memory=-7882018838379555936 CPUtime=4.98 cores=0-7 /proc/18355/task/18423/stat : 18423 (java) R 18353 18353 17196 0 -1 4202560 73 0 0 0 498 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577627668312 140578939315084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18424] ppid=18353 vsize=28768328 memory=7976406965554101975 CPUtime=4.8 cores=0-7 /proc/18355/task/18424/stat : 18424 (java) R 18353 18353 17196 0 -1 4202560 44 0 0 0 480 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577625564312 140578937028538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18425] ppid=18353 vsize=28768328 memory=1456 CPUtime=4.28 cores=0-7 /proc/18355/task/18425/stat : 18425 (java) R 18353 18353 17196 0 -1 4202560 551 0 0 0 427 1 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577630826136 140578937105496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18426] ppid=18353 vsize=28768328 memory=395144 CPUtime=4.7 cores=0-7 /proc/18355/task/18426/stat : 18426 (java) R 18353 18353 17196 0 -1 4202560 124 0 0 0 470 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577628720720 140578933783184 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18427] ppid=18353 vsize=28768328 memory=0 CPUtime=4.67 cores=0-7 /proc/18355/task/18427/stat : 18427 (java) R 18353 18353 17196 0 -1 4202560 135 0 0 0 467 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577632932264 140578936100365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18428] ppid=18353 vsize=28768328 memory=219043332132710 CPUtime=4.79 cores=0-7 /proc/18355/task/18428/stat : 18428 (java) R 18353 18353 17196 0 -1 4202560 56 0 0 0 479 0 0 0 20 0 28 0 420909275 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577629774552 140579304558586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18429] ppid=18353 vsize=28768328 memory=219043332132711 CPUtime=4.79 cores=0-7 /proc/18355/task/18429/stat : 18429 (java) R 18353 18353 17196 0 -1 4202560 135 0 0 0 479 0 0 0 20 0 28 0 420909276 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577631880488 140578937105496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 [pid=18355/tid=18430] ppid=18353 vsize=28768328 memory=0 CPUtime=4.75 cores=0-7 /proc/18355/task/18430/stat : 18430 (java) R 18353 18353 17196 0 -1 4202560 73 0 0 0 475 0 0 0 20 0 28 0 420909277 29458767872 98787 33554432000 4194304 4196468 140736726331824 140577626616136 140578937105755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140736726340586 140736726340758 140736726340758 140736726343631 0 Current children cumulated CPU time: 55.65 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 396604 KiB Child status: 0 Real time (s): 8.22432 CPU time (s): 55.743 CPU user time (s): 55.4146 CPU system time (s): 0.328395 CPU usage (%): 677.783 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 396604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 55.4146 system time used= 0.328395 maximum resident set size= 396232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39194 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5415 involuntary context switches= 1539 # summary of solver processes directly reported to runsolver: # pid: 18353 # total CPU time (s): 55.743 # total CPU user time (s): 55.4146 # total CPU system time (s): 0.328395 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.090324 second user time and 0.132766 second system time The end
Begin job on node148 at 2019-09-14 09:50:37 IDJOB=4394478 IDBENCH=140490 IDSOLVER=2843 FILE ID=node148/4394478-1568447474 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-4394478-1568447474/watcher-4394478-1568447474 -o /tmp/evaluation-result-4394478-1568447474/solver-4394478-1568447474 -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 415422837 HOME/instance-4394478-1568447474.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 097039f9865a2fa48b7d42a66e75794b RANDOM SEED=415422837 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: 31519952 kB MemAvailable: 31907544 kB Buffers: 103228 kB Cached: 580096 kB SwapCached: 3808 kB Active: 417436 kB Inactive: 273720 kB Active(anon): 5060 kB Inactive(anon): 43744 kB Active(file): 412376 kB Inactive(file): 229976 kB Unevictable: 108944 kB Mlocked: 108944 kB SwapTotal: 67108860 kB SwapFree: 67004236 kB Dirty: 26156 kB Writeback: 0 kB AnonPages: 156252 kB Mapped: 44696 kB Shmem: 32356 kB Slab: 150228 kB SReclaimable: 122148 kB SUnreclaim: 28080 kB KernelStack: 3744 kB PageTables: 5420 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: 110592 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:46