Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 138 | 2400.69 | 305.013 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml |
| MD5SUM | c07c58ac36c79f91eadbbae5e125078d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 94 |
| Best CPU time to get the best result obtained on this benchmark | 19960.199 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1331 |
| Number of constraints | 700 |
| Number of domains | 71 |
| Minimum domain size | 2 |
| Maximum domain size | 71 |
| Distribution of domain sizes | [{"size":2,"count":667},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":36},{"arity":3,"count":631},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 665 |
| Distribution of constraint types | [{"type":"intension","count":665},{"type":"sum","count":35}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247495-1500690051.xml" -tl '2400s' -p 8 -x 0 0.00/0.19 c [HOME/instance-4247495-1500690051.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 4.17/1.33 c solve instance... 4.73/1.49 o 14910 5.49/1.50 o 12530 5.49/1.51 o 12530 5.49/1.51 o 12402 5.49/1.52 o 10550 5.49/1.52 o 10422 5.49/1.57 o 10302 5.49/1.57 o 8938 5.49/1.58 o 610 5.49/1.59 o 454 5.49/1.60 o 402 6.16/1.63 o 390 9.30/2.06 o 354 10.60/2.24 o 274 20.27/3.51 o 230 20.98/3.65 o 218 21.58/3.80 o 210 164.60/21.72 o 202 312.79/42.78 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 312.79/42.78 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 312.79/42.78 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201) 312.79/42.78 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:184) 312.79/42.78 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134) 312.79/42.78 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25) 312.79/42.78 Caused by: java.lang.ArrayIndexOutOfBoundsException 312.79/42.78 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 312.79/42.78 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 312.79/42.78 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 312.79/42.78 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 312.79/42.78 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 312.79/42.78 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 312.79/42.78 ... 4 more 312.79/42.78 Caused by: java.lang.ArrayIndexOutOfBoundsException 312.79/42.78 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 312.79/42.78 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 312.79/42.78 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 312.79/42.78 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 312.79/42.78 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 312.79/42.78 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 312.79/42.78 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 312.79/42.78 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 312.79/42.78 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 312.79/42.78 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 312.79/42.78 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 312.79/42.78 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 312.79/42.78 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$52(ParallelPortfolio.java:193) 312.79/42.78 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 312.79/42.78 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 312.79/42.78 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 312.79/42.78 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 312.79/42.78 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 312.79/42.78 Caused by: java.lang.ArrayIndexOutOfBoundsException: 535 312.79/42.78 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:80) 312.79/42.78 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:64) 312.79/42.78 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:140) 312.79/42.78 at org.chocosolver.solver.Solver.restart(Solver.java:588) 312.79/42.78 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:129) 312.79/42.78 at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:95) 312.79/42.78 at org.chocosolver.solver.search.loop.move.MoveLNS.repair(MoveLNS.java:191) 312.79/42.78 at org.chocosolver.solver.Solver.repair(Solver.java:446) 312.79/42.78 at org.chocosolver.solver.Solver.searchLoop(Solver.java:302) 312.79/42.78 at org.chocosolver.solver.Solver.solve(Solver.java:264) 312.79/42.78 at org.chocosolver.solver.ParallelPortfolio.lambda$null$51(ParallelPortfolio.java:195) 312.79/42.78 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 312.79/42.78 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 312.79/42.78 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 312.79/42.78 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 312.79/42.78 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 312.79/42.78 ... 4 more 312.79/42.78 o 190 353.27/47.85 o 182 627.64/82.39 o 138 2400.69/305.05 s SATISFIABLE 2400.69/305.05 v <instantiation> 2400.69/305.05 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] x[31] x[32] x[33] x[34] x[35] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[31][0] y[31][1] y[31][2] y[31][3] y[32][0] y[32][1] y[32][2] y[33][0] y[33][1] y[34][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] </list> 2400.69/305.05 v <values>-1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -3 0 1 2 1 -2 3 0 -1 0 -1 0 3 -2 -3 0 1 0 -1 0 -1 6 1 0 -3 0 1 -4 1 2 -1 -2 3 0 -1 9 0 1 4 1 4 9 0 1 0 1 0 9 4 9 0 1 0 1 0 1 36 1 0 9 0 1 16 1 4 1 4 9 0 1 </values> 2400.69/305.05 v </instantiation> 2400.69/305.05 c Unexpected resolution interruption!
OK 138
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247495-1500690051/watcher-4247495-1500690051 -o /tmp/evaluation-result-4247495-1500690051/solver-4247495-1500690051 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1624803465 HOME/instance-4247495-1500690051.xml pid=30261 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.77 7.10 6.44 10/270 30264 /proc/meminfo: memFree=30798628/32770624 swapFree=5892/119820 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [startup+0.100102 s] /proc/loadavg: 8.77 7.10 6.44 10/270 30264 /proc/meminfo: memFree=30798628/32770624 swapFree=5892/119820 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200262 s] /proc/loadavg: 8.77 7.10 6.44 10/270 30264 /proc/meminfo: memFree=30798628/32770624 swapFree=5892/119820 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300223 s] /proc/loadavg: 8.77 7.10 6.44 10/270 30264 /proc/meminfo: memFree=30798628/32770624 swapFree=5892/119820 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700181 s] /proc/loadavg: 8.77 7.10 6.44 10/270 30264 /proc/meminfo: memFree=30798628/32770624 swapFree=5892/119820 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50103 s] /proc/loadavg: 9.02 7.18 6.47 23/291 30285 /proc/meminfo: memFree=30605996/32770624 swapFree=5892/119712 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [pid=30265] ppid=30264 vsize=13801768 CPUtime=5.49 cores=1,3,5,7,9,11,13,15 /proc/30265/stat : 30265 (java) S 30264 30264 15667 0 -1 1077944320 23087 0 0 0 532 17 0 0 20 0 28 0 4274776 14133010432 53493 33554432000 4194304 4196468 140730939668896 140730939651440 140408244547319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 /proc/30265/statm: 3450442 53493 3258 1 0 3437675 0 [pid=30265/tid=30266] ppid=30264 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30266/stat : 30266 (java) S 30264 30264 15667 0 -1 1077944384 8620 0 0 0 125 5 0 0 20 0 28 0 4274777 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408248788096 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30268] ppid=30264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30268/stat : 30268 (java) S 30264 30264 15667 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408197168144 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30269] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30269/stat : 30269 (java) S 30264 30264 15667 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408196115600 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30270] ppid=30264 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30270/stat : 30270 (java) S 30264 30264 15667 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408195062544 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30271] ppid=30264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30271/stat : 30271 (java) S 30264 30264 15667 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408194010000 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30272] ppid=30264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30272/stat : 30272 (java) S 30264 30264 15667 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408192956944 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30273] ppid=30264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30273/stat : 30273 (java) S 30264 30264 15667 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408191904400 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30274] ppid=30264 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30274/stat : 30274 (java) S 30264 30264 15667 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408190851344 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30275] ppid=30264 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30275/stat : 30275 (java) S 30264 30264 15667 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 4274778 14133010432 53493 33554432000 4194304 4196468 140730939668896 140408189798800 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30276] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30276/stat : 30276 (java) S 30264 30264 15667 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 28 0 4274780 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407705918192 140408244558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30277] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30277/stat : 30277 (java) S 30264 30264 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4274781 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407704864480 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30278] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30278/stat : 30278 (java) S 30264 30264 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4274781 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407703811312 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30279] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30279/stat : 30279 (java) S 30264 30264 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407702759888 140408244565915 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30280] ppid=30264 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30280/stat : 30280 (java) R 30264 30264 15667 0 -1 4202560 2902 0 0 0 88 0 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407701693536 140408244568666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30281] ppid=30264 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30281/stat : 30281 (java) R 30264 30264 15667 0 -1 4202560 2601 0 0 0 83 1 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407700640992 140408226065703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30282] ppid=30264 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30282/stat : 30282 (java) R 30264 30264 15667 0 -1 4202560 2377 0 0 0 87 0 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407699587488 140408222434160 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30283] ppid=30264 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30283/stat : 30283 (java) R 30264 30264 15667 0 -1 4202560 4199 0 0 0 73 1 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407698543456 140408228627806 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30284] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30284/stat : 30284 (java) S 30264 30264 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407697497056 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30285] ppid=30264 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30285/stat : 30285 (java) S 30264 30264 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4274785 14133010432 53493 33554432000 4194304 4196468 140730939668896 140407696444592 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 Current children cumulated CPU time (s) 5.49 Current children cumulated vsize (KiB) 13811280 [startup+3.10122 s] /proc/loadavg: 9.02 7.18 6.47 13/299 30397 /proc/meminfo: memFree=30555144/32770624 swapFree=5892/119712 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [pid=30265] ppid=30264 vsize=13803816 CPUtime=17.48 cores=1,3,5,7,9,11,13,15 /proc/30265/stat : 30265 (java) S 30264 30264 15667 0 -1 1077944320 29201 0 0 0 1709 39 0 0 20 0 28 0 4274776 14135107584 88285 33554432000 4194304 4196468 140730939668896 140730939651440 140408244547319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 /proc/30265/statm: 3450954 88285 3285 1 0 3438187 0 [pid=30265/tid=30266] ppid=30264 vsize=13803816 CPUtime=1.31 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30266/stat : 30266 (java) S 30264 30264 15667 0 -1 1077944384 8620 0 0 0 126 5 0 0 20 0 28 0 4274777 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408248788096 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30268] ppid=30264 vsize=13803816 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30268/stat : 30268 (java) S 30264 30264 15667 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408197168144 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30269] ppid=30264 vsize=13803816 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30269/stat : 30269 (java) S 30264 30264 15667 0 -1 1077944384 92 0 0 0 2 2 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408196115600 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30270] ppid=30264 vsize=13803816 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30270/stat : 30270 (java) S 30264 30264 15667 0 -1 1077944384 130 0 0 0 2 2 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408195062544 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30271] ppid=30264 vsize=13803816 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30271/stat : 30271 (java) S 30264 30264 15667 0 -1 1077944384 51 0 0 0 3 3 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408194010000 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30272] ppid=30264 vsize=13803816 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30272/stat : 30272 (java) S 30264 30264 15667 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408192956944 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30273] ppid=30264 vsize=13803816 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30273/stat : 30273 (java) S 30264 30264 15667 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408191904400 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30274] ppid=30264 vsize=13803816 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30274/stat : 30274 (java) S 30264 30264 15667 0 -1 1077944384 48 0 0 0 2 3 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408190851344 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30275] ppid=30264 vsize=13803816 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30275/stat : 30275 (java) S 30264 30264 15667 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 28 0 4274778 14135107584 88285 33554432000 4194304 4196468 140730939668896 140408189798800 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30276] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30276/stat : 30276 (java) S 30264 30264 15667 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 4274780 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407705918192 140408244558466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30277] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30277/stat : 30277 (java) S 30264 30264 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407704864480 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30278] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30278/stat : 30278 (java) S 30264 30264 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407703811328 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30279] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30279/stat : 30279 (java) S 30264 30264 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407702759888 140408244565915 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30280] ppid=30264 vsize=13803816 CPUtime=2.19 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30280/stat : 30280 (java) R 30264 30264 15667 0 -1 4202560 4040 0 0 0 219 0 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407701693808 140408226071599 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30281] ppid=30264 vsize=13803816 CPUtime=1.91 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30281/stat : 30281 (java) R 30264 30264 15667 0 -1 4202560 3201 0 0 0 190 1 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407700640880 140408224240382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30282] ppid=30264 vsize=13803816 CPUtime=1.91 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30282/stat : 30282 (java) R 30264 30264 15667 0 -1 4202560 3489 0 0 0 190 1 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407699587416 140408222435882 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30283] ppid=30264 vsize=13803816 CPUtime=1.04 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30283/stat : 30283 (java) S 30264 30264 15667 0 -1 1077944384 5021 0 0 0 103 1 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407698548848 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30284] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30284/stat : 30284 (java) S 30264 30264 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407697497056 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30285] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30285/stat : 30285 (java) S 30264 30264 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 88285 33554432000 4194304 4196468 140730939668896 140407696444592 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 Current children cumulated CPU time (s) 17.48 Current children cumulated vsize (KiB) 13813328 [startup+6.30152 s] /proc/loadavg: 9.02 7.18 6.47 10/299 30429 /proc/meminfo: memFree=30429380/32770624 swapFree=5892/119724 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [pid=30265] ppid=30264 vsize=13803816 CPUtime=42.17 cores=1,3,5,7,9,11,13,15 /proc/30265/stat : 30265 (java) S 30264 30264 15667 0 -1 1077944320 32111 0 0 0 4159 58 0 0 20 0 28 0 4274776 14135107584 103336 33554432000 4194304 4196468 140730939668896 140730939651440 140408244547319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 /proc/30265/statm: 3450954 103336 3289 1 0 3438187 0 [pid=30265/tid=30266] ppid=30264 vsize=13803816 CPUtime=1.32 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30266/stat : 30266 (java) S 30264 30264 15667 0 -1 1077944384 8657 0 0 0 127 5 0 0 20 0 28 0 4274777 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408248788096 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30268] ppid=30264 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30268/stat : 30268 (java) S 30264 30264 15667 0 -1 1077944384 80 0 0 0 5 5 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408197168144 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30269] ppid=30264 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30269/stat : 30269 (java) S 30264 30264 15667 0 -1 1077944384 114 0 0 0 4 4 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408196115600 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30270] ppid=30264 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30270/stat : 30270 (java) S 30264 30264 15667 0 -1 1077944384 153 0 0 0 4 4 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408195062544 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30271] ppid=30264 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30271/stat : 30271 (java) S 30264 30264 15667 0 -1 1077944384 684 0 0 0 5 5 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408194010000 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30272] ppid=30264 vsize=13803816 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30272/stat : 30272 (java) S 30264 30264 15667 0 -1 1077944384 86 0 0 0 4 4 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408192956944 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30273] ppid=30264 vsize=13803816 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30273/stat : 30273 (java) S 30264 30264 15667 0 -1 1077944384 80 0 0 0 6 5 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408191904400 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30274] ppid=30264 vsize=13803816 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30274/stat : 30274 (java) S 30264 30264 15667 0 -1 1077944384 118 0 0 0 5 4 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408190851344 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30275] ppid=30264 vsize=13803816 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30275/stat : 30275 (java) S 30264 30264 15667 0 -1 1077944384 74 0 0 0 6 5 0 0 20 0 28 0 4274778 14135107584 103336 33554432000 4194304 4196468 140730939668896 140408189798800 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30276] ppid=30264 vsize=13803816 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30276/stat : 30276 (java) S 30264 30264 15667 0 -1 1077944384 433 0 0 0 2 1 0 0 20 0 28 0 4274780 14135107584 103336 33554432000 4194304 4196468 140730939668896 140407705918192 140408244558466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30277] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30277/stat : 30277 (java) S 30264 30264 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 103336 33554432000 4194304 4196468 140730939668896 140407704864480 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30278] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30278/stat : 30278 (java) S 30264 30264 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 103336 33554432000 4194304 4196468 140730939668896 140407703811328 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30279] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30279/stat : 30279 (java) S 30264 30264 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 103336 33554432000 4194304 4196468 140730939668896 140407702759888 140408244565915 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 ################ # More data... # ################ [pid=30265/tid=30461] ppid=30264 vsize=13803816 CPUtime=138.76 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30461/stat : 30461 (java) R 30264 30264 15667 0 -1 4202560 2435 0 0 0 13872 4 0 0 20 0 28 0 4283016 14135107584 546701 33554432000 4194304 4196468 140730939668896 140407686824104 140407876147468 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30462] ppid=30264 vsize=13803816 CPUtime=139.05 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30462/stat : 30462 (java) R 30264 30264 15667 0 -1 4202560 876 0 0 0 13904 1 0 0 20 0 28 0 4283016 14135107584 546701 33554432000 4194304 4196468 140730939668896 140407681561448 140407874096263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 Current children cumulated CPU time (s) 1742.43 Current children cumulated vsize (KiB) 13813328 [startup+282.302 s] /proc/loadavg: 15.92 12.51 8.93 17/299 30663 /proc/meminfo: memFree=29402876/32770624 swapFree=5892/120240 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [pid=30265] ppid=30264 vsize=13803816 CPUtime=2219.96 cores=1,3,5,7,9,11,13,15 /proc/30265/stat : 30265 (java) S 30264 30264 15667 0 -1 1077944320 132113 0 0 0 221840 156 0 0 20 0 28 0 4274776 14135107584 547588 33554432000 4194304 4196468 140730939668896 140730939651440 140408244547319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 /proc/30265/statm: 3450954 547588 3290 1 0 3438187 0 [pid=30265/tid=30266] ppid=30264 vsize=13803816 CPUtime=1.32 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30266/stat : 30266 (java) S 30264 30264 15667 0 -1 1077944384 9711 0 0 0 127 5 0 0 20 0 28 0 4274777 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408248788096 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30268] ppid=30264 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30268/stat : 30268 (java) S 30264 30264 15667 0 -1 1077944384 1849 0 0 0 11 9 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408197168144 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30269] ppid=30264 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30269/stat : 30269 (java) S 30264 30264 15667 0 -1 1077944384 902 0 0 0 10 9 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408196115600 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30270] ppid=30264 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30270/stat : 30270 (java) S 30264 30264 15667 0 -1 1077944384 411 0 0 0 9 8 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408195062544 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30271] ppid=30264 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30271/stat : 30271 (java) S 30264 30264 15667 0 -1 1077944384 1871 0 0 0 11 10 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408194010000 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30272] ppid=30264 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30272/stat : 30272 (java) S 30264 30264 15667 0 -1 1077944384 613 0 0 0 9 9 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408192956944 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30273] ppid=30264 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30273/stat : 30273 (java) S 30264 30264 15667 0 -1 1077944384 1564 0 0 0 11 10 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408191904400 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30274] ppid=30264 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30274/stat : 30274 (java) S 30264 30264 15667 0 -1 1077944384 556 0 0 0 10 8 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408190851344 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30275] ppid=30264 vsize=13803816 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30275/stat : 30275 (java) S 30264 30264 15667 0 -1 1077944384 351 0 0 0 12 10 0 0 20 0 28 0 4274778 14135107584 547588 33554432000 4194304 4196468 140730939668896 140408189798800 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30276] ppid=30264 vsize=13803816 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30276/stat : 30276 (java) S 30264 30264 15667 0 -1 1077944384 3941 0 0 0 6 6 0 0 20 0 28 0 4274780 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407705918192 140408244558466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30277] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30277/stat : 30277 (java) S 30264 30264 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407704864480 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30278] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30278/stat : 30278 (java) S 30264 30264 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407703811328 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30279] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30279/stat : 30279 (java) S 30264 30264 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407702759888 140408244565915 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30280] ppid=30264 vsize=13803816 CPUtime=4.2 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30280/stat : 30280 (java) S 30264 30264 15667 0 -1 1077944384 17851 0 0 0 418 2 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407701706992 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30281] ppid=30264 vsize=13803816 CPUtime=4.12 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30281/stat : 30281 (java) S 30264 30264 15667 0 -1 1077944384 22048 0 0 0 408 4 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407700654448 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30282] ppid=30264 vsize=13803816 CPUtime=3.65 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30282/stat : 30282 (java) S 30264 30264 15667 0 -1 1077944384 13626 0 0 0 364 1 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407699601392 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30283] ppid=30264 vsize=13803816 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30283/stat : 30283 (java) S 30264 30264 15667 0 -1 1077944384 15304 0 0 0 127 3 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407698548848 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30284] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30284/stat : 30284 (java) S 30264 30264 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407697497056 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30285] ppid=30264 vsize=13803816 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30285/stat : 30285 (java) S 30264 30264 15667 0 -1 1077944384 1882 0 0 0 8 8 0 0 20 0 28 0 4274785 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407696444592 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 4 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30455] ppid=30264 vsize=13803816 CPUtime=198.92 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30455/stat : 30455 (java) R 30264 30264 15667 0 -1 4202560 1074 0 0 0 19890 2 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407687875736 140407875308000 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30456] ppid=30264 vsize=13803816 CPUtime=198.35 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30456/stat : 30456 (java) R 30264 30264 15667 0 -1 4202560 1280 0 0 0 19833 2 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407688929448 140407875309600 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30457] ppid=30264 vsize=13803816 CPUtime=199.56 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30457/stat : 30457 (java) R 30264 30264 15667 0 -1 4202560 2955 0 0 0 19953 3 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407684718280 140407874425094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30458] ppid=30264 vsize=13803816 CPUtime=199.15 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30458/stat : 30458 (java) R 30264 30264 15667 0 -1 4202560 4796 0 0 0 19906 9 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407683665640 140407869800106 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30459] ppid=30264 vsize=13803816 CPUtime=198.29 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30459/stat : 30459 (java) R 30264 30264 15667 0 -1 4202560 1336 0 0 0 19828 1 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407682612600 140407873507644 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30460] ppid=30264 vsize=13803816 CPUtime=198.58 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30460/stat : 30460 (java) R 30264 30264 15667 0 -1 4202560 432 0 0 0 19858 0 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407685770768 140407874970658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30461] ppid=30264 vsize=13803816 CPUtime=198.67 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30461/stat : 30461 (java) R 30264 30264 15667 0 -1 4202560 3063 0 0 0 19863 4 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407686824392 140407876093085 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30462] ppid=30264 vsize=13803816 CPUtime=198.92 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30462/stat : 30462 (java) R 30264 30264 15667 0 -1 4202560 1125 0 0 0 19891 1 0 0 20 0 28 0 4283016 14135107584 547588 33554432000 4194304 4196468 140730939668896 140407681560792 140407875699845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 Current children cumulated CPU time (s) 2219.96 Current children cumulated vsize (KiB) 13813328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+305.002 s] /proc/loadavg: 15.58 12.65 9.05 17/299 30663 /proc/meminfo: memFree=29387592/32770624 swapFree=5892/120244 [pid=30264] ppid=30261 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30264/stat : 30264 (xcsp3-exec) S 30261 30264 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4274776 9740288 346 33554432000 4194304 5098028 140734999265952 140734999264056 139860977504892 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20299776 140734999270542 140734999270752 140734999270752 140734999273451 0 /proc/30264/statm: 2378 346 289 221 0 87 0 [pid=30265] ppid=30264 vsize=13803816 CPUtime=2400.69 cores=1,3,5,7,9,11,13,15 /proc/30265/stat : 30265 (java) S 30264 30264 15667 0 -1 1077944320 133197 0 0 0 239911 158 0 0 20 0 28 0 4274776 14135107584 538225 33554432000 4194304 4196468 140730939668896 140730939651440 140408244547319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 /proc/30265/statm: 3450954 538225 3290 1 0 3438187 0 [pid=30265/tid=30266] ppid=30264 vsize=13803816 CPUtime=1.32 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30266/stat : 30266 (java) S 30264 30264 15667 0 -1 1077944384 9711 0 0 0 127 5 0 0 20 0 28 0 4274777 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408248788096 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30268] ppid=30264 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30268/stat : 30268 (java) S 30264 30264 15667 0 -1 1077944384 1849 0 0 0 11 9 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408197168144 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30269] ppid=30264 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30269/stat : 30269 (java) S 30264 30264 15667 0 -1 1077944384 903 0 0 0 10 9 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408196115600 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30270] ppid=30264 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30270/stat : 30270 (java) S 30264 30264 15667 0 -1 1077944384 414 0 0 0 10 8 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408195062544 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30271] ppid=30264 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30271/stat : 30271 (java) S 30264 30264 15667 0 -1 1077944384 1875 0 0 0 11 10 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408194010000 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30272] ppid=30264 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30272/stat : 30272 (java) S 30264 30264 15667 0 -1 1077944384 617 0 0 0 9 9 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408192956944 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30273] ppid=30264 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30273/stat : 30273 (java) S 30264 30264 15667 0 -1 1077944384 1564 0 0 0 11 10 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408191904400 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30274] ppid=30264 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30274/stat : 30274 (java) S 30264 30264 15667 0 -1 1077944384 557 0 0 0 10 8 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408190851344 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30275] ppid=30264 vsize=13803816 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30275/stat : 30275 (java) S 30264 30264 15667 0 -1 1077944384 351 0 0 0 12 10 0 0 20 0 28 0 4274778 14135107584 538225 33554432000 4194304 4196468 140730939668896 140408189798800 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30276] ppid=30264 vsize=13803816 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30276/stat : 30276 (java) S 30264 30264 15667 0 -1 1077944384 3952 0 0 0 6 6 0 0 20 0 28 0 4274780 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407705918192 140408244558466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30277] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30277/stat : 30277 (java) S 30264 30264 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407704864480 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30278] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30278/stat : 30278 (java) S 30264 30264 15667 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4274781 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407703811328 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30279] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30279/stat : 30279 (java) S 30264 30264 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407702759888 140408244565915 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30280] ppid=30264 vsize=13803816 CPUtime=4.2 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30280/stat : 30280 (java) S 30264 30264 15667 0 -1 1077944384 17854 0 0 0 418 2 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407701706992 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30281] ppid=30264 vsize=13803816 CPUtime=4.12 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30281/stat : 30281 (java) S 30264 30264 15667 0 -1 1077944384 22056 0 0 0 408 4 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407700654448 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30282] ppid=30264 vsize=13803816 CPUtime=3.65 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30282/stat : 30282 (java) S 30264 30264 15667 0 -1 1077944384 13629 0 0 0 364 1 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407699601392 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30283] ppid=30264 vsize=13803816 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30283/stat : 30283 (java) S 30264 30264 15667 0 -1 1077944384 15309 0 0 0 127 3 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407698548848 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30284] ppid=30264 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30284/stat : 30284 (java) S 30264 30264 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407697497056 140408244557525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30285] ppid=30264 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30285/stat : 30285 (java) S 30264 30264 15667 0 -1 1077944384 1909 0 0 0 8 9 0 0 20 0 28 0 4274785 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407696444592 140408244558466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 4 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30455] ppid=30264 vsize=13803816 CPUtime=221.24 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30455/stat : 30455 (java) R 30264 30264 15667 0 -1 4202560 1172 0 0 0 22122 2 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407687875624 140407873922059 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30456] ppid=30264 vsize=13803816 CPUtime=221.02 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30456/stat : 30456 (java) R 30264 30264 15667 0 -1 4202560 1413 0 0 0 22100 2 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407688929432 140407867528516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30457] ppid=30264 vsize=13803816 CPUtime=222.19 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30457/stat : 30457 (java) R 30264 30264 15667 0 -1 4202560 3177 0 0 0 22216 3 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407684718200 140407867529047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30458] ppid=30264 vsize=13803816 CPUtime=221.83 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30458/stat : 30458 (java) R 30264 30264 15667 0 -1 4202560 4907 0 0 0 22174 9 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407683665880 140407874087652 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30459] ppid=30264 vsize=13803816 CPUtime=220.67 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30459/stat : 30459 (java) R 30264 30264 15667 0 -1 4202560 1462 0 0 0 22066 1 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407682615488 140407869919531 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30460] ppid=30264 vsize=13803816 CPUtime=221.23 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30460/stat : 30460 (java) R 30264 30264 15667 0 -1 4202560 454 0 0 0 22123 0 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407685770784 140407873544042 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30461] ppid=30264 vsize=13803816 CPUtime=221.34 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30461/stat : 30461 (java) R 30264 30264 15667 0 -1 4202560 3298 0 0 0 22130 4 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407686824392 140407876097682 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 [pid=30265/tid=30462] ppid=30264 vsize=13803816 CPUtime=221.59 cores=1,3,5,7,9,11,13,15 /proc/30265/task/30462/stat : 30462 (java) R 30264 30264 15667 0 -1 4202560 1192 0 0 0 22158 1 0 0 20 0 28 0 4283016 14135107584 538225 33554432000 4194304 4196468 140730939668896 140407681560872 140407875309088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140730939671740 140730939671916 140730939671916 140730939674575 0 Current children cumulated CPU time (s) 2400.69 Current children cumulated vsize (KiB) 13813328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 30265 sig 9 ??? kill 30264 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30264 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2098 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1049 # CPU time returned by wait4() is 0.003147 # while last known CPU time is 2400.69 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 305.013 CPU time (s): 2400.69 CPU user time (s): 2399.11 CPU system time (s): 1.58 CPU usage (%): 787.079 Max. virtual memory (cumulated for all children) (KiB): 13813328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002098 system time used= 0.001049 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.54883 second user time and 4.79297 second system time The end
Begin job on node104 at 2017-07-22 04:20:51 IDJOB=4247495 IDBENCH=127071 IDSOLVER=2625 FILE ID=node104/4247495-1500690051 RUNJOBID= node104-1500684128-16797 PBS_JOBID= 20623031 Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247495-1500690051/watcher-4247495-1500690051 -o /tmp/evaluation-result-4247495-1500690051/solver-4247495-1500690051 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1624803465 HOME/instance-4247495-1500690051.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=1624803465 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 8 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 : 5334.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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.57 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 : 8 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 : 5334.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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.57 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 : 8 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 : 5334.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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.57 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 : 8 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 : 5334.12 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30798628 kB MemAvailable: 30882640 kB Buffers: 165908 kB Cached: 182036 kB SwapCached: 252 kB Active: 1326892 kB Inactive: 176192 kB Active(anon): 1110268 kB Inactive(anon): 56372 kB Active(file): 216624 kB Inactive(file): 119820 kB Unevictable: 5892 kB Mlocked: 5892 kB SwapTotal: 67108860 kB SwapFree: 67105472 kB Dirty: 7956 kB Writeback: 0 kB AnonPages: 1160932 kB Mapped: 42632 kB Shmem: 8772 kB Slab: 161232 kB SReclaimable: 126804 kB SUnreclaim: 34428 kB KernelStack: 4656 kB PageTables: 7576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2100932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1044480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62000 MiB End job on node104 at 2017-07-22 04:25:56