Trace number 4394539

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelWrong Opt.107 5.04427 1.35836

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-43-06.xml
MD5SUMb8ccca606c249b2a94d57c192d734d6e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark22.9654
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size616
Distribution of domain sizes[{"size":1,"count":1},{"size":616,"count":121}]
Minimum variable degree3
Maximum variable degree7
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":7},{"degree":5,"count":82},{"degree":6,"count":22},{"degree":7,"count":8}]
Minimum constraint arity2
Maximum constraint arity34
Distribution of constraint arities[{"arity":2,"count":257},{"arity":24,"count":1},{"arity":30,"count":1},{"arity":32,"count":1},{"arity":34,"count":1}]
Number of extensional constraints0
Number of intensional constraints257
Distribution of constraint types[{"type":"intension","count":257},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394539-1568431369.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394539-1568431369.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.48/0.91	c solve instance...
3.06/1.08	o 117 
3.06/1.09	o 114 
4.02/1.15	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (63/104)
4.02/1.15		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.02/1.15		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.02/1.15		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.02/1.15		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.02/1.15		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.02/1.15	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (63/104)
4.02/1.15		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.02/1.15		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.02/1.15		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.02/1.15		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.02/1.15		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.02/1.15		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.02/1.15		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.02/1.15		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.02/1.15		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.02/1.15		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.02/1.15		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.02/1.15		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.02/1.15		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.02/1.15		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.02/1.15		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.02/1.15		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.02/1.15	o 111 
4.02/1.17	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Try to passivate a propagator already passive or reified.
4.02/1.17	s[82] >= s[74] + 7 of ARITHM ([s[82] >= s[74] + 7])
4.02/1.17		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.02/1.17		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.02/1.17		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.02/1.17		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.02/1.17		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.02/1.17	Caused by: org.chocosolver.solver.exception.SolverException: Try to passivate a propagator already passive or reified.
4.02/1.17	s[82] >= s[74] + 7 of ARITHM ([s[82] >= s[74] + 7])
4.02/1.17		at org.chocosolver.solver.constraints.Propagator.setPassive(Propagator.java:546)
4.02/1.17		at org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC.propagate(PropGreaterOrEqualX_YC.java:61)
4.02/1.17		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:175)
4.02/1.17		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
4.02/1.17		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
4.02/1.17		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
4.02/1.17		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
4.02/1.17		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
4.02/1.17		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
4.02/1.17		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
4.02/1.17		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
4.02/1.17		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
4.02/1.17		at org.chocosolver.solver.Solver.extend(Solver.java:421)
4.02/1.17		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
4.02/1.17		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.02/1.17		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.02/1.17		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.02/1.17		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.02/1.17		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.02/1.17		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.02/1.17		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.02/1.17		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.02/1.17		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.02/1.17		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.02/1.17		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.02/1.17	o 110 
4.49/1.22	java.util.concurrent.ExecutionException: java.lang.NullPointerException
4.49/1.22		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.49/1.22		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.49/1.22		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.49/1.22		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.49/1.22		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.49/1.22	Caused by: java.lang.NullPointerException
4.49/1.22		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4.49/1.22		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
4.49/1.22		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
4.49/1.22		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
4.49/1.22		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
4.49/1.22		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
4.49/1.22		... 4 more
4.49/1.22	Caused by: java.lang.NullPointerException
4.49/1.22		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4.49/1.22		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
4.49/1.22		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
4.49/1.22		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
4.49/1.22		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
4.49/1.22		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
4.49/1.22		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
4.49/1.22		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
4.49/1.22		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
4.49/1.22		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
4.49/1.22		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
4.49/1.22		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
4.49/1.22		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
4.49/1.22		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
4.49/1.22		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.49/1.22		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.49/1.22		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.49/1.22		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.49/1.22	Caused by: java.lang.NullPointerException
4.49/1.22		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
4.49/1.22		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
4.49/1.22		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181)
4.49/1.22		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
4.49/1.22		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
4.49/1.22		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
4.49/1.22		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
4.49/1.22		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
4.49/1.22		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
4.49/1.22		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
4.49/1.22		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
4.49/1.22		at org.chocosolver.solver.Solver.extend(Solver.java:421)
4.49/1.22		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
4.49/1.22		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.49/1.22		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.49/1.22		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.49/1.22		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.49/1.22		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.49/1.22		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.49/1.22		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.49/1.22		... 4 more
4.49/1.22	o 109 
4.49/1.24	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (114/131)
4.49/1.24		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.49/1.24		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.49/1.24		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.49/1.24		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.49/1.24		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.49/1.24	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (114/131)
4.49/1.24		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.49/1.24		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.49/1.24		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.49/1.24		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.49/1.24		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.49/1.24		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.49/1.24		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.49/1.24		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.49/1.24		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.49/1.24		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.49/1.24		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.49/1.24		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.49/1.24		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.49/1.24		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.49/1.24		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.49/1.24		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.49/1.24	o 108 
4.49/1.26	java.util.concurrent.ExecutionException: java.lang.NullPointerException
4.49/1.26		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.49/1.26		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.49/1.26		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.49/1.26		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.49/1.26		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.49/1.26	Caused by: java.lang.NullPointerException
4.49/1.26		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4.49/1.26		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
4.49/1.26		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
4.49/1.26		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
4.49/1.26		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
4.49/1.26		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
4.49/1.26		... 4 more
4.49/1.26	Caused by: java.lang.NullPointerException
4.49/1.26		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4.49/1.26		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
4.49/1.26		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
4.49/1.26		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
4.49/1.26		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
4.49/1.26		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
4.49/1.26		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
4.49/1.26		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
4.49/1.26		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
4.49/1.26		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
4.49/1.26		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
4.49/1.26		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
4.49/1.26		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
4.49/1.26		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
4.49/1.26		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.49/1.26		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.49/1.26		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.49/1.26		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.49/1.26	Caused by: java.lang.NullPointerException
4.49/1.26		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
4.49/1.26		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
4.49/1.26		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
4.49/1.26		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
4.49/1.26		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
4.49/1.26		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
4.49/1.26		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
4.49/1.26		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
4.49/1.26		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
4.49/1.26		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
4.49/1.26		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
4.49/1.26		at org.chocosolver.solver.Solver.extend(Solver.java:421)
4.49/1.26		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
4.49/1.26		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.49/1.26		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.49/1.26		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.49/1.26		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.49/1.26		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.49/1.26		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.49/1.26		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.49/1.26		... 4 more
4.49/1.26	o 107 
4.49/1.26	s OPTIMUM FOUND
4.49/1.26	v <instantiation>
4.49/1.26	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] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list>
4.49/1.26	v 	<values>0 0 0 0 4 4 7 6 8 5 12 16 5 14 13 14 13 14 4 19 15 8 19 9 25 8 20 16 17 15 7 22 15 29 16 25 17 19 22 25 34 22 36 26 45 25 32 35 29 25 32 39 35 43 44 49 54 22 24 36 25 36 27 54 47 54 52 26 45 16 37 46 62 29 49 47 27 44 60 52 58 58 60 52 42 54 62 59 72 66 67 64 67 75 54 45 48 78 78 72 76 62 64 78 80 85 67 88 71 70 87 85 82 85 96 75 90 92 103 93 96 107 </values>
4.49/1.26	v </instantiation>

