Trace number 4394661

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 parallelSAT (TO)67 15233.1 2520.03

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-031.xml
MD5SUM0f1289c6216c2035de546c3b2133ae29
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark2400.3
Satisfiable
(Un)Satisfiability was proved
Number of variables991
Number of constraints525
Number of domains61
Minimum domain size2
Maximum domain size61
Distribution of domain sizes[{"size":2,"count":497},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1}]
Minimum variable degree0
Maximum variable degree30
Distribution of variable degrees[{"degree":0,"count":435},{"degree":2,"count":525},{"degree":30,"count":31}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":31},{"arity":3,"count":466},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1}]
Number of extensional constraints0
Number of intensional constraints495
Distribution of constraint types[{"type":"intension","count":495},{"type":"sum","count":30}]
Optimization problemYES
Type of objectivemin SUM

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-4394661-1568428856.xml"  -tl '20160s' -p 8
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4394661-1568428856.xml, -tl, 20160s, -p, 8]
0.33/0.25	c 8 solvers in parallel
0.33/0.31	c parse instance...
4.45/1.44	c solve instance...
4.97/1.58	o 431 
6.43/1.76	o 399 
6.43/1.77	o 323 
6.94/1.82	o 247 
7.57/1.92	o 243 
8.21/2.04	o 239 
8.21/2.06	o 211 
9.51/2.23	o 119 
109.59/16.04	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3)
109.59/16.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
109.59/16.04		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
109.59/16.04		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
109.59/16.04		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
109.59/16.04		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
109.59/16.04	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3)
109.59/16.04		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
109.59/16.04		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
109.59/16.04		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
109.59/16.04		at org.chocosolver.solver.Solver.repair(Solver.java:443)
109.59/16.04		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
109.59/16.04		at org.chocosolver.solver.Solver.solve(Solver.java:262)
109.59/16.04		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
109.59/16.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
109.59/16.04		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
109.59/16.04		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
109.59/16.04		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
109.59/16.04		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
109.59/16.04		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
109.59/16.04		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
109.59/16.04		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
109.59/16.04		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
109.59/16.04	o 99 
814.53/116.33	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
814.53/116.33		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
814.53/116.33		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
814.53/116.33		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
814.53/116.33		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
814.53/116.33		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
814.53/116.33	Caused by: java.lang.ArrayIndexOutOfBoundsException
814.53/116.33		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
814.53/116.33		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
814.53/116.33		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
814.53/116.33		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
814.53/116.33		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
814.53/116.33		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
814.53/116.33		... 4 more
814.53/116.34	Caused by: java.lang.ArrayIndexOutOfBoundsException
814.53/116.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
814.53/116.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
814.53/116.34		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
814.53/116.34		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
814.53/116.34		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
814.53/116.34		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
814.53/116.34		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
814.53/116.34		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
814.53/116.34		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
814.53/116.34		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
814.53/116.34		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
814.53/116.34		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
814.53/116.34		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
814.53/116.34		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
814.53/116.34		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
814.53/116.34		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
814.53/116.34		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
814.53/116.34		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
814.53/116.34	Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
814.53/116.34		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.removeAt(PropagationEngine.java:489)
814.53/116.34		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.remove(PropagationEngine.java:480)
814.53/116.34		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:473)
814.53/116.34		at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401)
814.53/116.34		at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566)
814.53/116.34		at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543)
814.53/116.34		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:88)
814.53/116.34		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
814.53/116.34		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
814.53/116.34		at org.chocosolver.solver.Solver.restart(Solver.java:596)
814.53/116.34		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
814.53/116.34		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
814.53/116.34		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
814.53/116.34		at org.chocosolver.solver.Solver.extend(Solver.java:421)
814.53/116.34		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
814.53/116.34		at org.chocosolver.solver.Solver.solve(Solver.java:262)
814.53/116.34		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
814.53/116.34		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
814.53/116.34		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
814.53/116.34		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
814.53/116.34		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
814.53/116.34		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
814.53/116.34		... 4 more
814.53/116.34	o 95 
942.61/137.64	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
942.61/137.64		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
942.61/137.64		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
942.61/137.64		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
942.61/137.64		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
942.61/137.64		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
942.61/137.64	Caused by: java.lang.ArrayIndexOutOfBoundsException
942.61/137.64		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
942.61/137.64		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
942.61/137.64		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
942.61/137.64		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
942.61/137.64		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
942.61/137.64		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
942.61/137.64		... 4 more
942.61/137.64	Caused by: java.lang.ArrayIndexOutOfBoundsException
942.61/137.64		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
942.61/137.64		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
942.61/137.64		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
942.61/137.64		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
942.61/137.64		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
942.61/137.64		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
942.61/137.64		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
942.61/137.64		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
942.61/137.64		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
942.61/137.64		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
942.61/137.64		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
942.61/137.64		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
942.61/137.64		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
942.61/137.64		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
942.61/137.64		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
942.61/137.64		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
942.61/137.64		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
942.61/137.64		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
942.61/137.64	Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
942.61/137.64		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.add(PropagationEngine.java:457)
942.61/137.64		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:474)
942.61/137.64		at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401)
942.61/137.64		at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566)
942.61/137.64		at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543)
942.61/137.64		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:85)
942.61/137.64		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
942.61/137.64		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
942.61/137.64		at org.chocosolver.solver.Solver.restart(Solver.java:596)
942.61/137.64		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
942.61/137.64		at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96)
942.61/137.64		at org.chocosolver.solver.Solver.repair(Solver.java:438)
942.61/137.64		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
942.61/137.64		at org.chocosolver.solver.Solver.solve(Solver.java:262)
942.61/137.64		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
942.61/137.64		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
942.61/137.64		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
942.61/137.64		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
942.61/137.64		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
942.61/137.64		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
942.61/137.64		... 4 more
942.61/137.64	o 83 
1388.54/209.95	java.util.concurrent.ExecutionException: java.lang.NullPointerException
1388.54/209.95		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1388.54/209.95		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1388.54/209.95		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1388.54/209.95		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1388.54/209.95		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1388.54/209.95	Caused by: java.lang.NullPointerException
1388.54/209.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1388.54/209.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1388.54/209.95		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1388.54/209.95		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
1388.54/209.95		... 4 more
1388.54/209.95	Caused by: java.lang.NullPointerException
1388.54/209.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1388.54/209.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1388.54/209.95		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1388.54/209.95		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
1388.54/209.95		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
1388.54/209.95		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
1388.54/209.95		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
1388.54/209.95		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
1388.54/209.95		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
1388.54/209.95		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
1388.54/209.95		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
1388.54/209.95		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1388.54/209.95		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1388.54/209.95		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1388.54/209.95		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1388.54/209.95	Caused by: java.lang.NullPointerException
1388.54/209.95		at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208)
1388.54/209.95		at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
1388.54/209.95		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
1388.54/209.95		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
1388.54/209.95		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
1388.54/209.95		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
1388.54/209.95		at org.chocosolver.solver.Solver.solve(Solver.java:262)
1388.54/209.95		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1388.54/209.95		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1388.54/209.95		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1388.54/209.95		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1388.54/209.95		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1388.54/209.95		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1388.54/209.95		... 4 more
1388.54/209.96	o 79 
1606.76/246.38	java.util.concurrent.ExecutionException: java.lang.NullPointerException
1606.76/246.38		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1606.76/246.38		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1606.76/246.38		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1606.76/246.38		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1606.76/246.38		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1606.76/246.38	Caused by: java.lang.NullPointerException
1606.76/246.38		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1606.76/246.38		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1606.76/246.38		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1606.76/246.38		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
1606.76/246.38		... 4 more
1606.76/246.38	Caused by: java.lang.NullPointerException
1606.76/246.38		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1606.76/246.38		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1606.76/246.38		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1606.76/246.38		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
1606.76/246.38		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
1606.76/246.38		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
1606.76/246.38		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
1606.76/246.38		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
1606.76/246.38		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
1606.76/246.38		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
1606.76/246.38		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
1606.76/246.38		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1606.76/246.38		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1606.76/246.38		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1606.76/246.38		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1606.76/246.38	Caused by: java.lang.NullPointerException
1606.76/246.38		at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208)
1606.76/246.38		at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
1606.76/246.38		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
1606.76/246.38		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
1606.76/246.38		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
1606.76/246.38		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
1606.76/246.38		at org.chocosolver.solver.Solver.solve(Solver.java:262)
1606.76/246.38		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1606.76/246.38		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1606.76/246.38		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1606.76/246.38		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1606.76/246.38		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1606.76/246.38		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1606.76/246.38		... 4 more
1606.76/246.38	o 75 
2146.58/336.34	java.util.concurrent.ExecutionException: java.lang.NullPointerException
2146.58/336.34		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2146.58/336.34		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2146.58/336.34		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2146.58/336.34		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2146.58/336.34		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2146.58/336.34	Caused by: java.lang.NullPointerException
2146.58/336.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
2146.58/336.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
2146.58/336.34		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
2146.58/336.34		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
2146.58/336.34		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
2146.58/336.34		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
2146.58/336.34		... 4 more
2146.58/336.34	Caused by: java.lang.NullPointerException
2146.58/336.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
2146.58/336.34		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
2146.58/336.34		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
2146.58/336.34		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
2146.58/336.34		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
2146.58/336.34		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
2146.58/336.34		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
2146.58/336.34		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
2146.58/336.34		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
2146.58/336.34		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
2146.58/336.34		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
2146.58/336.35		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
2146.58/336.35		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
2146.58/336.35		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
2146.58/336.35		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2146.58/336.35		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2146.58/336.35		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2146.58/336.35		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2146.58/336.35	Caused by: java.lang.NullPointerException
2146.58/336.35		at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208)
2146.58/336.35		at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
2146.58/336.35		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
2146.58/336.35		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
2146.58/336.35		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
2146.58/336.35		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
2146.58/336.35		at org.chocosolver.solver.Solver.solve(Solver.java:262)
2146.58/336.35		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2146.58/336.35		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2146.58/336.35		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2146.58/336.35		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2146.58/336.35		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2146.58/336.35		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2146.58/336.35		... 4 more
2146.58/336.35	o 71 
2352.80/370.71	java.util.concurrent.ExecutionException: java.lang.NullPointerException
2352.80/370.71		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2352.80/370.71		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2352.80/370.71		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2352.80/370.71		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2352.80/370.71		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2352.80/370.71	Caused by: java.lang.NullPointerException
2352.80/370.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
2352.80/370.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
2352.80/370.71		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
2352.80/370.71		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
2352.80/370.71		... 4 more
2352.80/370.71	Caused by: java.lang.NullPointerException
2352.80/370.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
2352.80/370.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
2352.80/370.71		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
2352.80/370.71		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
2352.80/370.71		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
2352.80/370.71		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
2352.80/370.71		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
2352.80/370.71		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
2352.80/370.71		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
2352.80/370.71		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
2352.80/370.71		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
2352.80/370.71		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2352.80/370.71		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2352.80/370.71		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2352.80/370.71		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2352.80/370.71	Caused by: java.lang.NullPointerException
2352.80/370.71	o 67 
15232.94/2520.02	s SATISFIABLE
15232.94/2520.02	v <instantiation>
15232.94/2520.02	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[26][0] y[26][1] y[26][2] y[26][3] y[27][0] y[27][1] y[27][2] y[28][0] y[28][1] y[29][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] 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] </list>
15232.94/2520.02	v 	<values>-1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 0 -1 0 -1 2 -1 2 1 -2 1 2 1 0 3 0 3 0 -1 -2 -3 2 1 2 1 0 1 0 -1 0 -1 0 1 0 1 4 1 4 1 4 1 4 1 0 9 0 9 0 1 4 9 4 1 4 1 0 1 0 1 0 1 </values>
15232.94/2520.02	v </instantiation>
15232.94/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	67

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394661-1568428856/watcher-4394661-1568428856 -o /tmp/evaluation-result-4394661-1568428856/solver-4394661-1568428856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1021677109 HOME/instance-4394661-1568428856.xml 

