0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393969-1568433908.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393969-1568433908.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
0.73/0.47 c solve instance...
0.73/0.51 o 0
0.73/0.51 o 236
1.04/0.53 o 264
1.04/0.53 o 266
1.04/0.53 o 300
1.04/0.54 o 878
1.04/0.54 o 883
1.04/0.55 o 893
1.04/0.58 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/43)
1.04/0.58 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.04/0.58 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.04/0.58 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.04/0.58 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.04/0.58 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.04/0.58 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/43)
1.04/0.58 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.04/0.58 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.04/0.58 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.04/0.58 at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.04/0.58 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.04/0.58 at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.04/0.58 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.04/0.58 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.04/0.58 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.04/0.58 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.04/0.58 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.04/0.58 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.04/0.58 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.04/0.58 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.04/0.58 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.04/0.58 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.04/0.58 o 894
1.04/0.59 o 899
1.04/0.59 o 900
1.04/0.60 o 914
1.36/0.61 o 922
1.36/0.61 o 928
1.36/0.62 o 929
1.36/0.63 o 972
1.36/0.63 o 973
1.36/0.68 o 975
1.36/0.69 o 981
1.36/0.69 o 1015
1.36/0.69 o 1016
1.94/0.71 o 1017
1.94/0.71 o 1018
1.94/0.71 o 1023
1.94/0.71 o 1024
1.94/0.72 o 1028
1.94/0.72 o 1029
1.94/0.74 o 1034
1.94/0.74 o 1040
1.94/0.75 o 1067
1.94/0.76 o 1069
1.94/0.76 o 1070
1.94/0.77 o 1077
1.94/0.78 o 1098
2.49/0.80 o 1121
2.49/0.81 o 1130
2.49/0.82 o 1134
2.49/0.83 o 1135
2.49/0.84 o 1140
2.49/0.84 o 1143
2.49/0.84 o 1148
2.49/0.84 o 1151
2.49/0.85 o 1160
2.49/0.85 o 1165
2.49/0.85 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (35/37)
2.49/0.85 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.49/0.85 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.49/0.85 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.49/0.85 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.49/0.85 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.49/0.85 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (35/37)
2.49/0.85 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
2.49/0.85 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.49/0.85 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.49/0.85 at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.49/0.85 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.49/0.85 at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.49/0.85 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.49/0.85 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.49/0.85 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.49/0.85 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.49/0.85 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.49/0.85 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.49/0.85 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.49/0.85 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.49/0.85 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.49/0.85 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.49/0.85 o 1166
2.49/0.85 o 1171
2.49/0.88 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a satisfied signed clause: #1134 : ?TRUE : (x[20] = 1 ∈ [1,1]:TRUE) ∨ (x[0] = 0 ∈ [1,1]:FALSE) ∨ (x[4] = 1 ∈ [0,0]:FALSE) ∨ (x[6] = 0 ∈ [1,1]:FALSE) ∨ (x[10] = 0 ∈ [1,1]:FALSE) ∨ (x[11] = 0 ∈ [1,1]:FALSE) ∨ (x[12] = 1 ∈ [0,0]:FALSE) ∨ (x[13] = 0 ∈ [1,1]:FALSE) ∨ (x[14] = 0 ∈ [1,1]:FALSE) ∨ (x[15] = 0 ∈ [1,1]:FALSE) ∨ (x[16] = 0 ∈ [1,1]:FALSE) ∨ (x[17] = 1 ∈ [0,0]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [1284,2815]:FALSE) ∨ (x[21] = 0 ∈ [1,1]:FALSE) ∨ (x[23] = 0 ∈ [1,1]:FALSE) ∨ (x[24] = 0 ∈ [1,1]:FALSE) ∨ (x[25] = 0 ∈ [1,1]:FALSE) ∨ (x[27] = 0 ∈ [1,1]:FALSE) ∨ (x[28] = 0 ∈ [1,1]:FALSE) ∨ (x[31] = 0 ∈ [1,1]:FALSE) ∨ (x[34] = 0 ∈ [1,1]:FALSE) ∨ (x[35] = 0 ∈ [1,1]:FALSE) ∨ (x[36] = 0 ∈ [1,1]:FALSE) ∨ (x[37] = 0 ∈ [1,1]:FALSE) ∨ (x[38] = 0 ∈ [1,1]:FALSE) ∨ (x[39] = 0 ∈ [1,1]:FALSE) ∨ (x[40] = 0 ∈ [1,1]:FALSE) ∨ (x[41] = 0 ∈ [1,1]:FALSE) ∨ (x[42] = 0 ∈ [1,1]:FALSE) ∨ (x[43] = 0 ∈ [1,1]:FALSE) ∨ (x[44] = 0 ∈ [1,1]:FALSE) ∨ (x[45] = 0 ∈ [1,1]:FALSE) ∨ (x[46] = 1 ∈ [0,0]:FALSE) ∨ (x[47] = 0 ∈ [1,1]:FALSE) ∨ (x[48] = 0 ∈ [1,1]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [0,1165]:FALSE) ∨ (x[3] = 0 ∈ [1,1]:FALSE)
2.49/0.88 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.49/0.88 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.49/0.88 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.49/0.88 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.49/0.88 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.49/0.88 Caused by: org.chocosolver.solver.exception.SolverException: Learn a satisfied signed clause: #1134 : ?TRUE : (x[20] = 1 ∈ [1,1]:TRUE) ∨ (x[0] = 0 ∈ [1,1]:FALSE) ∨ (x[4] = 1 ∈ [0,0]:FALSE) ∨ (x[6] = 0 ∈ [1,1]:FALSE) ∨ (x[10] = 0 ∈ [1,1]:FALSE) ∨ (x[11] = 0 ∈ [1,1]:FALSE) ∨ (x[12] = 1 ∈ [0,0]:FALSE) ∨ (x[13] = 0 ∈ [1,1]:FALSE) ∨ (x[14] = 0 ∈ [1,1]:FALSE) ∨ (x[15] = 0 ∈ [1,1]:FALSE) ∨ (x[16] = 0 ∈ [1,1]:FALSE) ∨ (x[17] = 1 ∈ [0,0]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [1284,2815]:FALSE) ∨ (x[21] = 0 ∈ [1,1]:FALSE) ∨ (x[23] = 0 ∈ [1,1]:FALSE) ∨ (x[24] = 0 ∈ [1,1]:FALSE) ∨ (x[25] = 0 ∈ [1,1]:FALSE) ∨ (x[27] = 0 ∈ [1,1]:FALSE) ∨ (x[28] = 0 ∈ [1,1]:FALSE) ∨ (x[31] = 0 ∈ [1,1]:FALSE) ∨ (x[34] = 0 ∈ [1,1]:FALSE) ∨ (x[35] = 0 ∈ [1,1]:FALSE) ∨ (x[36] = 0 ∈ [1,1]:FALSE) ∨ (x[37] = 0 ∈ [1,1]:FALSE) ∨ (x[38] = 0 ∈ [1,1]:FALSE) ∨ (x[39] = 0 ∈ [1,1]:FALSE) ∨ (x[40] = 0 ∈ [1,1]:FALSE) ∨ (x[41] = 0 ∈ [1,1]:FALSE) ∨ (x[42] = 0 ∈ [1,1]:FALSE) ∨ (x[43] = 0 ∈ [1,1]:FALSE) ∨ (x[44] = 0 ∈ [1,1]:FALSE) ∨ (x[45] = 0 ∈ [1,1]:FALSE) ∨ (x[46] = 1 ∈ [0,0]:FALSE) ∨ (x[47] = 0 ∈ [1,1]:FALSE) ∨ (x[48] = 0 ∈ [1,1]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [0,1165]:FALSE) ∨ (x[3] = 0 ∈ [1,1]:FALSE)
2.49/0.88 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:185)
2.49/0.88 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.49/0.88 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.49/0.88 at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.49/0.88 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.49/0.88 at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.49/0.88 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.49/0.88 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.49/0.88 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.49/0.88 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.49/0.88 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.49/0.88 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.49/0.88 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.49/0.88 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.49/0.88 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.49/0.88 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.49/0.88 o 1187
2.49/0.88 o 1189
3.17/0.90 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (30/32)
3.17/0.90 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
3.17/0.90 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
3.17/0.90 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
3.17/0.90 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
3.17/0.90 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
3.17/0.90 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (30/32)
3.17/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
3.17/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
3.17/0.90 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
3.17/0.90 at org.chocosolver.solver.Solver.repair(Solver.java:443)
3.17/0.90 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
3.17/0.90 at org.chocosolver.solver.Solver.solve(Solver.java:262)
3.17/0.90 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
3.17/0.90 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
3.17/0.90 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
3.17/0.90 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
3.17/0.90 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
3.17/0.90 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
3.17/0.90 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
3.17/0.90 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
3.17/0.90 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
3.17/0.90 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
3.17/0.90 o 1221
3.17/0.95 o 1228
3.17/1.00 o 1257
4.01/1.06 o 1286
4.75/1.15 o 1290
4.75/1.15 o 1296
4.75/1.15 o 1350
4.75/1.15 o 1352
4.75/1.15 o 1363
4.75/1.15 o 1366
4.75/1.15 o 1382
4.75/1.17 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/35)
4.75/1.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.75/1.17 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.75/1.17 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.75/1.17 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.75/1.17 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.75/1.17 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/35)
4.75/1.17 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.75/1.17 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.75/1.17 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.75/1.17 at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.75/1.17 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.75/1.17 at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.75/1.17 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.75/1.17 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.75/1.17 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.75/1.17 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.75/1.17 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.75/1.17 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.75/1.17 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.75/1.17 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.75/1.17 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.75/1.17 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.75/1.17 o 1383
16.29/3.24 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.24 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.24 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.24 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.24 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.24 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.24 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.24 at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.24 at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.24 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.24 at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.24 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.24 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.24 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.24 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.24 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.24 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.24 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.24 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.24 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.24 o 1385
16.29/3.24 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.24 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.24 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.24 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.24 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.24 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.25 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.25 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.25 at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.25 at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.25 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.25 at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.25 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.25 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.25 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.25 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.25 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.25 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.25 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.25 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.25 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.25 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.25 o 1389
16.29/3.26 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.26 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.26 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.26 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.26 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.26 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.26 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.26 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.26 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.26 at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.26 at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.26 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.26 at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.26 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.26 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.26 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.26 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.26 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.26 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.26 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.26 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.26 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.26 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.26 o 1421
16.29/3.27 o 1425
98.16/19.45 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
98.16/19.45 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
98.16/19.45 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
98.16/19.45 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
98.16/19.45 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
98.16/19.45 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
98.16/19.45 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
98.16/19.45 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
98.16/19.45 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
98.16/19.45 at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
98.16/19.45 at org.chocosolver.solver.Solver.extend(Solver.java:421)
98.16/19.45 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
98.16/19.45 at org.chocosolver.solver.Solver.solve(Solver.java:262)
98.16/19.45 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
98.16/19.45 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
98.16/19.45 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
98.16/19.45 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
98.16/19.45 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
98.16/19.45 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
98.16/19.45 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
98.16/19.45 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
98.16/19.45 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
98.16/19.45 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
98.16/19.45 o 1427
127.12/23.33 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
127.12/23.33 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
127.12/23.33 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
127.12/23.33 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
127.12/23.33 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
127.12/23.33 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
127.12/23.33 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
127.12/23.33 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
127.12/23.33 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
127.12/23.33 at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
127.12/23.33 at org.chocosolver.solver.Solver.extend(Solver.java:421)
127.12/23.33 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
127.12/23.33 at org.chocosolver.solver.Solver.solve(Solver.java:262)
127.12/23.33 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
127.12/23.33 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
127.12/23.33 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
127.12/23.33 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
127.12/23.33 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
127.12/23.33 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
127.12/23.33 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
127.12/23.33 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
127.12/23.33 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
127.12/23.33 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
127.12/23.33 s OPTIMUM FOUND
127.12/23.33 v <instantiation>
127.12/23.33 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
127.12/23.33 v <values>0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 </values>
127.12/23.33 v </instantiation>
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 (14564 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393969-1568433908/watcher-4393969-1568433908 -o /tmp/evaluation-result-4393969-1568433908/solver-4393969-1568433908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2035463424 HOME/instance-4393969-1568433908.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27409, runsolver pid=27406
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 4.45 5.32 4.13 2/213 27432
/proc/meminfo: memFree=30910468/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28227388 memory=28788 CPUtime=0.12 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 419332770 28904845312 7197 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7056847 7197 3118 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 3600 0 0 0 8 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207916151680 140207895995742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28227388 memory=140008016742016 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) R 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) R 27409 27409 15751 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206167202160 140207911936602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30240 KiB
[startup+0.210588 s]*
/proc/loadavg: 4.45 5.32 4.13 4/213 27432
/proc/meminfo: memFree=30897588/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28227388 memory=40824 CPUtime=0.34 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 9497 0 0 0 31 3 0 0 20 0 20 0 419332770 28904845312 10206 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7056847 10206 3244 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207916149352 140207911927190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28227388 memory=140008019707901 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) R 27409 27409 15751 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206167201968 140207889907181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42276 KiB
[startup+0.310441 s]*
/proc/loadavg: 4.45 5.32 4.13 4/213 27432
/proc/meminfo: memFree=30889940/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28231644 memory=50244 CPUtime=0.53 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 10911 0 0 0 49 4 0 0 20 0 20 0 419332770 28909203456 12561 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7057911 12561 3352 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 7787 0 0 0 27 3 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207916149232 140207911937181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28231644 memory=140007880878767 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28231644 memory=140007880881072 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28231644 memory=140007880883376 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419332773 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28231644 memory=280015761780624 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28231644 memory=280015761778320 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28231644 memory=280015761785232 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28231644 memory=280015761726512 CPUtime=0.03 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 641 0 0 0 3 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28231644 memory=280015761799056 CPUtime=0.02 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28231644 memory=280015761805968 CPUtime=0.03 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) R 27409 27409 15751 0 -1 4202560 158 0 0 0 3 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206168235720 140207897040647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28231644 memory=280015761803664 CPUtime=0.12 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51696 KiB
[startup+0.700974 s]
/proc/loadavg: 4.45 5.32 4.13 7/221 27440
/proc/meminfo: memFree=30857284/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28767308 memory=189088 CPUtime=1.94 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 18466 0 0 0 183 11 0 0 20 0 27 0 419332770 29457723392 47272 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7191827 47272 3479 1 0 7152929 0
[pid=27411/tid=27412] ppid=27409 vsize=28767308 memory=0 CPUtime=0.48 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9131 0 0 0 44 4 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28767308 memory=140007881089904 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) R 27409 27409 15751 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207868467984 140207905021801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28767308 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) R 27409 27409 15751 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207867415440 140207905015102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28767308 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) R 27409 27409 15751 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207866362896 140207896943147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
################
# More data... #
################
[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=0 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5323 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=6935649255794500672 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=6081102367496431977 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=8751464017575753784 CPUtime=3.23 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 323 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206151679264 140207551700929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=0 CPUtime=3.07 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 307 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206153786296 140207554781647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=0 CPUtime=3.23 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 323 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206149573416 140207554439038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=0 CPUtime=3.04 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 49 0 0 0 304 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206155890384 140207551704913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=0 CPUtime=3.19 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 4202560 92 0 0 0 319 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206152732496 140207553170562 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1552 CPUtime=3.21 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 321 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206148521936 140207552578221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=1040 CPUtime=3.12 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 312 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206150627408 140207553056438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=4136 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 123.47 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1181928 KiB
[startup+23.2064 s]
/proc/loadavg: 5.27 5.46 4.21 9/220 27959
/proc/meminfo: memFree=29757620/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28834892 memory=1180584 CPUtime=126.42 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 68036 0 0 0 12569 73 0 0 20 0 28 0 419332770 29526929408 295146 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7208723 295146 3525 1 0 7169825 0
[pid=27411/tid=27412] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.5 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9500 0 0 0 46 4 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28834892 memory=1140212 CPUtime=0.05 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 275 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 581 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28834892 memory=7017846614935562855 CPUtime=0.04 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 476 0 0 0 3 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28834892 memory=7234030490512353113 CPUtime=0.06 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 599 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28834892 memory=3472468303301059985 CPUtime=0.05 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 509 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28834892 memory=7649399397150177074 CPUtime=0.03 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 197 0 0 0 2 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28834892 memory=740 CPUtime=0.06 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 424 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28834892 memory=1056 CPUtime=0.03 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2273 0 0 0 2 1 0 0 20 0 28 0 419332773 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28834892 memory=1552 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419332773 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206173517280 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28834892 memory=1040 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419332774 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206172464640 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28834892 memory=4136 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28834892 memory=780 CPUtime=2.49 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 10278 0 0 0 248 1 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28834892 memory=2832 CPUtime=1.95 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 9322 0 0 0 192 3 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28834892 memory=1720 CPUtime=2.14 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 7663 0 0 0 211 3 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=1200 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5328 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=2120 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=500 CPUtime=3.62 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 362 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206151679264 140207554781796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=1556 CPUtime=3.47 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 347 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206153786176 140207553222245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=924 CPUtime=3.63 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 363 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206149570664 140207554439703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=1672 CPUtime=3.45 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 49 0 0 0 345 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206155890480 140207551056396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=796 CPUtime=3.59 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 4202560 92 0 0 0 359 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206152732496 140207553831169 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1436 CPUtime=3.62 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 362 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206148521936 140207551699932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=1984 CPUtime=3.52 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 352 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206150627504 140207551700903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=2424 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 126.42 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1182036 KiB
[startup+23.3091 s]
/proc/loadavg: 5.27 5.46 4.21 9/220 27959
/proc/meminfo: memFree=29757620/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28834892 memory=1189792 CPUtime=127.12 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 68094 0 0 0 12638 74 0 0 20 0 28 0 419332770 29526929408 297448 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7208723 297448 3525 1 0 7169825 0
[pid=27411/tid=27412] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.5 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9500 0 0 0 46 4 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28834892 memory=1764 CPUtime=0.06 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 275 0 0 0 5 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.07 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 587 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28834892 memory=1159704 CPUtime=0.05 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 149 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28834892 memory=4255 CPUtime=0.05 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 487 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28834892 memory=364 CPUtime=0.07 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 610 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28834892 memory=11624 CPUtime=0.07 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 518 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28834892 memory=740 CPUtime=0.03 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 197 0 0 0 2 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28834892 memory=240 CPUtime=0.07 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 433 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28834892 memory=255 CPUtime=0.03 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2273 0 0 0 2 1 0 0 20 0 28 0 419332773 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28834892 memory=2308 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419332773 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206173517280 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28834892 memory=4516 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419332774 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206172464640 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28834892 memory=1140144 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28834892 memory=3080230 CPUtime=2.49 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 10278 0 0 0 248 1 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28834892 memory=240131621575268 CPUtime=1.95 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 9322 0 0 0 192 3 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28834892 memory=6440518459660199778 CPUtime=2.14 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 7663 0 0 0 211 3 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=56 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5328 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=7682475212697334576 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=6944656425123422800 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=1140212 CPUtime=3.71 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 371 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206151675760 140207547586942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=1720 CPUtime=3.56 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 356 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206153785808 140207551788196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=1200 CPUtime=3.72 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 372 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206149571360 140207554439116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=5964 CPUtime=3.54 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 50 0 0 0 354 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206155889376 140207551700975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=1452 CPUtime=3.68 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 1077944384 92 0 0 0 368 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206152732496 140207911926402 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1139220 CPUtime=3.7 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 370 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206148518304 140207553171593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=597 CPUtime=3.61 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 361 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206150627504 140207553170562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=1452 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 127.12 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1191244 KiB
Child status: 0
Real time (s): 23.3517
CPU time (s): 127.327
CPU user time (s): 126.566
CPU system time (s): 0.761158
CPU usage (%): 545.259
Max. virtual memory (cumulated for all children) (KiB): 28949816
Max. memory (cumulated for all children) (KiB): 1191244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.566
system time used= 0.761158
maximum resident set size= 1192872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10540
involuntary context switches= 883
# summary of solver processes directly reported to runsolver:
# pid: 27409
# total CPU time (s): 127.327
# total CPU user time (s): 126.566
# total CPU system time (s): 0.761158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21466 second user time and 0.312612 second system time
The end