Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 1106 | 16485.6 | 2520.11 |
Name | Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml |
MD5SUM | aadfd6ed706e08b9468e37c047f4c189 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 514 |
Best CPU time to get the best result obtained on this benchmark | 2400.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1640 |
Number of constraints | 1599 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 141 |
Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}] |
Minimum variable degree | 0 |
Maximum variable degree | 77 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 39 |
Distribution of constraint arities | [{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 39 |
Distribution of constraint types | [{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394623-1568424664.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394623-1568424664.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 4.04/1.30 c solve instance... 15.36/3.15 o 1347 15.36/3.17 o 1341 15.36/3.17 o 1338 15.36/3.18 o 1306 15.36/3.19 o 1287 15.36/3.20 o 1284 15.93/3.24 o 1272 15.93/3.24 o 1250 15.93/3.25 o 1241 15.93/3.26 o 1240 15.93/3.27 o 1235 15.93/3.27 o 1230 21.41/3.98 o 1228 30.39/5.86 o 1169 30.39/5.88 o 1166 30.72/5.95 o 1156 65.58/10.36 o 1155 5130.87/889.34 o 1154 5629.80/996.67 o 1143 5629.80/996.68 o 1139 5630.04/996.70 o 1128 5630.04/996.71 o 1124 10844.06/1678.44 o 1117 10844.06/1678.45 o 1116 14404.63/2207.33 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (329/337) 14404.63/2207.33 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 14404.63/2207.33 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 14404.63/2207.33 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 14404.63/2207.33 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 14404.63/2207.33 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 14405.03/2207.43 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (329/337) 14405.03/2207.43 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 14405.03/2207.43 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 14405.03/2207.43 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 14405.03/2207.43 at org.chocosolver.solver.Solver.repair(Solver.java:443) 14405.03/2207.43 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 14405.03/2207.43 at org.chocosolver.solver.Solver.solve(Solver.java:262) 14405.03/2207.43 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 14405.03/2207.43 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 14405.03/2207.43 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 14405.03/2207.43 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 14405.03/2207.43 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 14405.03/2207.43 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 14405.03/2207.43 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 14405.03/2207.43 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 14405.03/2207.43 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 14405.03/2207.43 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 14405.31/2207.56 o 1111 14507.63/2232.79 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 14507.63/2232.79 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 14507.63/2232.79 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 14507.63/2232.79 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 14507.63/2232.79 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 14507.63/2232.79 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 14507.63/2232.79 Caused by: java.lang.ArrayIndexOutOfBoundsException 14507.63/2232.79 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 14507.63/2232.79 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 14507.63/2232.79 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 14507.63/2232.79 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 14507.63/2232.79 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 14507.63/2232.79 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 14507.63/2232.79 ... 4 more 14508.31/2232.92 Caused by: java.lang.ArrayIndexOutOfBoundsException 14508.31/2232.92 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 14508.31/2232.92 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 14508.31/2232.92 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 14508.31/2232.92 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 14508.31/2232.92 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 14508.31/2232.92 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 14508.31/2232.92 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 14508.31/2232.92 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 14508.31/2232.92 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 14508.31/2232.92 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 14508.31/2232.92 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 14508.31/2232.92 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 14508.31/2232.92 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 14508.31/2232.92 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 14508.31/2232.92 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 14508.31/2232.92 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 14508.31/2232.92 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 14508.31/2232.92 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 14508.64/2233.05 Caused by: java.lang.ArrayIndexOutOfBoundsException: -1 14508.64/2233.05 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.add(PropagationEngine.java:457) 14508.64/2233.05 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:474) 14508.64/2233.05 at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401) 14508.64/2233.05 at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566) 14508.64/2233.05 at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543) 14508.64/2233.05 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:88) 14508.64/2233.05 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 14508.64/2233.05 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 14508.64/2233.05 at org.chocosolver.solver.Solver.restart(Solver.java:596) 14508.64/2233.05 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 14508.64/2233.05 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 14508.64/2233.05 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 14508.64/2233.05 at org.chocosolver.solver.Solver.extend(Solver.java:421) 14508.64/2233.05 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 14508.64/2233.05 at org.chocosolver.solver.Solver.solve(Solver.java:262) 14508.64/2233.05 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 14508.64/2233.05 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 14508.64/2233.05 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 14508.64/2233.05 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 14508.64/2233.05 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 14508.64/2233.05 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 14508.64/2233.05 ... 4 more 14508.64/2233.05 o 1106 16485.33/2520.01 s SATISFIABLE 16485.33/2520.01 v <instantiation> 16485.33/2520.01 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list> 16485.33/2520.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 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 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 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 54 48 116 85 139 64 64 107 96 45 114 105 58 126 83 3 41 37 111 8 91 24 124 28 82 32 68 117 67 75 83 26 93 17 71 114 108 140 </values> 16485.33/2520.01 v </instantiation> 16485.33/2520.01 c Unexpected resolution interruption!
OK 1106
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 (14605 MiB free) memory of node 1: 16384 MiB (15626 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394623-1568424664/watcher-4394623-1568424664 -o /tmp/evaluation-result-4394623-1568424664/solver-4394623-1568424664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568417114-13946 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1533698599 HOME/instance-4394623-1568424664.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 solver pid=15248, runsolver pid=15245 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100152 s]* /proc/loadavg: 7.71 7.74 7.85 2/212 15269 /proc/meminfo: memFree=30940344/32770624 swapFree=66947420/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28227388 memory=28948 CPUtime=0.12 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 418408307 28904845312 7237 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7056847 7237 3120 1 0 7019032 0 [pid=15250/tid=15251] ppid=15248 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 418408307 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195569278208 140195565067670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28227388 memory=140578181052032 CPUtime=0 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15255] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15256] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15257] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15258] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15259] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15260] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408309 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15261] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15262] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15263] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15264] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15265] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15265/stat : 15265 (java) R 15248 15248 13919 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15266] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15267] ppid=15248 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/15250/task/15267/stat : 15267 (java) R 15248 15248 13919 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194156038384 140195565067670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15268] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15269] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30400 KiB [startup+0.210442 s]* /proc/loadavg: 7.71 7.74 7.85 3/212 15269 /proc/meminfo: memFree=30927116/32770624 swapFree=66947420/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28227388 memory=41044 CPUtime=0.34 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 9506 0 0 0 31 3 0 0 20 0 20 0 418408307 28904845312 10261 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7056847 10261 3271 1 0 7019032 0 [pid=15250/tid=15251] ppid=15248 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 418408307 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195569289616 140195565067670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28227388 memory=140578181067043 CPUtime=0 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15255] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15256] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15257] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15258] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15259] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15260] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418408309 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15261] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15262] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15263] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15264] ppid=15248 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15265] ppid=15248 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15266] ppid=15248 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15267] ppid=15248 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15268] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15269] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42496 KiB [startup+0.311084 s]* /proc/loadavg: 7.71 7.74 7.85 4/212 15269 /proc/meminfo: memFree=30919836/32770624 swapFree=66947420/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28231644 memory=50344 CPUtime=0.53 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 10937 0 0 0 49 4 0 0 20 0 20 0 418408307 28909203456 12586 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7057911 12586 3365 1 0 7019032 0 [pid=15250/tid=15251] ppid=15248 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 7817 0 0 0 27 3 0 0 20 0 20 0 418408307 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195569289504 140195549136222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15255] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15256] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15257] ppid=15248 vsize=28231644 memory=140578037787311 CPUtime=0 cores=0-7 /proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15258] ppid=15248 vsize=28231644 memory=140578037789616 CPUtime=0 cores=0-7 /proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15259] ppid=15248 vsize=28231644 memory=140578037791920 CPUtime=0 cores=0-7 /proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15260] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418408309 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15261] ppid=15248 vsize=28231644 memory=281156075597712 CPUtime=0 cores=0-7 /proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15262] ppid=15248 vsize=28231644 memory=281156075595408 CPUtime=0 cores=0-7 /proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15263] ppid=15248 vsize=28231644 memory=281156075602320 CPUtime=0 cores=0-7 /proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15264] ppid=15248 vsize=28231644 memory=281156075543600 CPUtime=0.03 cores=0-7 /proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15265] ppid=15248 vsize=28231644 memory=281156075616144 CPUtime=0.03 cores=0-7 /proc/15250/task/15265/stat : 15265 (java) R 15248 15248 13919 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194158133856 140195550179305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15266] ppid=15248 vsize=28231644 memory=281156075623056 CPUtime=0.02 cores=0-7 /proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15267] ppid=15248 vsize=28231644 memory=281156075620752 CPUtime=0.12 cores=0-7 /proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15268] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15269] ppid=15248 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51796 KiB [startup+0.700933 s] /proc/loadavg: 7.71 7.74 7.85 4/212 15269 /proc/meminfo: memFree=30898668/32770624 swapFree=66947420/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28233768 memory=96244 CPUtime=1.99 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 16257 0 0 0 192 7 0 0 20 0 20 0 418408307 28911378432 24061 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7058442 24061 3453 1 0 7019544 0 [pid=15250/tid=15251] ppid=15248 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 9215 0 0 0 63 4 0 0 20 0 20 0 418408307 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195569293296 140195203282815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28233768 memory=140578037998448 CPUtime=0 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 ################ # More data... # ################ Current children cumulated memory: 1472728 KiB [startup+2502.3 s] /proc/loadavg: 6.93 6.87 6.87 8/222 15693 /proc/meminfo: memFree=29513088/32770624 swapFree=66947516/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28901456 memory=1454100 CPUtime=16362.4 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 981143 0 0 0 1630673 5568 0 0 20 0 29 0 418408307 29595090944 363525 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7225364 363525 3563 1 0 7186466 0 [pid=15250/tid=15251] ppid=15248 vsize=28901456 memory=1469660 CPUtime=1.35 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) S 15248 15248 13919 0 -1 1077944384 12286 0 0 0 128 7 0 0 20 0 29 0 418408307 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195569296512 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28901456 memory=1412176 CPUtime=10.5 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 33783 0 0 0 982 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28901456 memory=1414808 CPUtime=10.6 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 33299 0 0 0 989 71 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28901456 memory=288230574492221466 CPUtime=10.63 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 39966 0 0 0 995 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15255] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.5 cores=0-7 /proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 37019 0 0 0 979 71 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15256] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.53 cores=0-7 /proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 39151 0 0 0 983 70 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15257] ppid=15248 vsize=28901456 memory=-3622645143214314312 CPUtime=10.54 cores=0-7 /proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 36564 0 0 0 988 66 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15258] ppid=15248 vsize=28901456 memory=1157000 CPUtime=10.47 cores=0-7 /proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 37925 0 0 0 979 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15259] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.52 cores=0-7 /proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 39989 0 0 0 980 72 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15260] ppid=15248 vsize=28901456 memory=1476836 CPUtime=65.41 cores=0-7 /proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 131327 0 0 0 2181 4360 0 0 20 0 29 0 418408309 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15261] ppid=15248 vsize=28901456 memory=-7751062316387021378 CPUtime=0 cores=0-7 /proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194162353504 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15262] ppid=15248 vsize=28901456 memory=924 CPUtime=0 cores=0-7 /proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194161301120 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15263] ppid=15248 vsize=28901456 memory=992 CPUtime=0 cores=0-7 /proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15264] ppid=15248 vsize=28901456 memory=2044 CPUtime=4.5 cores=0-7 /proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 27777 0 0 0 445 5 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15265] ppid=15248 vsize=28901456 memory=1428 CPUtime=4.86 cores=0-7 /proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 31718 0 0 0 482 4 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15266] ppid=15248 vsize=28901456 memory=1552 CPUtime=5.21 cores=0-7 /proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 29039 0 0 0 516 5 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15267] ppid=15248 vsize=28901456 memory=1040 CPUtime=1.52 cores=0-7 /proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 30718 0 0 0 148 4 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15268] ppid=15248 vsize=28901456 memory=4136 CPUtime=0 cores=0-7 /proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418408313 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15269] ppid=15248 vsize=28901456 memory=992 CPUtime=1.19 cores=0-7 /proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 6768 0 0 0 62 57 0 0 20 0 29 0 418408313 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15657] ppid=15248 vsize=28901456 memory=2044 CPUtime=291.67 cores=0-7 /proc/15250/task/15657/stat : 15657 (java) R 15248 15248 13919 0 -1 4202560 3772 0 0 0 29160 7 0 0 20 0 29 0 418629076 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194138417824 140195201506576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15662] ppid=15248 vsize=28901456 memory=1428 CPUtime=259.82 cores=0-7 /proc/15250/task/15662/stat : 15662 (java) R 15248 15248 13919 0 -1 4202560 1851 0 0 0 25980 2 0 0 20 0 29 0 418631612 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194140520024 140195212427529 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15663] ppid=15248 vsize=28901456 memory=11624 CPUtime=259.82 cores=0-7 /proc/15250/task/15663/stat : 15663 (java) R 15248 15248 13919 0 -1 4202560 1801 0 0 0 25981 1 0 0 20 0 29 0 418631625 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194139468856 140195208434102 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15664] ppid=15248 vsize=28901456 memory=740 CPUtime=259.32 cores=0-7 /proc/15250/task/15664/stat : 15664 (java) R 15248 15248 13919 0 -1 4202560 22791 0 0 0 25917 15 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194133150408 140195207211877 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15665] ppid=15248 vsize=28901456 memory=1056 CPUtime=260.05 cores=0-7 /proc/15250/task/15665/stat : 15665 (java) R 15248 15248 13919 0 -1 4202560 16432 0 0 0 25990 15 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194134203968 140195201506327 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15666] ppid=15248 vsize=28901456 memory=1552 CPUtime=259.89 cores=0-7 /proc/15250/task/15666/stat : 15666 (java) R 15248 15248 13919 0 -1 4202560 7520 0 0 0 25982 7 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194135257272 140195201506120 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15667] ppid=15248 vsize=28901456 memory=1040 CPUtime=2.01 cores=0-7 /proc/15250/task/15667/stat : 15667 (java) S 15248 15248 13919 0 -1 1077944384 382 0 0 0 201 0 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194141578128 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15668] ppid=15248 vsize=28901456 memory=4136 CPUtime=259.61 cores=0-7 /proc/15250/task/15668/stat : 15668 (java) R 15248 15248 13919 0 -1 4202560 1471 0 0 0 25960 1 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194137363384 140195206688464 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15669] ppid=15248 vsize=28901456 memory=2120 CPUtime=0.01 cores=0-7 /proc/15250/task/15669/stat : 15669 (java) S 15248 15248 13919 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194136315024 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 Current children cumulated CPU time: 16362.4 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 1455552 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 6.95 6.88 6.87 8/221 15693 /proc/meminfo: memFree=29504960/32770624 swapFree=66947516/67108860 [pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0 /proc/15248/statm: 28282 363 305 221 0 87 0 [pid=15250] ppid=15248 vsize=28901456 memory=1462316 CPUtime=16485.3 cores=0-7 /proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 982336 0 0 0 1642950 5583 0 0 20 0 29 0 418408307 29595090944 365579 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 /proc/15250/statm: 7225364 365579 3563 1 0 7186466 0 [pid=15250/tid=15251] ppid=15248 vsize=28901456 memory=8317482817917895235 CPUtime=1.35 cores=0-7 /proc/15250/task/15251/stat : 15251 (java) S 15248 15248 13919 0 -1 1077944384 12286 0 0 0 128 7 0 0 20 0 29 0 418408307 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195569296512 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15252] ppid=15248 vsize=28901456 memory=4872558044660077418 CPUtime=10.54 cores=0-7 /proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 33786 0 0 0 986 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15253] ppid=15248 vsize=28901456 memory=7375041667453183332 CPUtime=10.63 cores=0-7 /proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 33301 0 0 0 992 71 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15254] ppid=15248 vsize=28901456 memory=-9001727377965541479 CPUtime=10.66 cores=0-7 /proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 39973 0 0 0 998 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15255] ppid=15248 vsize=28901456 memory=6944613755328037015 CPUtime=10.53 cores=0-7 /proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 37026 0 0 0 982 71 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15256] ppid=15248 vsize=28901456 memory=7100839861499107429 CPUtime=10.56 cores=0-7 /proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 39155 0 0 0 986 70 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15257] ppid=15248 vsize=28901456 memory=281156075389168 CPUtime=10.58 cores=0-7 /proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 36568 0 0 0 992 66 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15258] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.5 cores=0-7 /proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 37929 0 0 0 982 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15259] ppid=15248 vsize=28901456 memory=1462316 CPUtime=10.54 cores=0-7 /proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 39990 0 0 0 982 72 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15260] ppid=15248 vsize=28901456 memory=3612 CPUtime=65.62 cores=0-7 /proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 131344 0 0 0 2189 4373 0 0 20 0 29 0 418408309 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15261] ppid=15248 vsize=28901456 memory=22344 CPUtime=0 cores=0-7 /proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194162353504 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15262] ppid=15248 vsize=28901456 memory=992 CPUtime=0 cores=0-7 /proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194161301120 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15263] ppid=15248 vsize=28901456 memory=2044 CPUtime=0 cores=0-7 /proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15264] ppid=15248 vsize=28901456 memory=1428 CPUtime=4.5 cores=0-7 /proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 27777 0 0 0 445 5 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15265] ppid=15248 vsize=28901456 memory=11624 CPUtime=4.86 cores=0-7 /proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 31718 0 0 0 482 4 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15266] ppid=15248 vsize=28901456 memory=740 CPUtime=5.21 cores=0-7 /proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 29039 0 0 0 516 5 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15267] ppid=15248 vsize=28901456 memory=1056 CPUtime=1.52 cores=0-7 /proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 30718 0 0 0 148 4 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15268] ppid=15248 vsize=28901456 memory=1552 CPUtime=0 cores=0-7 /proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418408313 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15269] ppid=15248 vsize=28901456 memory=1040 CPUtime=1.19 cores=0-7 /proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 6770 0 0 0 62 57 0 0 20 0 29 0 418408313 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15657] ppid=15248 vsize=28901456 memory=4136 CPUtime=309.33 cores=0-7 /proc/15250/task/15657/stat : 15657 (java) R 15248 15248 13919 0 -1 4202560 3776 0 0 0 30926 7 0 0 20 0 29 0 418629076 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194138414768 140195201506572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15662] ppid=15248 vsize=28901456 memory=780 CPUtime=277.27 cores=0-7 /proc/15250/task/15662/stat : 15662 (java) R 15248 15248 13919 0 -1 4202560 1860 0 0 0 27725 2 0 0 20 0 29 0 418631612 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194140520520 140195205688960 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15663] ppid=15248 vsize=28901456 memory=2832 CPUtime=277.29 cores=0-7 /proc/15250/task/15663/stat : 15663 (java) R 15248 15248 13919 0 -1 4202560 1802 0 0 0 27728 1 0 0 20 0 29 0 418631625 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194139468904 140195207176543 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15664] ppid=15248 vsize=28901456 memory=1720 CPUtime=276.78 cores=0-7 /proc/15250/task/15664/stat : 15664 (java) R 15248 15248 13919 0 -1 4202560 22813 0 0 0 27663 15 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194133151720 140195198739608 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15665] ppid=15248 vsize=28901456 memory=1200 CPUtime=277.51 cores=0-7 /proc/15250/task/15665/stat : 15665 (java) R 15248 15248 13919 0 -1 4202560 17533 0 0 0 27736 15 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194134204216 140195205688960 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15666] ppid=15248 vsize=28901456 memory=3612 CPUtime=277.35 cores=0-7 /proc/15250/task/15666/stat : 15666 (java) R 15248 15248 13919 0 -1 4202560 7521 0 0 0 27728 7 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194135260064 140195199555100 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15667] ppid=15248 vsize=28901456 memory=22344 CPUtime=2.01 cores=0-7 /proc/15250/task/15667/stat : 15667 (java) S 15248 15248 13919 0 -1 1077944384 382 0 0 0 201 0 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194141578128 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15668] ppid=15248 vsize=28901456 memory=992 CPUtime=277.08 cores=0-7 /proc/15250/task/15668/stat : 15668 (java) R 15248 15248 13919 0 -1 4202560 1475 0 0 0 27707 1 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194137363384 140195208330071 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 [pid=15250/tid=15669] ppid=15248 vsize=28901456 memory=1462316 CPUtime=0.01 cores=0-7 /proc/15250/task/15669/stat : 15669 (java) S 15248 15248 13919 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194136315024 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0 Current children cumulated CPU time: 16485.3 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 1463768 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 15248 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001251 s, system=0.001251 s [startup+2520.11 s] # the end of solver process 15250 was just reported to runsolver # cumulated CPU time of all completed processes: user=16429.7 s, system=55.8976 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.11 CPU time (s): 16485.6 CPU user time (s): 16429.7 CPU system time (s): 55.8976 CPU usage (%): 654.161 Max. virtual memory (cumulated for all children) (KiB): 29014584 Max. memory (cumulated for all children) (KiB): 2861352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16429.7 system time used= 55.8976 maximum resident set size= 2861948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 983037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 115990 involuntary context switches= 133893 # summary of solver processes directly reported to runsolver: # pid: 15248,15250 # total CPU time (s): 16485.6 # total CPU user time (s): 16429.7 # total CPU system time (s): 55.8976 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.7669 second user time and 29.7661 second system time The end
Begin job on node117 at 2019-09-14 03:30:21 IDJOB=4394623 IDBENCH=124389 IDSOLVER=2843 FILE ID=node117/4394623-1568424664 RUNJOBID= node117-1568417114-13946 PBS_JOBID= 21702269 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394623-1568424664/watcher-4394623-1568424664 -o /tmp/evaluation-result-4394623-1568424664/solver-4394623-1568424664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568417114-13946 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1533698599 HOME/instance-4394623-1568424664.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189 RANDOM SEED=1533698599 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30957496 kB MemAvailable: 31868780 kB Buffers: 136776 kB Cached: 1042864 kB SwapCached: 51348 kB Active: 768160 kB Inactive: 464800 kB Active(anon): 18380 kB Inactive(anon): 58620 kB Active(file): 749780 kB Inactive(file): 406180 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947420 kB Dirty: 26284 kB Writeback: 28 kB AnonPages: 113032 kB Mapped: 33324 kB Shmem: 15344 kB Slab: 170476 kB SReclaimable: 142316 kB SUnreclaim: 28160 kB KernelStack: 3376 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:12:22