running on 8 cores: 0-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11558, runsolver pid=11555
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 3.53 1.89 2.74 2/213 11579
/proc/meminfo: memFree=28232480/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28227388 memory=30056 CPUtime=0.12 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 5465 0 0 0 10 2 0 0 20 0 20 0 418891962 28904845312 7514 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7056847 7514 3118 1 0 7019032 0
[pid=11560/tid=11561] ppid=11558 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 3375 0 0 0 8 1 0 0 20 0 20 0 418891962 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428886490368 140428866311525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28227388 memory=139709879555712 CPUtime=0 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11565] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11566] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11567] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11568] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11569] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11570] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11571] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11572] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11573] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11574] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11575] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11576] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11577] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11578] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11579] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31512 KiB

[startup+0.211188 s]*
/proc/loadavg: 3.53 1.89 2.74 2/213 11579
/proc/meminfo: memFree=28219836/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28227388 memory=41336 CPUtime=0.33 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 9085 0 0 0 30 3 0 0 20 0 20 0 418891962 28904845312 10334 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7056847 10334 3274 1 0 7019032 0
[pid=11560/tid=11561] ppid=11558 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 6178 0 0 0 17 2 0 0 20 0 20 0 418891962 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428886487232 140428863831396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28227388 memory=339 CPUtime=0 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28227388 memory=4122959975834326688 CPUtime=0 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11565] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11566] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11567] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11568] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11569] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11570] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11571] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11572] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11573] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11574] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11575] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11576] ppid=11558 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11577] ppid=11558 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11578] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11579] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42792 KiB