Verifier Data 

OK	107

Watcher Data 

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 (11882 MiB free)
  memory of node 1: 16384 MiB (15547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394539-1568431369/watcher-4394539-1568431369 -o /tmp/evaluation-result-4394539-1568431369/solver-4394539-1568431369 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 211763641 HOME/instance-4394539-1568431369.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
Starting watchdog thread
solver pid=5756, runsolver pid=5753
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 7.86 5.32 4.43 2/212 5777
/proc/meminfo: memFree=28071232/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28227388 memory=29672 CPUtime=0.13 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 5898 0 0 0 12 1 0 0 20 0 20 0 419401744 28904845312 7418 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7056847 7418 3118 1 0 7019032 0
[pid=5758/tid=5759] ppid=5756 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 4292 0 -1 4202560 3805 0 0 0 8 0 0 0 20 0 20 0 419401744 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265695266608 140265327196820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28227388 memory=140125292267136 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 7418 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401746 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264289011824 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419401747 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419401747 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264285853776 140265691051931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 4292 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264284801648 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) R 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264283748848 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) S 5756 5756 4292 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264282696560 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) R 5756 5756 4292 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264281643760 140265691054682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5777] ppid=5756 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5777/stat : 5777 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 7418 33554432000 4194304 4196468 140726071404096 140264279537968 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31128 KiB

