Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | OPT | 1 | 30.5998 | 4.87605 |
| Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml |
| MD5SUM | 2828df901a099a1524aa78ac7640e6c0 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.224263 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1471 |
| Number of constraints | 1441 |
| Number of domains | 32 |
| Minimum domain size | 30 |
| Maximum domain size | 32 |
| Distribution of domain sizes | [{"size":30,"count":32},{"size":31,"count":320},{"size":32,"count":1119}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":2,"count":1440},{"degree":46,"count":31}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":1395},{"arity":31,"count":1},{"arity":32,"count":45}] |
| Number of extensional constraints | 1395 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1395},{"type":"ordered","count":1},{"type":"minimum","count":45}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280333-1503170519.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280333-1503170519.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 24.67/4.06 c solve instance... 28.17/4.54 o 44 28.17/4.55 o 4 28.17/4.58 o 3 28.17/4.60 o 1 28.72/4.61 FAILURE >> TableBin(AC3bit+rm) ([PropBinAC3bitrm(x[15], drd[32][15])]) (FALSE) 30.33/4.84 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: The current solution does not satisfy the checker. 30.33/4.84 30.33/4.84 ################################################## 30.33/4.84 30.33/4.84 ################################################## 30.33/4.84 FAILURE >> TableBin(AC3bit+rm) ([PropBinAC3bitrm(x[15], drd[32][15])]) 30.33/4.84 30.33/4.84 ================================================== 30.33/4.84 Path[1]: ROOT 30.33/4.84 MINIMIZE SUM = 1 30.33/4.84 Model[instance-4280333-1503170519.xml_2], 0 Solutions, MINIMIZE SUM = 1, Resolution time 0.511s, 11 Nodes (21.5 n/s), 13 Backtracks, 3 Fails, 4 Restarts################################################## 30.33/4.84 30.33/4.84 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 30.33/4.84 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201) 30.33/4.84 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:164) 30.33/4.84 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134) 30.33/4.84 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25) 30.33/4.84 Caused by: org.chocosolver.solver.exception.SolverException: The current solution does not satisfy the checker. 30.33/4.84 30.33/4.84 ################################################## 30.33/4.84 30.33/4.84 ################################################## 30.33/4.84 FAILURE >> TableBin(AC3bit+rm) ([PropBinAC3bitrm(x[15], drd[32][15])]) 30.33/4.84 30.33/4.84 ================================================== 30.33/4.84 Path[1]: ROOT 30.33/4.84 MINIMIZE SUM = 1 30.33/4.84 Model[instance-4280333-1503170519.xml_2], 0 Solutions, MINIMIZE SUM = 1, Resolution time 0.511s, 11 Nodes (21.5 n/s), 13 Backtracks, 3 Fails, 4 Restarts################################################## 30.33/4.84 30.33/4.84 at org.chocosolver.solver.Solver.validate(Solver.java:462) 30.33/4.84 at org.chocosolver.solver.Solver.searchLoop(Solver.java:305) 30.33/4.84 at org.chocosolver.solver.Solver.solve(Solver.java:264) 30.33/4.84 at org.chocosolver.solver.ParallelPortfolio.lambda$null$47(ParallelPortfolio.java:195) 30.33/4.84 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 30.33/4.84 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 30.33/4.84 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 30.33/4.84 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 30.33/4.84 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 30.33/4.84 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 30.33/4.84 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 30.33/4.84 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 30.33/4.84 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 30.33/4.84 s OPTIMUM FOUND 30.33/4.84 v <instantiation> 30.33/4.84 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] drd[0][21] drd[0][22] drd[0][23] drd[0][24] drd[0][25] drd[0][26] drd[0][27] drd[0][28] drd[0][29] drd[0][30] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] drd[1][21] drd[1][22] drd[1][23] drd[1][24] drd[1][25] drd[1][26] drd[1][27] drd[1][28] drd[1][29] drd[1][30] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] drd[2][21] drd[2][22] drd[2][23] drd[2][24] drd[2][25] drd[2][26] drd[2][27] drd[2][28] drd[2][29] drd[2][30] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] drd[3][21] drd[3][22] drd[3][23] drd[3][24] drd[3][25] drd[3][26] drd[3][27] drd[3][28] drd[3][29] drd[3][30] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] drd[4][21] drd[4][22] drd[4][23] drd[4][24] drd[4][25] drd[4][26] drd[4][27] drd[4][28] drd[4][29] drd[4][30] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] drd[5][21] drd[5][22] drd[5][23] drd[5][24] drd[5][25] drd[5][26] drd[5][27] drd[5][28] drd[5][29] drd[5][30] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] drd[6][21] drd[6][22] drd[6][23] drd[6][24] drd[6][25] drd[6][26] drd[6][27] drd[6][28] drd[6][29] drd[6][30] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] drd[7][21] drd[7][22] drd[7][23] drd[7][24] drd[7][25] drd[7][26] drd[7][27] drd[7][28] drd[7][29] drd[7][30] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] drd[8][21] drd[8][22] drd[8][23] drd[8][24] drd[8][25] drd[8][26] drd[8][27] drd[8][28] drd[8][29] drd[8][30] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] drd[9][21] drd[9][22] drd[9][23] drd[9][24] drd[9][25] drd[9][26] drd[9][27] drd[9][28] drd[9][29] drd[9][30] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] drd[10][21] drd[10][22] drd[10][23] drd[10][24] drd[10][25] drd[10][26] drd[10][27] drd[10][28] drd[10][29] drd[10][30] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] drd[11][21] drd[11][22] drd[11][23] drd[11][24] drd[11][25] drd[11][26] drd[11][27] drd[11][28] drd[11][29] drd[11][30] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] drd[12][21] drd[12][22] drd[12][23] drd[12][24] drd[12][25] drd[12][26] drd[12][27] drd[12][28] drd[12][29] drd[12][30] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] drd[13][21] drd[13][22] drd[13][23] drd[13][24] drd[13][25] drd[13][26] drd[13][27] drd[13][28] drd[13][29] drd[13][30] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] drd[14][21] drd[14][22] drd[14][23] drd[14][24] drd[14][25] drd[14][26] drd[14][27] drd[14][28] drd[14][29] drd[14][30] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] drd[15][21] drd[15][22] drd[15][23] drd[15][24] drd[15][25] drd[15][26] drd[15][27] drd[15][28] drd[15][29] drd[15][30] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] drd[16][21] drd[16][22] drd[16][23] drd[16][24] drd[16][25] drd[16][26] drd[16][27] drd[16][28] drd[16][29] drd[16][30] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] drd[17][21] drd[17][22] drd[17][23] drd[17][24] drd[17][25] drd[17][26] drd[17][27] drd[17][28] drd[17][29] drd[17][30] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] drd[18][21] drd[18][22] drd[18][23] drd[18][24] drd[18][25] drd[18][26] drd[18][27] drd[18][28] drd[18][29] drd[18][30] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] drd[19][21] drd[19][22] drd[19][23] drd[19][24] drd[19][25] drd[19][26] drd[19][27] drd[19][28] drd[19][29] drd[19][30] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] drd[20][21] drd[20][22] drd[20][23] drd[20][24] drd[20][25] drd[20][26] drd[20][27] drd[20][28] drd[20][29] drd[20][30] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] drd[21][21] drd[21][22] drd[21][23] drd[21][24] drd[21][25] drd[21][26] drd[21][27] drd[21][28] drd[21][29] drd[21][30] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] drd[22][21] drd[22][22] drd[22][23] drd[22][24] drd[22][25] drd[22][26] drd[22][27] drd[22][28] drd[22][29] drd[22][30] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] drd[23][21] drd[23][22] drd[23][23] drd[23][24] drd[23][25] drd[23][26] drd[23][27] drd[23][28] drd[23][29] drd[23][30] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] drd[24][21] drd[24][22] drd[24][23] drd[24][24] drd[24][25] drd[24][26] drd[24][27] drd[24][28] drd[24][29] drd[24][30] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] drd[25][21] drd[25][22] drd[25][23] drd[25][24] drd[25][25] drd[25][26] drd[25][27] drd[25][28] drd[25][29] drd[25][30] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] drd[26][21] drd[26][22] drd[26][23] drd[26][24] drd[26][25] drd[26][26] drd[26][27] drd[26][28] drd[26][29] drd[26][30] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] drd[27][21] drd[27][22] drd[27][23] drd[27][24] drd[27][25] drd[27][26] drd[27][27] drd[27][28] drd[27][29] drd[27][30] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] drd[28][21] drd[28][22] drd[28][23] drd[28][24] drd[28][25] drd[28][26] drd[28][27] drd[28][28] drd[28][29] drd[28][30] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] drd[29][21] drd[29][22] drd[29][23] drd[29][24] drd[29][25] drd[29][26] drd[29][27] drd[29][28] drd[29][29] drd[29][30] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] drd[30][21] drd[30][22] drd[30][23] drd[30][24] drd[30][25] drd[30][26] drd[30][27] drd[30][28] drd[30][29] drd[30][30] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][16] drd[31][17] drd[31][18] drd[31][19] drd[31][20] drd[31][21] drd[31][22] drd[31][23] drd[31][24] drd[31][25] drd[31][26] drd[31][27] drd[31][28] drd[31][29] drd[31][30] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[32][7] drd[32][8] drd[32][9] drd[32][10] drd[32][11] drd[32][12] drd[32][13] drd[32][14] drd[32][15] drd[32][16] drd[32][17] drd[32][18] drd[32][19] drd[32][20] drd[32][21] drd[32][22] drd[32][23] drd[32][24] drd[32][25] drd[32][26] drd[32][27] drd[32][28] drd[32][29] drd[32][30] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[33][7] drd[33][8] drd[33][9] drd[33][10] drd[33][11] drd[33][12] drd[33][13] drd[33][14] drd[33][15] drd[33][16] drd[33][17] drd[33][18] drd[33][19] drd[33][20] drd[33][21] drd[33][22] drd[33][23] drd[33][24] drd[33][25] drd[33][26] drd[33][27] drd[33][28] drd[33][29] drd[33][30] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[34][7] drd[34][8] drd[34][9] drd[34][10] drd[34][11] drd[34][12] drd[34][13] drd[34][14] drd[34][15] drd[34][16] drd[34][17] drd[34][18] drd[34][19] drd[34][20] drd[34][21] drd[34][22] drd[34][23] drd[34][24] drd[34][25] drd[34][26] drd[34][27] drd[34][28] drd[34][29] drd[34][30] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[35][7] drd[35][8] drd[35][9] drd[35][10] drd[35][11] drd[35][12] drd[35][13] drd[35][14] drd[35][15] drd[35][16] drd[35][17] drd[35][18] drd[35][19] drd[35][20] drd[35][21] drd[35][22] drd[35][23] drd[35][24] drd[35][25] drd[35][26] drd[35][27] drd[35][28] drd[35][29] drd[35][30] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[36][7] drd[36][8] drd[36][9] drd[36][10] drd[36][11] drd[36][12] drd[36][13] drd[36][14] drd[36][15] drd[36][16] drd[36][17] drd[36][18] drd[36][19] drd[36][20] drd[36][21] drd[36][22] drd[36][23] drd[36][24] drd[36][25] drd[36][26] drd[36][27] drd[36][28] drd[36][29] drd[36][30] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[37][7] drd[37][8] drd[37][9] drd[37][10] drd[37][11] drd[37][12] drd[37][13] drd[37][14] drd[37][15] drd[37][16] drd[37][17] drd[37][18] drd[37][19] drd[37][20] drd[37][21] drd[37][22] drd[37][23] drd[37][24] drd[37][25] drd[37][26] drd[37][27] drd[37][28] drd[37][29] drd[37][30] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] drd[38][7] drd[38][8] drd[38][9] drd[38][10] drd[38][11] drd[38][12] drd[38][13] drd[38][14] drd[38][15] drd[38][16] drd[38][17] drd[38][18] drd[38][19] drd[38][20] drd[38][21] drd[38][22] drd[38][23] drd[38][24] drd[38][25] drd[38][26] drd[38][27] drd[38][28] drd[38][29] drd[38][30] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[39][5] drd[39][6] drd[39][7] drd[39][8] drd[39][9] drd[39][10] drd[39][11] drd[39][12] drd[39][13] drd[39][14] drd[39][15] drd[39][16] drd[39][17] drd[39][18] drd[39][19] drd[39][20] drd[39][21] drd[39][22] drd[39][23] drd[39][24] drd[39][25] drd[39][26] drd[39][27] drd[39][28] drd[39][29] drd[39][30] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[40][5] drd[40][6] drd[40][7] drd[40][8] drd[40][9] drd[40][10] drd[40][11] drd[40][12] drd[40][13] drd[40][14] drd[40][15] drd[40][16] drd[40][17] drd[40][18] drd[40][19] drd[40][20] drd[40][21] drd[40][22] drd[40][23] drd[40][24] drd[40][25] drd[40][26] drd[40][27] drd[40][28] drd[40][29] drd[40][30] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[41][5] drd[41][6] drd[41][7] drd[41][8] drd[41][9] drd[41][10] drd[41][11] drd[41][12] drd[41][13] drd[41][14] drd[41][15] drd[41][16] drd[41][17] drd[41][18] drd[41][19] drd[41][20] drd[41][21] drd[41][22] drd[41][23] drd[41][24] drd[41][25] drd[41][26] drd[41][27] drd[41][28] drd[41][29] drd[41][30] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[42][5] drd[42][6] drd[42][7] drd[42][8] drd[42][9] drd[42][10] drd[42][11] drd[42][12] drd[42][13] drd[42][14] drd[42][15] drd[42][16] drd[42][17] drd[42][18] drd[42][19] drd[42][20] drd[42][21] drd[42][22] drd[42][23] drd[42][24] drd[42][25] drd[42][26] drd[42][27] drd[42][28] drd[42][29] drd[42][30] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[43][5] drd[43][6] drd[43][7] drd[43][8] drd[43][9] drd[43][10] drd[43][11] drd[43][12] drd[43][13] drd[43][14] drd[43][15] drd[43][16] drd[43][17] drd[43][18] drd[43][19] drd[43][20] drd[43][21] drd[43][22] drd[43][23] drd[43][24] drd[43][25] drd[43][26] drd[43][27] drd[43][28] drd[43][29] drd[43][30] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[44][5] drd[44][6] drd[44][7] drd[44][8] drd[44][9] drd[44][10] drd[44][11] drd[44][12] drd[44][13] drd[44][14] drd[44][15] drd[44][16] drd[44][17] drd[44][18] drd[44][19] drd[44][20] drd[44][21] drd[44][22] drd[44][23] drd[44][24] drd[44][25] drd[44][26] drd[44][27] drd[44][28] drd[44][29] drd[44][30] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] </list> 30.33/4.84 v <values>0 4 7 19 50 52 54 63 70 72 86 89 95 98 107 112 123 143 193 237 238 289 301 312 350 353 375 440 520 540 605 375 371 368 356 325 323 321 312 305 303 289 286 280 277 268 263 252 232 182 138 137 86 74 63 25 22 0 65 145 165 230 375 371 368 356 325 323 321 312 305 303 289 286 280 277 268 263 252 232 182 138 137 86 74 63 25 22 0 65 145 165 230 123 119 116 104 73 71 69 60 53 51 37 34 28 25 16 11 0 20 70 114 115 166 178 189 227 230 252 317 397 417 482 123 119 116 104 73 71 69 60 53 51 37 34 28 25 16 11 0 20 70 114 115 166 178 189 227 230 252 317 397 417 482 540 536 533 521 490 488 486 477 470 468 454 451 445 442 433 428 417 397 347 303 302 251 239 228 190 187 165 100 20 0 65 540 536 533 521 490 488 486 477 470 468 454 451 445 442 433 428 417 397 347 303 302 251 239 228 190 187 165 100 20 0 65 4 0 3 15 46 48 50 59 66 68 82 85 91 94 103 108 119 139 189 233 234 285 297 308 346 349 371 436 516 536 601 605 601 598 586 555 553 551 542 535 533 519 516 510 507 498 493 482 462 412 368 367 316 304 293 255 252 230 165 85 65 0 605 601 598 586 555 553 551 542 535 533 519 516 510 507 498 493 482 462 412 368 367 316 304 293 255 252 230 165 85 65 0 0 4 7 19 50 52 54 63 70 72 86 89 95 98 107 112 123 143 193 237 238 289 301 312 350 353 375 440 520 540 605 54 50 47 35 4 2 0 9 16 18 32 35 41 44 53 58 69 89 139 183 184 235 247 258 296 299 321 386 466 486 551 50 46 43 31 0 2 4 13 20 22 36 39 45 48 57 62 73 93 143 187 188 239 251 262 300 303 325 390 470 490 555 98 94 91 79 48 46 44 35 28 26 12 9 3 0 9 14 25 45 95 139 140 191 203 214 252 255 277 342 422 442 507 98 94 91 79 48 46 44 35 28 26 12 9 3 0 9 14 25 45 95 139 140 191 203 214 252 255 277 342 422 442 507 312 308 305 293 262 260 258 249 242 240 226 223 217 214 205 200 189 169 119 75 74 23 11 0 38 41 63 128 208 228 293 312 308 305 293 262 260 258 249 242 240 226 223 217 214 205 200 189 169 119 75 74 23 11 0 38 41 63 128 208 228 293 89 85 82 70 39 37 35 26 19 17 3 0 6 9 18 23 34 54 104 148 149 200 212 223 261 264 286 351 431 451 516 301 297 294 282 251 249 247 238 231 229 215 212 206 203 194 189 178 158 108 64 63 12 0 11 49 52 74 139 219 239 304 52 48 45 33 2 0 2 11 18 20 34 37 43 46 55 60 71 91 141 185 186 237 249 260 298 301 323 388 468 488 553 52 48 45 33 2 0 2 11 18 20 34 37 43 46 55 60 71 91 141 185 186 237 249 260 298 301 323 388 468 488 553 440 436 433 421 390 388 386 377 370 368 354 351 345 342 333 328 317 297 247 203 202 151 139 128 90 87 65 0 80 100 165 439 435 432 420 389 387 385 376 369 367 353 350 344 341 332 327 316 296 246 202 201 150 138 127 89 86 64 1 81 101 166 7 3 0 12 43 45 47 56 63 65 79 82 88 91 100 105 116 136 186 230 231 282 294 305 343 346 368 433 513 533 598 7 3 0 12 43 45 47 56 63 65 79 82 88 91 100 105 116 136 186 230 231 282 294 305 343 346 368 433 513 533 598 72 68 65 53 22 20 18 9 2 0 14 17 23 26 35 40 51 71 121 165 166 217 229 240 278 281 303 368 448 468 533 107 103 100 88 57 55 53 44 37 35 21 18 12 9 0 5 16 36 86 130 131 182 194 205 243 246 268 333 413 433 498 107 103 100 88 57 55 53 44 37 35 21 18 12 9 0 5 16 36 86 130 131 182 194 205 243 246 268 333 413 433 498 143 139 136 124 93 91 89 80 73 71 57 54 48 45 36 31 20 0 50 94 95 146 158 169 207 210 232 297 377 397 462 143 139 136 124 93 91 89 80 73 71 57 54 48 45 36 31 20 0 50 94 95 146 158 169 207 210 232 297 377 397 462 86 82 79 67 36 34 32 23 16 14 0 3 9 12 21 26 37 57 107 151 152 203 215 226 264 267 289 354 434 454 519 95 91 88 76 45 43 41 32 25 23 9 6 0 3 12 17 28 48 98 142 143 194 206 217 255 258 280 345 425 445 510 520 516 513 501 470 468 466 457 450 448 434 431 425 422 413 408 397 377 327 283 282 231 219 208 170 167 145 80 0 20 85 112 108 105 93 62 60 58 49 42 40 26 23 17 14 5 0 11 31 81 125 126 177 189 200 238 241 263 328 408 428 493 70 66 63 51 20 18 16 7 0 2 16 19 25 28 37 42 53 73 123 167 168 219 231 242 280 283 305 370 450 470 535 19 15 12 0 31 33 35 44 51 53 67 70 76 79 88 93 104 124 174 218 219 270 282 293 331 334 356 421 501 521 586 19 15 12 0 31 33 35 44 51 53 67 70 76 79 88 93 104 124 174 218 219 270 282 293 331 334 356 421 501 521 586 237 233 230 218 187 185 183 174 167 165 151 148 142 139 130 125 114 94 44 0 1 52 64 75 113 116 138 203 283 303 368 238 234 231 219 188 186 184 175 168 166 152 149 143 140 131 126 115 95 45 1 0 51 63 74 112 115 137 202 282 302 367 353 349 346 334 303 301 299 290 283 281 267 264 258 255 246 241 230 210 160 116 115 64 52 41 3 0 22 87 167 187 252 350 346 343 331 300 298 296 287 280 278 264 261 255 252 243 238 227 207 157 113 112 61 49 38 0 3 25 90 170 190 255 63 59 56 44 13 11 9 0 7 9 23 26 32 35 44 49 60 80 130 174 175 226 238 249 287 290 312 377 457 477 542 193 189 186 174 143 141 139 130 123 121 107 104 98 95 86 81 70 50 0 44 45 96 108 119 157 160 182 247 327 347 412 193 189 186 174 143 141 139 130 123 121 107 104 98 95 86 81 70 50 0 44 45 96 108 119 157 160 182 247 327 347 412 289 285 282 270 239 237 235 226 219 217 203 200 194 191 182 177 166 146 96 52 51 0 12 23 61 64 86 151 231 251 316 289 285 282 270 239 237 235 226 219 217 203 200 194 191 182 177 166 146 96 52 51 0 12 23 61 64 86 151 231 251 316 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 30.33/4.84 v </instantiation>
OK 1
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 (14374 MiB free)
memory of node 1: 16384 MiB (13956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280333-1503170519/watcher-4280333-1503170519 -o /tmp/evaluation-result-4280333-1503170519/solver-4280333-1503170519 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503162083-10053 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1632368763 HOME/instance-4280333-1503170519.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=11279, runsolver pid=11276
[startup+0.100061 s]*
/proc/loadavg: 6.61 7.78 7.81 2/199 11300
/proc/meminfo: memFree=28994112/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=25999808 memory=26796 CPUtime=0.12 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 5639 0 0 0 11 1 0 0 20 0 20 0 150140070 26623803392 6699 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6499952 6699 2839 1 0 6488269 0
[pid=11281/tid=11282] ppid=11279 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) R 11279 11279 10026 0 -1 4202560 3644 0 0 0 8 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717222007280 140717217797277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717170396176 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=25999808 memory=139840485119616 CPUtime=0 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717169343632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717168290576 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717167238032 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717166184976 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717165132432 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717164079376 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140071 26623803392 6699 33554432000 4194304 4196468 140731616680528 140717163026832 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140073 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715422624496 140717217786498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150140073 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715421570720 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150140074 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715420517616 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) S 11279 11279 10026 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715418413296 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715417360752 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) S 11279 11279 10026 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715416307696 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) S 11279 11279 10026 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715415255152 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26623803392 6699 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28180 KiB
[startup+0.210411 s]*
/proc/loadavg: 6.61 7.78 7.81 2/199 11300
/proc/meminfo: memFree=28983816/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26004064 memory=38708 CPUtime=0.33 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 8319 0 0 0 31 2 0 0 20 0 20 0 150140070 26628161536 9677 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6501016 9677 3025 1 0 6488269 0
[pid=11281/tid=11282] ppid=11279 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) D 11279 11279 10026 0 -1 1077944384 5441 0 0 0 19 1 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717221986160 140717210454573 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717170396176 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26004064 memory=4122679730974807712 CPUtime=0 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717169343632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717168290576 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628194304 9698 33554432000 4194304 4196468 140731616680528 140717167238032 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717166184976 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717165132432 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717164079376 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 9698 33554432000 4194304 4196468 140731616680528 140717163026832 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140073 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715422624496 140717217786498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150140073 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715421570720 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150140074 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715420517616 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26628194304 9698 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) S 11279 11279 10026 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 20 0 150140076 26628194304 9698 33554432000 4194304 4196468 140731616680528 140715418413296 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) S 11279 11279 10026 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 150140076 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715417360752 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=26004064 memory=-1 CPUtime=0.03 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) S 11279 11279 10026 0 -1 1077944384 457 0 0 0 3 0 0 0 20 0 20 0 150140076 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715416307696 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) S 11279 11279 10026 0 -1 1077944384 684 0 0 0 7 0 0 0 20 0 20 0 150140076 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715415255152 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26628161536 9698 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40092 KiB
[startup+0.310256 s]*
/proc/loadavg: 6.61 7.78 7.81 3/199 11300
/proc/meminfo: memFree=28979412/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26004064 memory=44120 CPUtime=0.5 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 9206 0 0 0 47 3 0 0 20 0 20 0 150140070 26628161536 11030 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6501016 11030 3093 1 0 6488269 0
[pid=11281/tid=11282] ppid=11279 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) R 11279 11279 10026 0 -1 4202560 6097 0 0 0 27 2 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717222013408 140717217787286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717170396176 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717169343632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717168290576 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717167238032 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717166184976 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=26004064 memory=139840377156527 CPUtime=0 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717165132432 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=26004064 memory=139840377158832 CPUtime=0 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717164079376 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=26004064 memory=139840377161136 CPUtime=0 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140071 26628161536 11542 33554432000 4194304 4196468 140731616680528 140717163026832 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150140073 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715422624496 140717217786498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=26004064 memory=279680754329232 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150140073 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715421570720 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=26004064 memory=279680754336144 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150140074 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715420517616 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=26004064 memory=279680754277424 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=26004064 memory=279680754349968 CPUtime=0.01 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) S 11279 11279 10026 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715418413296 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=26004064 memory=279680754356880 CPUtime=0.01 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) R 11279 11279 10026 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715417360752 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=26004064 memory=279680754354576 CPUtime=0.03 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) R 11279 11279 10026 0 -1 4202560 467 0 0 0 3 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715416307696 140717202162864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=26004064 memory=279680754370736 CPUtime=0.12 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) R 11279 11279 10026 0 -1 4202560 803 0 0 0 12 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715415251520 140717217787286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26628161536 11542 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45504 KiB
[startup+0.701224 s]
/proc/loadavg: 6.61 7.78 7.81 6/199 11300
/proc/meminfo: memFree=28949180/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26006188 memory=236816 CPUtime=2.2 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 14137 0 0 0 198 22 0 0 20 0 20 0 150140070 26630336512 59204 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6501547 59204 3205 1 0 6488781 0
[pid=11281/tid=11282] ppid=11279 vsize=26006188 memory=279680754728624 CPUtime=0.63 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) S 11279 11279 10026 0 -1 1077944384 6630 0 0 0 59 4 0 0 20 0 20 0 150140071 26630336512 59204 33554432000 4194304 4196468 140731616680528 140717222011648 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26006188 memory=139840377365360 CPUtime=0.03 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) R 11279 11279 10026 0 -1 4202560 32 0 0 0 1 2 0 0 20 0 20 0 150140071 26630336512 59204 33554432000 4194304 4196468 140731616680528 140717170396176 140717202802770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26006188 memory=0 CPUtime=0.04 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) R 11279 11279 10026 0 -1 4202560 33 0 0 0 2 2 0 0 20 0 20 0 150140071 26630336512 59204 33554432000 4194304 4196468 140731616680528 140717169343632 140717202802770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26006188 memory=5792 CPUtime=0.04 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) R 11279 11279 10026 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 20 0 150140071 26630336512 59204 33554432000 4194304 4196468 140731616680528 140717168290776 140717210872052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
################
# More data... #
################
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26630336512 399791 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26630336512 399791 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 18.81 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1600548 KiB
[startup+4.00822 s]*
/proc/loadavg: 6.61 7.78 7.81 5/199 11300
/proc/meminfo: memFree=27402852/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26006188 memory=1618296 CPUtime=24.67 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 52636 0 0 0 2156 311 0 0 20 0 20 0 150140070 26630336512 404574 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6501547 404574 3274 1 0 6488781 0
[pid=11281/tid=11282] ppid=11279 vsize=26006188 memory=0 CPUtime=1.38 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) R 11279 11279 10026 0 -1 4202560 7641 0 0 0 131 7 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717222006576 140716840962365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26006188 memory=4872558044660077418 CPUtime=2.49 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) S 11279 11279 10026 0 -1 1077944384 5813 0 0 0 208 41 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717170396176 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26006188 memory=1112024 CPUtime=2.44 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) S 11279 11279 10026 0 -1 1077944384 3466 0 0 0 206 38 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717169343632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26006188 memory=6944656591801717918 CPUtime=2.48 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) S 11279 11279 10026 0 -1 1077944384 3542 0 0 0 210 38 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717168290576 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=26006188 memory=-7384994778349281184 CPUtime=2.44 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) S 11279 11279 10026 0 -1 1077944384 2665 0 0 0 208 36 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717167238032 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=26006188 memory=-7522837415797432224 CPUtime=2.43 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) S 11279 11279 10026 0 -1 1077944384 2696 0 0 0 208 35 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717166184976 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=26006188 memory=-7522837583129502606 CPUtime=2.42 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) S 11279 11279 10026 0 -1 1077944384 2461 0 0 0 208 34 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717165132432 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=26006188 memory=0 CPUtime=2.44 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) S 11279 11279 10026 0 -1 1077944384 2778 0 0 0 208 36 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717164079376 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=26006188 memory=0 CPUtime=2.42 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) S 11279 11279 10026 0 -1 1077944384 5934 0 0 0 205 37 0 0 20 0 20 0 150140071 26630336512 404574 33554432000 4194304 4196468 140731616680528 140717163026832 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=26006188 memory=0 CPUtime=0.05 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2300 0 0 0 5 0 0 0 20 0 20 0 150140073 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715422624496 140717217786498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 150140073 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715421570784 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 150140074 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715420517632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=26006188 memory=279680754735616 CPUtime=1.01 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) R 11279 11279 10026 0 -1 4202560 3115 0 0 0 101 0 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715418413296 140717203830584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=26006188 memory=7665530513471854185 CPUtime=0.95 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) R 11279 11279 10026 0 -1 4202560 2280 0 0 0 95 0 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715417348192 140717197022118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=26006188 memory=7956289787825444457 CPUtime=1.02 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) R 11279 11279 10026 0 -1 4202560 3428 0 0 0 101 1 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715416298528 140717202883022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=26006188 memory=7666649816292021865 CPUtime=0.57 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) S 11279 11279 10026 0 -1 1077944384 3189 0 0 0 56 1 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715415255152 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=26006188 memory=7954606431211443817 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150140076 26630336512 404574 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 24.67 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1619680 KiB
[startup+4.40091 s]
/proc/loadavg: 6.61 7.78 7.81 5/199 11300
/proc/meminfo: memFree=27402852/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26538700 memory=1620552 CPUtime=27.35 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 57165 0 0 0 2421 314 0 0 20 0 28 0 150140070 27175628800 405138 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6634675 405138 3274 1 0 6621909 0
[pid=11281/tid=11282] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=1.45 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) S 11279 11279 10026 0 -1 1077944384 8916 0 0 0 137 8 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717222016128 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=2.49 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) S 11279 11279 10026 0 -1 1077944384 5813 0 0 0 208 41 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717170396176 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26538700 memory=50625316391402 CPUtime=2.44 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) S 11279 11279 10026 0 -1 1077944384 3466 0 0 0 206 38 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717169343632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26538700 memory=50625316391402 CPUtime=2.48 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) S 11279 11279 10026 0 -1 1077944384 3542 0 0 0 210 38 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717168290576 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=26538700 memory=50625316391146 CPUtime=2.44 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) S 11279 11279 10026 0 -1 1077944384 2665 0 0 0 208 36 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717167238032 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=26538700 memory=1384 CPUtime=2.43 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) S 11279 11279 10026 0 -1 1077944384 2696 0 0 0 208 35 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717166184976 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=26538700 memory=1615572 CPUtime=2.42 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) S 11279 11279 10026 0 -1 1077944384 2461 0 0 0 208 34 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717165132432 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=26538700 memory=8604 CPUtime=2.44 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) S 11279 11279 10026 0 -1 1077944384 2778 0 0 0 208 36 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717164079376 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=26538700 memory=1724 CPUtime=2.42 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) S 11279 11279 10026 0 -1 1077944384 5934 0 0 0 205 37 0 0 20 0 28 0 150140071 27175628800 405138 33554432000 4194304 4196468 140731616680528 140717163026832 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=26538700 memory=11104 CPUtime=0.05 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2375 0 0 0 5 0 0 0 20 0 28 0 150140073 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715422624496 140717217786498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 150140073 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715421570784 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 150140074 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715420517632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=26538700 memory=4620 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=26538700 memory=1200 CPUtime=1.24 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) R 11279 11279 10026 0 -1 4202560 3806 0 0 0 123 1 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715418403216 140717201304087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=26538700 memory=0 CPUtime=1.23 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) R 11279 11279 10026 0 -1 4202560 3049 0 0 0 123 0 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715417361048 140717202704764 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=26538700 memory=279680755067232 CPUtime=1.26 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) R 11279 11279 10026 0 -1 4202560 3743 0 0 0 125 1 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715416299152 140717198471151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=26538700 memory=139840377457692 CPUtime=0.62 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) S 11279 11279 10026 0 -1 1077944384 3501 0 0 0 61 1 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715415255152 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=26538700 memory=23924 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26538700 memory=1232 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 405138 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 27.35 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1621936 KiB
[startup+4.80423 s]
/proc/loadavg: 6.61 7.78 7.81 5/199 11300
/proc/meminfo: memFree=27402852/32770624 swapFree=67108860/67108860
[pid=11279] ppid=11276 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11279/stat : 11279 (xcsp3-exec) S 11276 11279 10026 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150140070 9740288 346 33554432000 4194304 5098028 140723881735440 140723881733544 140168384938620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36601856 140723881743460 140723881743671 140723881743671 140723881746411 0
/proc/11279/statm: 2378 346 289 221 0 87 0
[pid=11281] ppid=11279 vsize=26538700 memory=2010484 CPUtime=30.33 cores=0-7
/proc/11281/stat : 11281 (java) S 11279 11279 10026 0 -1 1077944320 62659 0 0 0 2621 412 0 0 20 0 28 0 150140070 27175628800 502621 33554432000 4194304 4196468 140731616680528 140731616663072 140717217775351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
/proc/11281/statm: 6634675 502621 3294 1 0 6621909 0
[pid=11281/tid=11282] ppid=11279 vsize=26538700 memory=6791534058613427641 CPUtime=1.46 cores=0-7
/proc/11281/task/11282/stat : 11282 (java) S 11279 11279 10026 0 -1 1077944384 8982 0 0 0 138 8 0 0 20 0 28 0 150140071 27175628800 502621 33554432000 4194304 4196468 140731616680528 140717222016128 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11283] ppid=11279 vsize=26538700 memory=0 CPUtime=2.66 cores=0-7
/proc/11281/task/11283/stat : 11283 (java) R 11279 11279 10026 0 -1 4202560 6320 0 0 0 214 52 0 0 20 0 28 0 150140071 27175628800 502621 33554432000 4194304 4196468 140731616680528 140717170393696 140717210881907 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11284] ppid=11279 vsize=26538700 memory=0 CPUtime=2.62 cores=0-7
/proc/11281/task/11284/stat : 11284 (java) R 11279 11279 10026 0 -1 4202560 3669 0 0 0 211 51 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717169343832 140717210881033 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11285] ppid=11279 vsize=26538700 memory=0 CPUtime=2.65 cores=0-7
/proc/11281/task/11285/stat : 11285 (java) R 11279 11279 10026 0 -1 4202560 3795 0 0 0 215 50 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717168290776 140717210881033 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11286] ppid=11279 vsize=26538700 memory=0 CPUtime=2.6 cores=0-7
/proc/11281/task/11286/stat : 11286 (java) R 11279 11279 10026 0 -1 4202560 2851 0 0 0 214 46 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717167237920 140717202803234 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11287] ppid=11279 vsize=26538700 memory=0 CPUtime=2.59 cores=0-7
/proc/11281/task/11287/stat : 11287 (java) R 11279 11279 10026 0 -1 4202560 2964 0 0 0 213 46 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717166185176 140717210881907 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11288] ppid=11279 vsize=26538700 memory=71 CPUtime=2.59 cores=0-7
/proc/11281/task/11288/stat : 11288 (java) R 11279 11279 10026 0 -1 4202560 2968 0 0 0 213 46 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717165132632 140717202802770 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11289] ppid=11279 vsize=26538700 memory=65 CPUtime=2.61 cores=0-7
/proc/11281/task/11289/stat : 11289 (java) R 11279 11279 10026 0 -1 4202560 3266 0 0 0 213 48 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717164077176 140717210881907 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11290] ppid=11279 vsize=26538700 memory=74 CPUtime=2.59 cores=0-7
/proc/11281/task/11290/stat : 11290 (java) R 11279 11279 10026 0 -1 4202560 6139 0 0 0 210 49 0 0 20 0 28 0 150140071 27175628800 503133 33554432000 4194304 4196468 140731616680528 140717163027032 140717202802571 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11291] ppid=11279 vsize=26538700 memory=50 CPUtime=0.05 cores=0-7
/proc/11281/task/11291/stat : 11291 (java) S 11279 11279 10026 0 -1 1077944384 2388 0 0 0 5 0 0 0 20 0 28 0 150140073 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715422623008 140717217785557 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11292] ppid=11279 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11292/stat : 11292 (java) S 11279 11279 10026 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 150140073 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715421570784 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11293] ppid=11279 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11281/task/11293/stat : 11293 (java) S 11279 11279 10026 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 150140074 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715420517632 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11294] ppid=11279 vsize=26538700 memory=279680754670992 CPUtime=0 cores=0-7
/proc/11281/task/11294/stat : 11294 (java) S 11279 11279 10026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715419466192 140717217793947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11295] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=1.45 cores=0-7
/proc/11281/task/11295/stat : 11295 (java) S 11279 11279 10026 0 -1 1077944384 4461 0 0 0 143 2 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715418398288 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11296] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=1.39 cores=0-7
/proc/11281/task/11296/stat : 11296 (java) S 11279 11279 10026 0 -1 1077944384 3388 0 0 0 138 1 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715417349216 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11297] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=1.44 cores=0-7
/proc/11281/task/11297/stat : 11297 (java) S 11279 11279 10026 0 -1 1077944384 3951 0 0 0 143 1 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715416298016 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11298] ppid=11279 vsize=26538700 memory=50625316391658 CPUtime=0.67 cores=0-7
/proc/11281/task/11298/stat : 11298 (java) S 11279 11279 10026 0 -1 1077944384 4268 0 0 0 66 1 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715415254912 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11299] ppid=11279 vsize=26538700 memory=50625316391402 CPUtime=0 cores=0-7
/proc/11281/task/11299/stat : 11299 (java) S 11279 11279 10026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715414203360 140717217785557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
[pid=11281/tid=11300] ppid=11279 vsize=26538700 memory=50625316391402 CPUtime=0 cores=0-7
/proc/11281/task/11300/stat : 11300 (java) S 11279 11279 10026 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 150140076 27175628800 503133 33554432000 4194304 4196468 140731616680528 140715413150896 140717217786498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21991424 140731616687250 140731616687427 140731616687427 140731616690127 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2011868 KiB
Child status: 0
Real time (s): 4.87605
CPU time (s): 30.5998
CPU user time (s): 26.392
CPU system time (s): 4.2078
CPU usage (%): 627.553
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2011868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.392
system time used= 4.2078
maximum resident set size= 2038020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63536
page faults= 0
swaps= 0
block input operations= 48
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5830
involuntary context switches= 494
# summary of solver processes directly reported to runsolver:
# pid: 11279
# total CPU time (s): 30.5998
# total CPU user time (s): 26.392
# total CPU system time (s): 4.2078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057164 second user time and 0.092242 second system time
The end
Begin job on node102 at 2017-08-19 21:07:39 IDJOB=4280333 IDBENCH=138389 IDSOLVER=2675 FILE ID=node102/4280333-1503170519 RUNJOBID= node102-1503162083-10053 PBS_JOBID= 20630825 Free space on /tmp= 61880 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff15.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280333-1503170519/watcher-4280333-1503170519 -o /tmp/evaluation-result-4280333-1503170519/solver-4280333-1503170519 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503162083-10053 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1632368763 HOME/instance-4280333-1503170519.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2828df901a099a1524aa78ac7640e6c0 RANDOM SEED=1632368763 node102.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.35 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.35 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.35 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.35 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: 29009900 kB MemAvailable: 31974008 kB Buffers: 235776 kB Cached: 3021372 kB SwapCached: 0 kB Active: 963500 kB Inactive: 2344996 kB Active(anon): 4380 kB Inactive(anon): 83084 kB Active(file): 959120 kB Inactive(file): 2261912 kB Unevictable: 7472 kB Mlocked: 7472 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8132 kB Writeback: 0 kB AnonPages: 65852 kB Mapped: 51464 kB Shmem: 33420 kB Slab: 145148 kB SReclaimable: 117824 kB SUnreclaim: 27324 kB KernelStack: 3408 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334196 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61872 MiB End job on node102 at 2017-08-19 21:07:44