[startup+0.310882 s]*
/proc/loadavg: 3.53 1.89 2.74 4/212 11579
/proc/meminfo: memFree=28214936/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28231644 memory=46752 CPUtime=0.51 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 10070 0 0 0 47 4 0 0 20 0 20 0 418891962 28909203456 11688 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7057911 11688 3297 1 0 7019032 0
[pid=11560/tid=11561] ppid=11558 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 7086 0 0 0 26 3 0 0 20 0 20 0 418891962 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428886489408 140428866348382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11565] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11566] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11567] ppid=11558 vsize=28231644 memory=139709783304879 CPUtime=0 cores=0-7
/proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11568] ppid=11558 vsize=28231644 memory=139709783307184 CPUtime=0 cores=0-7
/proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11569] ppid=11558 vsize=28231644 memory=139709783309488 CPUtime=0 cores=0-7
/proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11570] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11571] ppid=11558 vsize=28231644 memory=279419566632848 CPUtime=0 cores=0-7
/proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11572] ppid=11558 vsize=28231644 memory=279419566630544 CPUtime=0 cores=0-7
/proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11573] ppid=11558 vsize=28231644 memory=279419566637456 CPUtime=0 cores=0-7
/proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11574] ppid=11558 vsize=28231644 memory=279419566578736 CPUtime=0.02 cores=0-7
/proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11575] ppid=11558 vsize=28231644 memory=279419566651280 CPUtime=0.02 cores=0-7
/proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11576] ppid=11558 vsize=28231644 memory=279419566658192 CPUtime=0.03 cores=0-7
/proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11577] ppid=11558 vsize=28231644 memory=279419566655888 CPUtime=0.12 cores=0-7
/proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 776 0 0 0 12 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11578] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11579] ppid=11558 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48208 KiB