[startup+0.210498 s]*
/proc/loadavg: 7.86 5.32 4.43 4/212 5777
/proc/meminfo: memFree=28058592/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28227388 memory=40980 CPUtime=0.34 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 9519 0 0 0 32 2 0 0 20 0 20 0 419401744 28904845312 10245 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7056847 10245 3295 1 0 7019032 0
[pid=5758/tid=5759] ppid=5756 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 4292 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 20 0 419401744 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265695263056 140265691055261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28227388 memory=140125292276868 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401745 28904845312 10245 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419401746 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264289011824 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419401747 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419401747 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264285853776 140265691051931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 4292 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264284801648 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) S 5756 5756 4292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264283748848 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) S 5756 5756 4292 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264282696560 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) S 5756 5756 4292 0 -1 1077944384 691 0 0 0 8 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264281643760 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5777] ppid=5756 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5777/stat : 5777 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28904845312 10245 33554432000 4194304 4196468 140726071404096 140264279537968 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42436 KiB

[startup+0.310271 s]*
/proc/loadavg: 7.86 5.32 4.43 4/212 5777
/proc/meminfo: memFree=28051820/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28231644 memory=50376 CPUtime=0.52 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 10915 0 0 0 49 3 0 0 20 0 20 0 419401744 28909203456 12594 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7057911 12594 3356 1 0 7019032 0
[pid=5758/tid=5759] ppid=5756 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 4292 0 -1 4202560 7841 0 0 0 27 2 0 0 20 0 20 0 419401744 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265695267296 140265675113822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28231644 memory=140125187173039 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28231644 memory=140125187175344 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28231644 memory=140125187177648 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401745 28909203456 12594 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419401746 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264289011824 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28231644 memory=280250374369168 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419401747 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28231644 memory=280250374366864 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419401747 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28231644 memory=280250374373776 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264285853776 140265691051931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28231644 memory=280250374315056 CPUtime=0.02 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 4292 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264284801648 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28231644 memory=280250374387600 CPUtime=0.02 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) R 5756 5756 4292 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264283748848 140265672554672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28231644 memory=280250374394512 CPUtime=0.03 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) S 5756 5756 4292 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264282696560 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28231644 memory=280250374392208 CPUtime=0.13 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) S 5756 5756 4292 0 -1 1077944384 789 0 0 0 13 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264281643760 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5777] ppid=5756 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5758/task/5777/stat : 5777 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28909203456 12594 33554432000 4194304 4196468 140726071404096 140264279537968 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51832 KiB

[startup+0.700957 s]
/proc/loadavg: 7.86 5.32 4.43 6/212 5777
/proc/meminfo: memFree=28039848/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28233768 memory=88712 CPUtime=1.61 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 15374 0 0 0 155 6 0 0 20 0 20 0 419401744 28911378432 22178 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7058442 22178 3450 1 0 7019544 0
[pid=5758/tid=5759] ppid=5756 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 4292 0 -1 4202560 9343 0 0 0 63 4 0 0 20 0 20 0 419401744 28911378432 22178 33554432000 4194304 4196468 140726071404096 140265695269168 140265691045270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28233768 memory=140125187384176 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 22178 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 22178 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28233768 memory=776 CPUtime=0 cores=0-7

################
# More data... #
################


[startup+1.3583 s]
# the end of solver process 5756 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.92982 s, system=0.114448 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.801123 s]
/proc/loadavg: 7.86 5.32 4.43 6/212 5777
/proc/meminfo: memFree=28039848/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28233768 memory=112448 CPUtime=2.06 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 16732 0 0 0 200 6 0 0 20 0 20 0 419401744 28911378432 27600 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7058442 27600 3454 1 0 7019544 0
[pid=5758/tid=5759] ppid=5756 vsize=28233768 memory=5988 CPUtime=0.77 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) R 5756 5756 4292 0 -1 4202560 9358 0 0 0 73 4 0 0 20 0 20 0 419401744 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265695268784 140265330854852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28233768 memory=1544 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28233768 memory=776 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28233768 memory=7014751519650174545 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28233768 memory=7523378988805411172 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28233768 memory=7881696724453321575 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28233768 memory=33 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401745 28911378432 28112 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28233768 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419401746 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264289011824 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419401747 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28233768 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419401747 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28233768 memory=7518026621751088992 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264285853776 140265691051931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28233768 memory=7019257425709197167 CPUtime=0.25 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) R 5756 5756 4292 0 -1 4202560 1368 0 0 0 25 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264284787592 140265691054682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28233768 memory=7444843076533644388 CPUtime=0.22 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) R 5756 5756 4292 0 -1 4202560 688 0 0 0 22 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264283735408 140265677012181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28233768 memory=5450909908396308010 CPUtime=0.26 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) R 5756 5756 4292 0 -1 4202560 1597 0 0 0 26 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264282682584 140265691054682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28233768 memory=-9102473451428748661 CPUtime=0.51 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) R 5756 5756 4292 0 -1 4202560 2419 0 0 0 51 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264281643760 140265669633787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28233768 memory=6944613755328037015 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5777] ppid=5756 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5777/stat : 5777 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419401750 28911378432 28112 33554432000 4194304 4196468 140726071404096 140264279537968 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 113904 KiB

