Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 44 | 23.8317 | 4.28234 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml |
MD5SUM | d869450afe9c29c5d3a1d31c4402b074 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 56 |
Best CPU time to get the best result obtained on this benchmark | 22.6671 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":1},{"size":4,"count":8},{"size":5,"count":12},{"size":6,"count":3},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394553-1568430744.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394553-1568430744.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.46/1.77 c solve instance... 5.58/1.91 o -1000 5.58/1.99 o -998 6.41/2.03 o -996 7.85/2.25 o -993 7.85/2.26 o -991 8.63/2.34 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (71/73) 8.63/2.34 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 8.63/2.34 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 8.63/2.34 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 8.63/2.34 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 8.63/2.34 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 8.63/2.34 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (71/73) 8.63/2.34 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 8.63/2.34 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 8.63/2.34 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 8.63/2.34 at org.chocosolver.solver.Solver.repair(Solver.java:443) 8.63/2.34 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 8.63/2.34 at org.chocosolver.solver.Solver.solve(Solver.java:262) 8.63/2.34 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 8.63/2.34 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 8.63/2.34 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 8.63/2.34 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 8.63/2.34 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 8.63/2.34 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 8.63/2.34 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 8.63/2.34 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 8.63/2.34 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 8.63/2.34 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 8.63/2.34 o -987 8.63/2.37 o -985 17.23/3.43 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/126) 17.23/3.43 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 17.23/3.43 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 17.23/3.43 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 17.23/3.43 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 17.23/3.43 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 17.23/3.43 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/126) 17.23/3.43 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 17.23/3.43 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 17.23/3.43 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 17.23/3.43 at org.chocosolver.solver.Solver.repair(Solver.java:443) 17.23/3.43 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 17.23/3.43 at org.chocosolver.solver.Solver.solve(Solver.java:262) 17.23/3.43 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 17.23/3.43 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 17.23/3.43 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 17.23/3.43 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 17.23/3.43 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 17.23/3.43 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 17.23/3.43 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 17.23/3.43 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 17.23/3.43 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 17.23/3.43 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 17.23/3.43 o -965 22.78/4.17 java.util.concurrent.ExecutionException: java.lang.NullPointerException 22.78/4.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 22.78/4.17 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 22.78/4.17 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 22.78/4.17 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 22.78/4.17 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 22.78/4.17 Caused by: java.lang.NullPointerException 22.78/4.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 22.78/4.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 22.78/4.17 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 22.78/4.17 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 22.78/4.17 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 22.78/4.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 22.78/4.17 ... 4 more 22.78/4.17 Caused by: java.lang.NullPointerException 22.78/4.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 22.78/4.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 22.78/4.17 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 22.78/4.17 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 22.78/4.17 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 22.78/4.17 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 22.78/4.17 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 22.78/4.17 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 22.78/4.17 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 22.78/4.17 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 22.78/4.17 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 22.78/4.17 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 22.78/4.17 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 22.78/4.17 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 22.78/4.17 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 22.78/4.17 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 22.78/4.17 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 22.78/4.17 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 22.78/4.17 Caused by: java.lang.NullPointerException 22.78/4.17 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 22.78/4.17 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 22.78/4.17 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181) 22.78/4.17 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102) 22.78/4.17 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71) 22.78/4.17 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84) 22.78/4.17 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127) 22.78/4.17 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167) 22.78/4.17 at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121) 22.78/4.17 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62) 22.78/4.17 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 22.78/4.17 at org.chocosolver.solver.Solver.extend(Solver.java:421) 22.78/4.17 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 22.78/4.17 at org.chocosolver.solver.Solver.solve(Solver.java:262) 22.78/4.17 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 22.78/4.17 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 22.78/4.17 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 22.78/4.17 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 22.78/4.17 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 22.78/4.17 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 22.78/4.17 ... 4 more 22.78/4.17 o 2 22.78/4.18 o 14 23.46/4.20 java.util.concurrent.ExecutionException: java.lang.NullPointerException 23.46/4.20 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 23.46/4.20 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 23.46/4.20 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 23.46/4.20 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 23.46/4.20 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 23.46/4.20 Caused by: java.lang.NullPointerException 23.46/4.20 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 23.46/4.20 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 23.46/4.20 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 23.46/4.20 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 23.46/4.20 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 23.46/4.20 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 23.46/4.20 ... 4 more 23.46/4.20 Caused by: java.lang.NullPointerException 23.46/4.20 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 23.46/4.20 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 23.46/4.20 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 23.46/4.20 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 23.46/4.20 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 23.46/4.20 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 23.46/4.20 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 23.46/4.20 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 23.46/4.20 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 23.46/4.20 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 23.46/4.20 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 23.46/4.20 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 23.46/4.20 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 23.46/4.20 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 23.46/4.20 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 23.46/4.20 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 23.46/4.20 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 23.46/4.20 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 23.46/4.21 Caused by: java.lang.NullPointerException 23.46/4.21 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 23.46/4.21 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 23.46/4.21 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164) 23.46/4.21 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102) 23.46/4.21 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71) 23.46/4.21 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84) 23.46/4.21 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127) 23.46/4.21 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167) 23.46/4.21 at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121) 23.46/4.21 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62) 23.46/4.21 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 23.46/4.21 at org.chocosolver.solver.Solver.extend(Solver.java:421) 23.46/4.21 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 23.46/4.21 at org.chocosolver.solver.Solver.solve(Solver.java:262) 23.46/4.21 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 23.46/4.21 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 23.46/4.21 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 23.46/4.21 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 23.46/4.21 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 23.46/4.21 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 23.46/4.21 ... 4 more 23.46/4.21 o 30 23.46/4.24 java.util.concurrent.ExecutionException: java.lang.NullPointerException 23.46/4.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 23.46/4.24 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 23.46/4.24 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 23.46/4.24 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 23.46/4.24 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 23.46/4.24 Caused by: java.lang.NullPointerException 23.46/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 23.46/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 23.46/4.24 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 23.46/4.24 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 23.46/4.24 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 23.46/4.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 23.46/4.24 ... 4 more 23.46/4.24 Caused by: java.lang.NullPointerException 23.46/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 23.46/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 23.46/4.24 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 23.46/4.24 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 23.46/4.24 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 23.46/4.24 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 23.46/4.24 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 23.46/4.24 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 23.46/4.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 23.46/4.24 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 23.46/4.24 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 23.46/4.24 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 23.46/4.24 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 23.46/4.24 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 23.46/4.24 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 23.46/4.24 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 23.46/4.24 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 23.46/4.24 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 23.46/4.24 Caused by: java.lang.NullPointerException 23.46/4.24 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 23.46/4.24 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 23.46/4.24 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164) 23.46/4.24 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102) 23.46/4.24 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71) 23.46/4.24 at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84) 23.46/4.24 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127) 23.46/4.24 at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167) 23.46/4.24 at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121) 23.46/4.24 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62) 23.46/4.24 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 23.46/4.24 at org.chocosolver.solver.Solver.extend(Solver.java:421) 23.46/4.24 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 23.46/4.24 at org.chocosolver.solver.Solver.solve(Solver.java:262) 23.46/4.24 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 23.46/4.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 23.46/4.24 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 23.46/4.24 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 23.46/4.24 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 23.46/4.24 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 23.46/4.24 ... 4 more 23.46/4.24 o 44 23.46/4.24 s OPTIMUM FOUND 23.46/4.24 v <instantiation> 23.46/4.24 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 23.46/4.24 v <values>1 2 3 4 5 11 0 6 7 8 9 10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 1 2 3 4 5 11 10 9 8 7 6 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 7 5 2 -2 5 7 1 1 8 2 2 6 0 0 0 0 0 0 0 0 0 0 0 0 </values> 23.46/4.24 v </instantiation>
OK 44
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 (12763 MiB free) memory of node 1: 16384 MiB (13246 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394553-1568430744/watcher-4394553-1568430744 -o /tmp/evaluation-result-4394553-1568430744/solver-4394553-1568430744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568427795-29225 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 772197999 HOME/instance-4394553-1568430744.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30064, runsolver pid=30061 [startup+0.100131 s]* /proc/loadavg: 6.20 7.49 7.38 2/213 30085 /proc/meminfo: memFree=26617168/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28227388 memory=29176 CPUtime=0.12 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 5768 0 0 0 11 1 0 0 20 0 20 0 419321738 28904845312 7294 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7056847 7294 3117 1 0 7019032 0 [pid=30066/tid=30067] ppid=30064 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) R 30064 30064 29198 0 -1 4202560 3678 0 0 0 8 0 0 0 20 0 20 0 419321738 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219917577728 140219913364058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28227388 memory=139998003365504 CPUtime=0 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30071] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30071/stat : 30071 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219461172240 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30072] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30072/stat : 30072 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219460118928 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30073] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30073/stat : 30073 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219459066128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30074] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30074/stat : 30074 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219458013840 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30075] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30075/stat : 30075 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 7294 33554432000 4194304 4196468 140737448801264 140219456961040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30076] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218376398112 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218375345776 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) S 30064 30064 29198 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218373240944 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) S 30064 30064 29198 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218372188144 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218371135856 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) S 30064 30064 29198 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218370083056 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 7294 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30628 KiB [startup+0.21033 s]* /proc/loadavg: 6.20 7.49 7.38 2/213 30085 /proc/meminfo: memFree=26603772/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28227388 memory=41352 CPUtime=0.34 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 9550 0 0 0 31 3 0 0 20 0 20 0 419321738 28904845312 10338 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7056847 10338 3313 1 0 7019032 0 [pid=30066/tid=30067] ppid=30064 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) R 30064 30064 29198 0 -1 4202560 6694 0 0 0 18 2 0 0 20 0 20 0 419321738 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219917571424 140219897423198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28227388 memory=3835009193841428128 CPUtime=0 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30071] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30071/stat : 30071 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219461172240 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30072] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30072/stat : 30072 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219460118928 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30073] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30073/stat : 30073 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219459066128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30074] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30074/stat : 30074 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219458013840 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30075] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30075/stat : 30075 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321739 28904845312 10338 33554432000 4194304 4196468 140737448801264 140219456961040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30076] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218376398112 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419321741 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218375345776 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) S 30064 30064 29198 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218373240944 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) S 30064 30064 29198 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218372188144 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) S 30064 30064 29198 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218371135856 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) S 30064 30064 29198 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218370083056 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28904845312 10338 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42804 KiB [startup+0.309727 s]* /proc/loadavg: 6.20 7.49 7.38 3/213 30085 /proc/meminfo: memFree=26598968/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28231644 memory=50408 CPUtime=0.51 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 10897 0 0 0 48 3 0 0 20 0 20 0 419321738 28909203456 12602 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7057911 12602 3355 1 0 7019032 0 [pid=30066/tid=30067] ppid=30064 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) R 30064 30064 29198 0 -1 4202560 7808 0 0 0 27 2 0 0 20 0 20 0 419321738 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219917576496 140219892644415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30071] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30071/stat : 30071 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219461172240 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30072] ppid=30064 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/30066/task/30072/stat : 30072 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219460118928 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30073] ppid=30064 vsize=28231644 memory=139997881660335 CPUtime=0 cores=0-7 /proc/30066/task/30073/stat : 30073 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219459066128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30074] ppid=30064 vsize=28231644 memory=139997881662640 CPUtime=0 cores=0-7 /proc/30066/task/30074/stat : 30074 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219458013840 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30075] ppid=30064 vsize=28231644 memory=139997881664944 CPUtime=0 cores=0-7 /proc/30066/task/30075/stat : 30075 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321739 28909203456 12602 33554432000 4194304 4196468 140737448801264 140219456961040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30076] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419321741 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28231644 memory=279995763336848 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419321741 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218376398112 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28231644 memory=279995763343760 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419321741 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218375345776 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28231644 memory=279995763285040 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28231644 memory=279995763357584 CPUtime=0.02 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) S 30064 30064 29198 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218373240944 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28231644 memory=279995763364496 CPUtime=0.03 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) S 30064 30064 29198 0 -1 1077944384 367 0 0 0 3 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218372188144 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28231644 memory=279995763362192 CPUtime=0.01 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) R 30064 30064 29198 0 -1 4202560 143 0 0 0 1 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218371135856 140219890994576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28231644 memory=279995763378352 CPUtime=0.12 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) S 30064 30064 29198 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218370083056 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321744 28909203456 12602 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51860 KiB [startup+0.700998 s] /proc/loadavg: 6.20 7.49 7.38 4/213 30085 /proc/meminfo: memFree=26564692/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28233768 memory=119700 CPUtime=1.98 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 16467 0 0 0 193 5 0 0 20 0 20 0 419321738 28911378432 29925 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7058442 29925 3450 1 0 7019544 0 [pid=30066/tid=30067] ppid=30064 vsize=28233768 memory=279995763736240 CPUtime=0.67 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) R 30064 30064 29198 0 -1 4202560 9223 0 0 0 64 3 0 0 20 0 20 0 419321738 28911378432 29925 33554432000 4194304 4196468 140737448801264 140219917577392 140219897386341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28233768 memory=139997881869168 CPUtime=0 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28911378432 29925 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419321739 28911378432 29925 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28233768 memory=1124 CPUtime=0 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419321739 28911378432 29925 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 ################ # More data... # ################ [pid=30066/tid=30076] ppid=30064 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 28 0 419321741 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419321741 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218376398176 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419321741 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218375345792 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28768328 memory=0 CPUtime=1.73 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) R 30064 30064 29198 0 -1 4202560 2774 0 0 0 172 1 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218373227512 140219898450723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28768328 memory=0 CPUtime=1.56 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) R 30064 30064 29198 0 -1 4202560 3881 0 0 0 155 1 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218372174168 140219894860526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28768328 memory=0 CPUtime=1.76 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) R 30064 30064 29198 0 -1 4202560 3656 0 0 0 175 1 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218371118016 140219896730783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28768328 memory=0 CPUtime=0.9 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) S 30064 30064 29198 0 -1 1077944384 3472 0 0 0 89 1 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218370083056 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28768328 memory=22228 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28768328 memory=14068 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419321744 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30142] ppid=30064 vsize=28768328 memory=528 CPUtime=0.65 cores=0-7 /proc/30066/task/30142/stat : 30142 (java) R 30064 30064 29198 0 -1 4202560 21 0 0 0 65 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218353511944 140219557879008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30143] ppid=30064 vsize=28768328 memory=1560 CPUtime=0.73 cores=0-7 /proc/30066/task/30143/stat : 30143 (java) R 30064 30064 29198 0 -1 4202560 21 0 0 0 73 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218351407960 140219557878903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30144] ppid=30064 vsize=28768328 memory=928 CPUtime=0.02 cores=0-7 /proc/30066/task/30144/stat : 30144 (java) S 30064 30064 29198 0 -1 1077944384 18 0 0 0 2 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218356675408 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30145] ppid=30064 vsize=28768328 memory=1700 CPUtime=0.75 cores=0-7 /proc/30066/task/30145/stat : 30145 (java) R 30064 30064 29198 0 -1 4202560 20 0 0 0 75 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218349301400 140219560102427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30146] ppid=30064 vsize=28768328 memory=832 CPUtime=0.57 cores=0-7 /proc/30066/task/30146/stat : 30146 (java) R 30064 30064 29198 0 -1 4202560 19 0 0 0 57 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218350356904 140219557879226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30147] ppid=30064 vsize=28768328 memory=1440 CPUtime=0.66 cores=0-7 /proc/30066/task/30147/stat : 30147 (java) R 30064 30064 29198 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218354564232 140219557879008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30148] ppid=30064 vsize=28768328 memory=1980 CPUtime=0.77 cores=0-7 /proc/30066/task/30148/stat : 30148 (java) R 30064 30064 29198 0 -1 4202560 19 0 0 0 77 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218355618488 140219557878862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30149] ppid=30064 vsize=28768328 memory=2496 CPUtime=0.62 cores=0-7 /proc/30066/task/30149/stat : 30149 (java) R 30064 30064 29198 0 -1 4202560 22 0 0 0 62 0 0 0 20 0 28 0 419321975 29458767872 110989 33554432000 4194304 4196468 140737448801264 140218352459864 140219557878920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 15.69 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 445408 KiB [startup+4.00095 s]* /proc/loadavg: 6.10 7.45 7.37 11/221 30157 /proc/meminfo: memFree=26196536/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28902484 memory=450364 CPUtime=21.99 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 40284 0 0 0 2152 47 0 0 20 0 29 0 419321738 29596143616 112591 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7225621 112591 3523 1 0 7186723 0 [pid=30066/tid=30067] ppid=30064 vsize=28902484 memory=6791534058613427641 CPUtime=1.7 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) S 30064 30064 29198 0 -1 1077944384 9653 0 0 0 164 6 0 0 20 0 29 0 419321738 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219917583488 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28902484 memory=4872558044660077418 CPUtime=0.05 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28902484 memory=129123896847091 CPUtime=0.05 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 106 0 0 0 2 3 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28902484 memory=129123896847092 CPUtime=0.04 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30071] ppid=30064 vsize=28902484 memory=129123896847093 CPUtime=0.05 cores=0-7 /proc/30066/task/30071/stat : 30071 (java) S 30064 30064 29198 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219461172240 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30072] ppid=30064 vsize=28902484 memory=9857 CPUtime=0.05 cores=0-7 /proc/30066/task/30072/stat : 30072 (java) S 30064 30064 29198 0 -1 1077944384 83 0 0 0 2 3 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219460118928 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30073] ppid=30064 vsize=28902484 memory=0 CPUtime=0.05 cores=0-7 /proc/30066/task/30073/stat : 30073 (java) S 30064 30064 29198 0 -1 1077944384 79 0 0 0 2 3 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219459066128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30074] ppid=30064 vsize=28902484 memory=0 CPUtime=0.05 cores=0-7 /proc/30066/task/30074/stat : 30074 (java) S 30064 30064 29198 0 -1 1077944384 100 0 0 0 3 2 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219458013840 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30075] ppid=30064 vsize=28902484 memory=0 CPUtime=0.06 cores=0-7 /proc/30066/task/30075/stat : 30075 (java) S 30064 30064 29198 0 -1 1077944384 114 0 0 0 2 4 0 0 20 0 29 0 419321739 29596143616 112591 33554432000 4194304 4196468 140737448801264 140219456961040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30076] ppid=30064 vsize=28902484 memory=0 CPUtime=0.01 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 29 0 419321741 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 29 0 419321741 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218376398176 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28902484 memory=-5628408999910123566 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 29 0 419321741 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218375345792 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28902484 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28902484 memory=6944656575208382560 CPUtime=2.18 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) R 30064 30064 29198 0 -1 4202560 5344 0 0 0 216 2 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218373221960 140219896842913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28902484 memory=-3621219749712857441 CPUtime=2.02 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) R 30064 30064 29198 0 -1 4202560 7156 0 0 0 200 2 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218372174928 140219893297601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28902484 memory=-3040564339240289162 CPUtime=2.3 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) R 30064 30064 29198 0 -1 4202560 7540 0 0 0 228 2 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218371111248 140219892589464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28902484 memory=6943526294502006880 CPUtime=1 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) R 30064 30064 29198 0 -1 1077944384 5256 0 0 0 98 2 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218370083152 140219913352917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28902484 memory=-1 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 29 0 419321744 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30148] ppid=30064 vsize=28902484 memory=8388367118360672371 CPUtime=1.54 cores=0-7 /proc/30066/task/30148/stat : 30148 (java) R 30064 30064 29198 0 -1 4202560 152 0 0 0 154 0 0 0 20 0 29 0 419321975 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218355618664 140219557879226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30150] ppid=30064 vsize=28902484 memory=10 CPUtime=0.55 cores=0-7 /proc/30066/task/30150/stat : 30150 (java) R 30064 30064 29198 0 -1 4202560 122 0 0 0 55 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218350357976 140219560739458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30151] ppid=30064 vsize=28902484 memory=664970774371478170 CPUtime=0.56 cores=0-7 /proc/30066/task/30151/stat : 30151 (java) R 30064 30064 29198 0 -1 4202560 138 0 0 0 56 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218356675016 140219557878894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30152] ppid=30064 vsize=28902484 memory=7307199790935223762 CPUtime=0.49 cores=0-7 /proc/30066/task/30152/stat : 30152 (java) R 30064 30064 29198 0 -1 4202560 694 0 0 0 48 1 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218353512408 140219894906263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30153] ppid=30064 vsize=28902484 memory=-5921431000321636112 CPUtime=0.54 cores=0-7 /proc/30066/task/30153/stat : 30153 (java) S 30064 30064 29198 0 -1 1077944384 237 0 0 0 54 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218349301648 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30154] ppid=30064 vsize=28902484 memory=7902300572660980192 CPUtime=0.5 cores=0-7 /proc/30066/task/30154/stat : 30154 (java) R 30064 30064 29198 0 -1 4202560 156 0 0 0 50 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218351407720 140219557879162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30155] ppid=30064 vsize=28902484 memory=-6512345052099256105 CPUtime=0 cores=0-7 /proc/30066/task/30155/stat : 30155 (java) S 30064 30064 29198 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218348254160 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30156] ppid=30064 vsize=28902484 memory=734378360886880355 CPUtime=0 cores=0-7 /proc/30066/task/30156/stat : 30156 (java) S 30064 30064 29198 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 29 0 419322081 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218347201872 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30157] ppid=30064 vsize=28902484 memory=-9174445032661854264 CPUtime=0 cores=0-7 /proc/30066/task/30157/stat : 30157 (java) S 30064 30064 29198 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 29 0 419322082 29596143616 112591 33554432000 4194304 4196468 140737448801264 140218346149072 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 21.99 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 451816 KiB [startup+4.20164 s] /proc/loadavg: 6.10 7.45 7.37 11/221 30157 /proc/meminfo: memFree=26196536/32770624 swapFree=66927260/67108860 [pid=30064] ppid=30061 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30064/stat : 30064 (xcsp3-exec) S 30061 30064 29198 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419321738 115843072 363 33554432000 4194304 5098028 140724430155488 140724430153592 139701352108668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30490624 140724430160758 140724430161001 140724430161001 140724430163914 0 /proc/30064/statm: 28282 363 304 221 0 87 0 [pid=30066] ppid=30064 vsize=28902484 memory=450596 CPUtime=23.46 cores=0-7 /proc/30066/stat : 30066 (java) S 30064 30064 29198 0 -1 1077944320 42793 0 0 0 2297 49 0 0 20 0 28 0 419321738 29596143616 112649 33554432000 4194304 4196468 140737448801264 140737448783808 140219913342711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 /proc/30066/statm: 7225621 112649 3526 1 0 7186723 0 [pid=30066/tid=30067] ppid=30064 vsize=28902484 memory=3616744991615447143 CPUtime=1.7 cores=0-7 /proc/30066/task/30067/stat : 30067 (java) S 30064 30064 29198 0 -1 1077944384 9844 0 0 0 164 6 0 0 20 0 28 0 419321738 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219917583488 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30068] ppid=30064 vsize=28902484 memory=6081105696381626727 CPUtime=0.05 cores=0-7 /proc/30066/task/30068/stat : 30068 (java) S 30064 30064 29198 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219464330128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30069] ppid=30064 vsize=28902484 memory=5860704123725310038 CPUtime=0.05 cores=0-7 /proc/30066/task/30069/stat : 30069 (java) S 30064 30064 29198 0 -1 1077944384 106 0 0 0 2 3 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219463277328 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30070] ppid=30064 vsize=28902484 memory=7306316804797196914 CPUtime=0.04 cores=0-7 /proc/30066/task/30070/stat : 30070 (java) S 30064 30064 29198 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219462225040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30071] ppid=30064 vsize=28902484 memory=0 CPUtime=0.05 cores=0-7 /proc/30066/task/30071/stat : 30071 (java) S 30064 30064 29198 0 -1 1077944384 69 0 0 0 3 2 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219461172240 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30072] ppid=30064 vsize=28902484 memory=0 CPUtime=0.05 cores=0-7 /proc/30066/task/30072/stat : 30072 (java) S 30064 30064 29198 0 -1 1077944384 83 0 0 0 2 3 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219460118928 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30073] ppid=30064 vsize=28902484 memory=33 CPUtime=0.05 cores=0-7 /proc/30066/task/30073/stat : 30073 (java) S 30064 30064 29198 0 -1 1077944384 79 0 0 0 2 3 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219459066128 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30074] ppid=30064 vsize=28902484 memory=288230376990847762 CPUtime=0.05 cores=0-7 /proc/30066/task/30074/stat : 30074 (java) S 30064 30064 29198 0 -1 1077944384 100 0 0 0 3 2 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219458013840 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30075] ppid=30064 vsize=28902484 memory=14127831886093400 CPUtime=0.06 cores=0-7 /proc/30066/task/30075/stat : 30075 (java) S 30064 30064 29198 0 -1 1077944384 114 0 0 0 2 4 0 0 20 0 28 0 419321739 29596143616 112649 33554432000 4194304 4196468 140737448801264 140219456961040 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30076] ppid=30064 vsize=28902484 memory=0 CPUtime=0.01 cores=0-7 /proc/30066/task/30076/stat : 30076 (java) S 30064 30064 29198 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 28 0 419321741 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218377452144 140219913353858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30077] ppid=30064 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30077/stat : 30077 (java) S 30064 30064 29198 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419321741 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218376398176 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30078] ppid=30064 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30078/stat : 30078 (java) S 30064 30064 29198 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419321741 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218375345792 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30079] ppid=30064 vsize=28902484 memory=0 CPUtime=0 cores=0-7 /proc/30066/task/30079/stat : 30079 (java) S 30064 30064 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218374294096 140219913361307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30080] ppid=30064 vsize=28902484 memory=0 CPUtime=2.31 cores=0-7 /proc/30066/task/30080/stat : 30080 (java) R 30064 30064 29198 0 -1 4202560 5456 0 0 0 229 2 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218373221960 140219896826200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30081] ppid=30064 vsize=28902484 memory=0 CPUtime=2.15 cores=0-7 /proc/30066/task/30081/stat : 30081 (java) R 30064 30064 29198 0 -1 12591168 7867 0 0 0 212 3 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218372173904 140219905632093 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30082] ppid=30064 vsize=28902484 memory=0 CPUtime=2.45 cores=0-7 /proc/30066/task/30082/stat : 30082 (java) R 30064 30064 29198 0 -1 4202560 7706 0 0 0 243 2 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218371117056 140219906448373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30083] ppid=30064 vsize=28902484 memory=0 CPUtime=1.03 cores=0-7 /proc/30066/task/30083/stat : 30083 (java) R 30064 30064 29198 0 -1 1077944384 5953 0 0 0 101 2 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218370080016 140219913363901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30084] ppid=30064 vsize=28902484 memory=7454130749351154278 CPUtime=0 cores=0-7 /proc/30066/task/30084/stat : 30084 (java) S 30064 30064 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419321744 29596143616 112649 33554432000 4194304 4196468 140737448801264 140218369031008 140219913352917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 [pid=30066/tid=30085] ppid=30064 vsize=28902484 memory=7882828121784479853 CPUtime=0 cores=0-7 /proc/30066/task/30085/stat : 30085 (java) S 30064 30064 29198 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 419321744 29596143616 112658 33554432000 4194304 4196468 140737448801264 140218367978288 140219913353858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140737448809450 140737448809622 140737448809622 140737448812495 0 Current children cumulated CPU time: 23.46 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 452048 KiB Child status: 0 Real time (s): 4.28234 CPU time (s): 23.8317 CPU user time (s): 23.3174 CPU system time (s): 0.514305 CPU usage (%): 556.51 Max. virtual memory (cumulated for all children) (KiB): 29015612 Max. memory (cumulated for all children) (KiB): 452232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.3174 system time used= 0.514305 maximum resident set size= 454236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44741 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5329 involuntary context switches= 536 # summary of solver processes directly reported to runsolver: # pid: 30064 # total CPU time (s): 23.8317 # total CPU user time (s): 23.3174 # total CPU system time (s): 0.514305 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.062082 second user time and 0.085821 second system time The end
Begin job on node137 at 2019-09-14 05:11:42 IDJOB=4394553 IDBENCH=128019 IDSOLVER=2843 FILE ID=node137/4394553-1568430744 RUNJOBID= node137-1568427795-29225 PBS_JOBID= 21702299 Free space on /tmp= 61428 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-7.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-4394553-1568430744/watcher-4394553-1568430744 -o /tmp/evaluation-result-4394553-1568430744/solver-4394553-1568430744 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568427795-29225 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 772197999 HOME/instance-4394553-1568430744.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d869450afe9c29c5d3a1d31c4402b074 RANDOM SEED=772197999 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 26634600 kB MemAvailable: 31802472 kB Buffers: 189776 kB Cached: 5244384 kB SwapCached: 77548 kB Active: 1426476 kB Inactive: 4087944 kB Active(anon): 4460 kB Inactive(anon): 117612 kB Active(file): 1422016 kB Inactive(file): 3970332 kB Unevictable: 108700 kB Mlocked: 108700 kB SwapTotal: 67108860 kB SwapFree: 66927260 kB Dirty: 26756 kB Writeback: 0 kB AnonPages: 125180 kB Mapped: 44628 kB Shmem: 32772 kB Slab: 212328 kB SReclaimable: 182720 kB SUnreclaim: 29608 kB KernelStack: 3744 kB PageTables: 5952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61400 MiB End job on node137 at 2019-09-14 05:11:46