[startup+0.700947 s]
/proc/loadavg: 3.53 1.89 2.74 3/212 11580
/proc/meminfo: memFree=28206304/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28233768 memory=78028 CPUtime=1.51 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 14287 0 0 0 145 6 0 0 20 0 20 0 418891962 28911378432 19507 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7058442 19507 3448 1 0 7019544 0
[pid=11560/tid=11561] ppid=11558 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 8646 0 0 0 63 4 0 0 20 0 20 0 418891962 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428886503792 140428882279830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28233768 memory=139709783516016 CPUtime=0 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28233768 memory=1176 CPUtime=0 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0

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

[pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=820700 CPUtime=0 cores=0-7
/proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 203764 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 14767 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 816512 KiB

[startup+2502.3 s]
/proc/loadavg: 5.84 5.71 5.50 7/221 11892
/proc/meminfo: memFree=27483028/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28834892 memory=774016 CPUtime=15126.8 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 1630764 0 0 0 1511709 972 0 0 20 0 28 0 418891962 29526929408 193504 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7208723 193504 3561 1 0 7169825 0
[pid=11560/tid=11561] ppid=11558 vsize=28834892 memory=774016 CPUtime=1.46 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) S 11558 11558 9382 0 -1 1077944384 12665 0 0 0 140 6 0 0 20 0 28 0 418891962 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428886508672 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28834892 memory=774016 CPUtime=8.67 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 69066 0 0 0 831 36 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28834892 memory=774016 CPUtime=8.73 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 74876 0 0 0 827 46 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.79 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 68142 0 0 0 840 39 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11565] ppid=11558 vsize=28834892 memory=279419569200400 CPUtime=8.73 cores=0-7
/proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 73621 0 0 0 832 41 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11566] ppid=11558 vsize=28834892 memory=304274665394929958 CPUtime=8.71 cores=0-7
/proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 66964 0 0 0 827 44 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11567] ppid=11558 vsize=28834892 memory=1712 CPUtime=8.65 cores=0-7
/proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 66471 0 0 0 826 39 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11568] ppid=11558 vsize=28834892 memory=5980 CPUtime=8.87 cores=0-7
/proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 66604 0 0 0 845 42 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11569] ppid=11558 vsize=28834892 memory=920 CPUtime=8.62 cores=0-7
/proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 71928 0 0 0 825 37 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11570] ppid=11558 vsize=28834892 memory=4836 CPUtime=2.27 cores=0-7
/proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 192021 0 0 0 168 59 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11571] ppid=11558 vsize=28834892 memory=2120 CPUtime=0 cores=0-7
/proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427479500384 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11572] ppid=11558 vsize=28834892 memory=496 CPUtime=0 cores=0-7
/proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427478447488 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11573] ppid=11558 vsize=28834892 memory=1764 CPUtime=0 cores=0-7
/proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11574] ppid=11558 vsize=28834892 memory=111632 CPUtime=5.79 cores=0-7
/proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 28095 0 0 0 573 6 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11575] ppid=11558 vsize=28834892 memory=1456 CPUtime=5.29 cores=0-7
/proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 33064 0 0 0 524 5 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11576] ppid=11558 vsize=28834892 memory=812972 CPUtime=5.9 cores=0-7
/proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 41652 0 0 0 582 8 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11577] ppid=11558 vsize=28834892 memory=0 CPUtime=1.73 cores=0-7
/proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 31528 0 0 0 166 7 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11578] ppid=11558 vsize=28834892 memory=6297842515125300074 CPUtime=0 cores=0-7
/proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11579] ppid=11558 vsize=28834892 memory=984 CPUtime=1.16 cores=0-7
/proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 15094 0 0 0 50 66 0 0 20 0 28 0 418891969 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11723] ppid=11558 vsize=28834892 memory=2020 CPUtime=2117.34 cores=0-7
/proc/11560/task/11723/stat : 11723 (java) R 11558 11558 9382 0 -1 4202560 92302 0 0 0 211684 50 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427455560536 140428479570334 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11724] ppid=11558 vsize=28834892 memory=1432 CPUtime=2117.37 cores=0-7
/proc/11560/task/11724/stat : 11724 (java) R 11558 11558 9382 0 -1 4202560 60020 0 0 0 211722 15 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427459772616 140428477858311 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11725] ppid=11558 vsize=28834892 memory=0 CPUtime=2117.28 cores=0-7
/proc/11560/task/11725/stat : 11725 (java) R 11558 11558 9382 0 -1 4202560 75315 0 0 0 211648 80 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427451350544 140428476784332 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11726] ppid=11558 vsize=28834892 memory=800 CPUtime=2117.33 cores=0-7
/proc/11560/task/11726/stat : 11726 (java) R 11558 11558 9382 0 -1 4202560 170185 0 0 0 211610 123 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427452403592 140428478610379 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11727] ppid=11558 vsize=28834892 memory=1804 CPUtime=2117.26 cores=0-7
/proc/11560/task/11727/stat : 11727 (java) R 11558 11558 9382 0 -1 4202560 105352 0 0 0 211649 77 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427454508856 140428477195773 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11728] ppid=11558 vsize=28834892 memory=776068 CPUtime=0 cores=0-7
/proc/11560/task/11728/stat : 11728 (java) S 11558 11558 9382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427458724560 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11729] ppid=11558 vsize=28834892 memory=1456 CPUtime=2117.3 cores=0-7
/proc/11560/task/11729/stat : 11729 (java) R 11558 11558 9382 0 -1 4202560 82693 0 0 0 211678 52 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427457670000 140428479570372 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=782224 CPUtime=0 cores=0-7
/proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 15126.8 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 775472 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 5.88 5.73 5.51 7/222 11894
/proc/meminfo: memFree=27541652/32770688 swapFree=66919992/67108860
[pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0
/proc/11558/statm: 28282 364 305 221 0 87 0
[pid=11560] ppid=11558 vsize=28834892 memory=716036 CPUtime=15232.9 cores=0-7
/proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 1641068 0 0 0 1522317 977 0 0 20 0 28 0 418891962 29526929408 179009 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
/proc/11560/statm: 7208723 179009 3561 1 0 7169825 0
[pid=11560/tid=11561] ppid=11558 vsize=28834892 memory=1656 CPUtime=1.46 cores=0-7
/proc/11560/task/11561/stat : 11561 (java) S 11558 11558 9382 0 -1 1077944384 12665 0 0 0 140 6 0 0 20 0 28 0 418891962 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428886508672 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11562] ppid=11558 vsize=28834892 memory=1398722017469774279 CPUtime=8.76 cores=0-7
/proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 70197 0 0 0 840 36 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11563] ppid=11558 vsize=28834892 memory=4126316290023845779 CPUtime=8.82 cores=0-7
/proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 75314 0 0 0 835 47 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11564] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.87 cores=0-7
/proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 68530 0 0 0 848 39 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11565] ppid=11558 vsize=28834892 memory=727832 CPUtime=8.82 cores=0-7
/proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 73971 0 0 0 841 41 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11566] ppid=11558 vsize=28834892 memory=1656 CPUtime=8.8 cores=0-7
/proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 68701 0 0 0 835 45 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11567] ppid=11558 vsize=28834892 memory=1398722017469774279 CPUtime=8.73 cores=0-7
/proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 66845 0 0 0 834 39 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11568] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.95 cores=0-7
/proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 66917 0 0 0 853 42 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11569] ppid=11558 vsize=28834892 memory=783248 CPUtime=8.69 cores=0-7
/proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 72583 0 0 0 832 37 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11570] ppid=11558 vsize=28834892 memory=738608 CPUtime=2.29 cores=0-7
/proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 193072 0 0 0 169 60 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11571] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427479500384 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11572] ppid=11558 vsize=28834892 memory=-1598831813028945288 CPUtime=0 cores=0-7
/proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427478447488 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11573] ppid=11558 vsize=28834892 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11574] ppid=11558 vsize=28834892 memory=6943526294502006880 CPUtime=5.79 cores=0-7
/proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 28103 0 0 0 573 6 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11575] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=5.29 cores=0-7
/proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 33072 0 0 0 524 5 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11576] ppid=11558 vsize=28834892 memory=6944656592455097440 CPUtime=5.9 cores=0-7
/proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 41660 0 0 0 582 8 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11577] ppid=11558 vsize=28834892 memory=1456 CPUtime=1.73 cores=0-7
/proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 31536 0 0 0 166 7 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11578] ppid=11558 vsize=28834892 memory=745792 CPUtime=0 cores=0-7
/proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11579] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=1.17 cores=0-7
/proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 15146 0 0 0 51 66 0 0 20 0 28 0 418891969 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11723] ppid=11558 vsize=28834892 memory=980 CPUtime=2134.91 cores=0-7
/proc/11560/task/11723/stat : 11723 (java) R 11558 11558 9382 0 -1 4202560 92992 0 0 0 213441 50 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427455560536 140428479569833 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11724] ppid=11558 vsize=28834892 memory=14008 CPUtime=2134.95 cores=0-7
/proc/11560/task/11724/stat : 11724 (java) R 11558 11558 9382 0 -1 4202560 60427 0 0 0 213480 15 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427459773272 140428474262088 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11725] ppid=11558 vsize=28834892 memory=12028 CPUtime=2134.85 cores=0-7
/proc/11560/task/11725/stat : 11725 (java) R 11558 11558 9382 0 -1 4202560 75920 0 0 0 213404 81 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427451350768 140428477196677 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11726] ppid=11558 vsize=28834892 memory=25824 CPUtime=2134.91 cores=0-7
/proc/11560/task/11726/stat : 11726 (java) R 11558 11558 9382 0 -1 4202560 171203 0 0 0 213367 124 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427452403656 140428481065151 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11727] ppid=11558 vsize=28834892 memory=2120 CPUtime=2134.83 cores=0-7
/proc/11560/task/11727/stat : 11727 (java) R 11558 11558 9382 0 -1 4202560 105873 0 0 0 213405 78 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427454508904 140428481067127 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11728] ppid=11558 vsize=28834892 memory=496 CPUtime=0 cores=0-7
/proc/11560/task/11728/stat : 11728 (java) S 11558 11558 9382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427458724560 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11729] ppid=11558 vsize=28834892 memory=1560 CPUtime=2134.86 cores=0-7
/proc/11560/task/11729/stat : 11729 (java) R 11558 11558 9382 0 -1 4202560 83235 0 0 0 213434 52 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427457670080 140428479570388 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
[pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=928 CPUtime=0 cores=0-7
/proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0
Current children cumulated CPU time: 15232.9 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 717492 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 11558 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001318 s, system=0.001318 s

[startup+2520.03 s]
# the end of solver process 11560 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15223.3 s, system=9.78696 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.03
CPU time (s): 15233.1
CPU user time (s): 15223.3
CPU system time (s): 9.78696
CPU usage (%): 604.478
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 1573432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15223.3
system time used= 9.78696
maximum resident set size= 1571976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1642303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163826
involuntary context switches= 48258


# summary of solver processes directly reported to runsolver:
#   pid: 11558,11560
#   total CPU time (s): 15233.1
#   total CPU user time (s): 15223.3
#   total CPU system time (s): 9.78696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.5455 second user time and 28.8382 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 11:01:19
IDJOB=4394661
IDBENCH=127027
IDSOLVER=2843
FILE ID=node120/4394661-1568428856
RUNJOBID= node120-1323932029-9409
PBS_JOBID= 21702277
Free space on /tmp= 61648 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-031.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-4394661-1568428856/watcher-4394661-1568428856 -o /tmp/evaluation-result-4394661-1568428856/solver-4394661-1568428856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1021677109 HOME/instance-4394661-1568428856.xml

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

MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29
RANDOM SEED=1021677109

node120.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		: 2667.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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28247964 kB
MemAvailable:   31823840 kB
Buffers:          196280 kB
Cached:          3684672 kB
SwapCached:        77548 kB
Active:          1110804 kB
Inactive:        2854452 kB
Active(anon):       5436 kB
Inactive(anon):   128580 kB
Active(file):    1105368 kB
Inactive(file):  2725872 kB
Unevictable:      106532 kB
Mlocked:          106532 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26100 kB
Writeback:             0 kB
AnonPages:        162692 kB
Mapped:            48812 kB
Shmem:             41008 kB
Slab:             149996 kB
SReclaimable:     120944 kB
SUnreclaim:        29052 kB
KernelStack:        3744 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61624 MiB
End job on node120 at 2011-12-15 11:43:19