[startup+1.20661 s]
/proc/loadavg: 7.86 5.32 4.43 11/220 5785
/proc/meminfo: memFree=27930504/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28769356 memory=217788 CPUtime=4.49 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 23867 0 0 0 439 10 0 0 20 0 29 0 419401744 29459820544 54447 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7192339 54447 3488 1 0 7153441 0
[pid=5758/tid=5759] ppid=5756 vsize=28769356 memory=0 CPUtime=0.92 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 4292 0 -1 1077944384 9542 0 0 0 87 5 0 0 20 0 29 0 419401744 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265695274112 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28769356 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28769356 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419401745 29459820544 54447 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 29 0 419401746 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264289011824 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 29 0 419401747 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28769356 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 29 0 419401747 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264285853776 140265691051931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28769356 memory=140125292267825 CPUtime=0.55 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) R 5756 5756 4292 0 -1 4202560 2252 0 0 0 55 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264284793600 140265691045270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28769356 memory=6935649255759568960 CPUtime=0.53 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) R 5756 5756 4292 0 -1 4202560 2395 0 0 0 52 1 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264283734728 140265670726412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28769356 memory=6656426216303648864 CPUtime=0.65 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) R 5756 5756 4292 0 -1 4202560 3147 0 0 0 65 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264282677576 140265674532204 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28769356 memory=6656426216303648864 CPUtime=0.69 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) R 5756 5756 4292 0 -1 4202560 3587 0 0 0 69 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264281639520 140265691045270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28769356 memory=5859271421084456296 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5777] ppid=5756 vsize=28769356 memory=7007706849797500505 CPUtime=0 cores=0-7
/proc/5758/task/5777/stat : 5777 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419401750 29459820544 54447 33554432000 4194304 4196468 140726071404096 140264279537968 140265691044482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 219244 KiB

[startup+1.30096 s]
/proc/loadavg: 7.86 5.32 4.43 11/220 5785
/proc/meminfo: memFree=27930504/32770624 swapFree=66999932/67108860
[pid=5756] ppid=5753 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5756/stat : 5756 (xcsp3-exec) S 5753 5756 4292 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419401744 115843072 364 33554432000 4194304 5098028 140731177102368 140731177100472 139643140932220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13774848 140731177104246 140731177104489 140731177104489 140731177107402 0
/proc/5756/statm: 28282 364 306 221 0 87 0
[pid=5758] ppid=5756 vsize=28834892 memory=226168 CPUtime=4.97 cores=0-7
/proc/5758/stat : 5758 (java) S 5756 5756 4292 0 -1 1077944320 26429 0 0 0 487 10 0 0 20 0 19 0 419401744 29526929408 56542 33554432000 4194304 4196468 140726071404096 140726071386640 140265691033335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
/proc/5758/statm: 7208723 56542 3488 1 0 7169825 0
[pid=5758/tid=5759] ppid=5756 vsize=28834892 memory=0 CPUtime=0.93 cores=0-7
/proc/5758/task/5759/stat : 5759 (java) S 5756 5756 4292 0 -1 1077944384 9545 0 0 0 88 5 0 0 20 0 19 0 419401744 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265695276176 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5760] ppid=5756 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5760/stat : 5760 (java) S 5756 5756 4292 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265647585680 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5761] ppid=5756 vsize=28834892 memory=776 CPUtime=0 cores=0-7
/proc/5758/task/5761/stat : 5761 (java) S 5756 5756 4292 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265241303312 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5762] ppid=5756 vsize=28834892 memory=1056 CPUtime=0 cores=0-7
/proc/5758/task/5762/stat : 5762 (java) S 5756 5756 4292 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265240251024 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5763] ppid=5756 vsize=28834892 memory=14012 CPUtime=0 cores=0-7
/proc/5758/task/5763/stat : 5763 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265239198224 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5764] ppid=5756 vsize=28834892 memory=21348 CPUtime=0 cores=0-7
/proc/5758/task/5764/stat : 5764 (java) S 5756 5756 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265238145936 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5765] ppid=5756 vsize=28834892 memory=12024 CPUtime=0 cores=0-7
/proc/5758/task/5765/stat : 5765 (java) S 5756 5756 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265237093136 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5766] ppid=5756 vsize=28834892 memory=1456 CPUtime=0 cores=0-7
/proc/5758/task/5766/stat : 5766 (java) S 5756 5756 4292 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265236040848 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5767] ppid=5756 vsize=28834892 memory=88712 CPUtime=0 cores=0-7
/proc/5758/task/5767/stat : 5767 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 419401745 29526929408 56542 33554432000 4194304 4196468 140726071404096 140265234988048 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5768] ppid=5756 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5768/stat : 5768 (java) S 5756 5756 4292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 419401746 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264289012032 140265691044482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5769] ppid=5756 vsize=28834892 memory=140125187384176 CPUtime=0 cores=0-7
/proc/5758/task/5769/stat : 5769 (java) S 5756 5756 4292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 419401747 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264287957792 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5770] ppid=5756 vsize=28834892 memory=0 CPUtime=0 cores=0-7
/proc/5758/task/5770/stat : 5770 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 419401747 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264286905456 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5771] ppid=5756 vsize=28834892 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5758/task/5771/stat : 5771 (java) S 5756 5756 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264285852544 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5772] ppid=5756 vsize=28834892 memory=6935649255759568960 CPUtime=0.61 cores=0-7
/proc/5758/task/5772/stat : 5772 (java) S 5756 5756 4292 0 -1 1077944384 2565 0 0 0 61 0 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264284786720 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5773] ppid=5756 vsize=28834892 memory=7301858164987948385 CPUtime=0.6 cores=0-7
/proc/5758/task/5773/stat : 5773 (java) S 5756 5756 4292 0 -1 1077944384 3552 0 0 0 59 1 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264283733360 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5774] ppid=5756 vsize=28834892 memory=7158578536826036288 CPUtime=0.74 cores=0-7
/proc/5758/task/5774/stat : 5774 (java) R 5756 5756 4292 0 -1 4202560 3405 0 0 0 74 0 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264282683376 140265676158056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5775] ppid=5756 vsize=28834892 memory=7595996225387588968 CPUtime=0.72 cores=0-7
/proc/5758/task/5775/stat : 5775 (java) S 5756 5756 4292 0 -1 1077944384 3978 0 0 0 72 0 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264281641264 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
[pid=5758/tid=5776] ppid=5756 vsize=28834892 memory=6935649255759568960 CPUtime=0 cores=0-7
/proc/5758/task/5776/stat : 5776 (java) S 5756 5756 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 419401750 29526929408 56542 33554432000 4194304 4196468 140726071404096 140264280590688 140265691043541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28053504 140726071407594 140726071407766 140726071407766 140726071410639 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 227624 KiB

Child status: 0
Real time (s): 1.35836
CPU time (s): 5.04427
CPU user time (s): 4.92982
CPU system time (s): 0.114448
CPU usage (%): 371.351
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 227624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.92982
system time used= 0.114448
maximum resident set size= 229612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3864
involuntary context switches= 63


# summary of solver processes directly reported to runsolver:
#   pid: 5756
#   total CPU time (s): 5.04427
#   total CPU user time (s): 4.92982
#   total CPU system time (s): 0.114448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029615 second user time and 0.06312 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 05:22:10
IDJOB=4394539
IDBENCH=129121
IDSOLVER=2843
FILE ID=node123/4394539-1568431369
RUNJOBID= node123-1568427739-4319
PBS_JOBID= 21702298
Free space on /tmp= 59184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-43-06.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-4394539-1568431369/watcher-4394539-1568431369 -o /tmp/evaluation-result-4394539-1568431369/solver-4394539-1568431369 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 211763641 HOME/instance-4394539-1568431369.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= b8ccca606c249b2a94d57c192d734d6e
RANDOM SEED=211763641

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
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:        28088952 kB
MemAvailable:   31872080 kB
Buffers:          149192 kB
Cached:          3899408 kB
SwapCached:         7380 kB
Active:          1247572 kB
Inactive:        2814452 kB
Active(anon):       5348 kB
Inactive(anon):    49600 kB
Active(file):    1242224 kB
Inactive(file):  2764852 kB
Unevictable:      107224 kB
Mlocked:          107224 kB
SwapTotal:      67108860 kB
SwapFree:       66999932 kB
Dirty:             26512 kB
Writeback:             0 kB
AnonPages:        123400 kB
Mapped:            45060 kB
Shmem:             32684 kB
Slab:             213604 kB
SReclaimable:     183776 kB
SUnreclaim:        29828 kB
KernelStack:        3728 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 59156 MiB
End job on node123 at 2019-09-14 05:22:11