Trace number 4394637

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelWrong Cert. 817.562 121.233

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa50a.xml
MD5SUM4fcc0be526f5147180ee0aa4ecb06fa1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark31118
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints1200
Number of domains2
Minimum domain size49
Maximum domain size50
Distribution of domain sizes[{"size":49,"count":1199},{"size":50,"count":50}]
Minimum variable degree0
Maximum variable degree50
Distribution of variable degrees[{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}]
Minimum constraint arity3
Maximum constraint arity50
Distribution of constraint arities[{"arity":3,"count":1199},{"arity":50,"count":1}]
Number of extensional constraints1199
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1199},{"type":"allDifferent","count":1}]
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-4394637-1568421893.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394637-1568421893.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
26.76/5.66	c solve instance...
34.92/6.86	o 31919 
36.69/7.22	o 31914 
37.55/7.50	o 31907 
40.29/9.43	o 31904 
40.70/9.67	o 31894 
40.88/9.71	o 31878 
43.09/10.15	o 31839 
43.09/10.19	o 31832 
43.56/10.39	o 31822 
43.84/10.59	o 31820 
43.98/10.62	o 31811 
44.35/10.85	o 31809 
44.66/11.04	o 31797 
44.66/11.10	o 31791 
45.10/11.29	o 31780 
53.14/12.33	o 31779 
53.14/12.37	o 31767 
54.05/12.50	o 31757 
85.77/16.59	o 31752 
89.44/17.01	o 31741 
117.37/20.68	o 31730 
117.61/20.73	o 31722 
118.01/20.99	o 31709 
119.30/21.31	o 31706 
119.30/21.34	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (3120/3122)
119.30/21.34		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
119.30/21.34		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
119.30/21.34		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
119.30/21.34		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
119.30/21.34		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
119.30/21.34	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (3120/3122)
119.30/21.34		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
119.30/21.34		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
119.30/21.34		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
119.30/21.34		at org.chocosolver.solver.Solver.repair(Solver.java:443)
119.30/21.34		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
119.30/21.34		at org.chocosolver.solver.Solver.solve(Solver.java:262)
119.30/21.34		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
119.30/21.34		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
119.30/21.34		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
119.30/21.34		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
119.30/21.34		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
119.30/21.34		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
119.30/21.34		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
119.30/21.34		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
119.30/21.34		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
119.30/21.34		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
119.30/21.34	o 31705 
796.20/117.72	java.util.concurrent.ExecutionException: java.lang.NullPointerException
796.20/117.72		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
796.20/117.72		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
796.20/117.72		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
796.20/117.72		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
796.20/117.72		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
796.20/117.72	Caused by: java.lang.NullPointerException
796.20/117.72		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
796.20/117.72		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
796.20/117.72		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
796.20/117.72		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
796.20/117.72		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
796.20/117.72		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
796.20/117.72		... 4 more
796.20/117.72	Caused by: java.lang.NullPointerException
796.20/117.72		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
796.20/117.72		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
796.20/117.72		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
796.20/117.72		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
796.20/117.72		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
796.20/117.72		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
796.20/117.72		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
796.20/117.72		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
796.20/117.72		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
796.20/117.72		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
796.20/117.72		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
796.20/117.72		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
796.20/117.72		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
796.20/117.72		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
796.20/117.72		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
796.20/117.72		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
796.20/117.72		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
796.20/117.72		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
796.20/117.73	Caused by: java.lang.NullPointerException
796.20/117.73		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
796.20/117.73		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
796.20/117.73		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181)
796.20/117.73		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
796.20/117.73		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
796.20/117.73		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
796.20/117.73		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
796.20/117.73		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
796.20/117.73		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
796.20/117.73		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
796.20/117.73		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
796.20/117.73		at org.chocosolver.solver.Solver.extend(Solver.java:421)
796.20/117.73		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
796.20/117.73		at org.chocosolver.solver.Solver.solve(Solver.java:262)
796.20/117.73		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
796.20/117.73		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
796.20/117.73		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
796.20/117.73		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
796.20/117.73		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
796.20/117.73		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
796.20/117.73		... 4 more
796.20/117.73	o 31702 
798.09/118.04	java.util.concurrent.ExecutionException: java.lang.NullPointerException
798.09/118.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
798.09/118.04		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
798.09/118.04		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
798.09/118.04		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
798.09/118.04		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
798.09/118.04	Caused by: java.lang.NullPointerException
798.09/118.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
798.09/118.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
798.09/118.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
798.09/118.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
798.09/118.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
798.09/118.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
798.09/118.04		... 4 more
798.09/118.04	Caused by: java.lang.NullPointerException
798.09/118.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
798.09/118.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
798.09/118.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
798.09/118.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
798.09/118.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
798.09/118.04		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
798.09/118.04		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
798.09/118.04		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
798.09/118.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
798.09/118.04		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
798.09/118.04		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
798.09/118.04		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
798.09/118.04		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
798.09/118.04		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
798.09/118.04		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
798.09/118.04		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
798.09/118.04		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
798.09/118.04		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
798.09/118.05	Caused by: java.lang.NullPointerException
798.09/118.05		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
798.09/118.05		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
798.09/118.05		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
798.09/118.05		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
798.09/118.05		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
798.09/118.05		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
798.09/118.05		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
798.09/118.05		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
798.09/118.05		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
798.09/118.05		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
798.09/118.05		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
798.09/118.05		at org.chocosolver.solver.Solver.extend(Solver.java:421)
798.09/118.05		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
798.09/118.05		at org.chocosolver.solver.Solver.solve(Solver.java:262)
798.09/118.05		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
798.09/118.05		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
798.09/118.05		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
798.09/118.05		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
798.09/118.05		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
798.09/118.05		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
798.09/118.05		... 4 more
798.09/118.05	o 31266 
815.65/120.94	java.util.concurrent.ExecutionException: java.lang.NullPointerException
815.65/120.94		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
815.65/120.94		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
815.65/120.94		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
815.65/120.94		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
815.65/120.94		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
815.65/120.94	Caused by: java.lang.NullPointerException
815.65/120.94		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
815.65/120.94		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
815.65/120.94		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
815.65/120.94		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
815.65/120.94		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
815.65/120.94		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
815.65/120.94		... 4 more
815.65/120.95	Caused by: java.lang.NullPointerException
815.65/120.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
815.65/120.95		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
815.65/120.95		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
815.65/120.95		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
815.65/120.95		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
815.65/120.95		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
815.65/120.95		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
815.65/120.95		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
815.65/120.95		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
815.65/120.95		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
815.65/120.95		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
815.65/120.95		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
815.65/120.95		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
815.65/120.95		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
815.65/120.95		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
815.65/120.95		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
815.65/120.95		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
815.65/120.95		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
815.65/120.95	Caused by: java.lang.NullPointerException
815.65/120.95		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
815.65/120.95		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
815.65/120.95		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
815.65/120.95		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
815.65/120.95		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
815.65/120.95		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
815.65/120.95		at org.chocosolver.solver.Solver.solve(Solver.java:262)
815.65/120.95		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
815.65/120.95		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
815.65/120.95		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
815.65/120.95		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
815.65/120.95		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
815.65/120.95		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
815.65/120.95		... 4 more
815.65/120.95	o 31197 
817.01/121.18	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
817.01/121.18		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
817.01/121.18		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
817.01/121.18		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
817.01/121.18		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
817.01/121.18		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
817.01/121.19	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
817.01/121.19		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
817.01/121.19		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
817.01/121.19		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
817.01/121.19		at org.chocosolver.solver.Solver.extend(Solver.java:421)
817.01/121.19		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
817.01/121.19		at org.chocosolver.solver.Solver.solve(Solver.java:262)
817.01/121.19		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
817.01/121.19		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
817.01/121.19		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
817.01/121.19		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
817.01/121.19		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
817.01/121.19		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
817.01/121.19		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
817.01/121.19		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
817.01/121.19		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
817.01/121.19		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
817.01/121.19	o 31182 
817.51/121.20	s OPTIMUM FOUND
817.51/121.20	v <instantiation>
817.51/121.20	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list>
817.51/121.20	v 	<values>0 1 3 2 5 4 6 7 8 9 10 11 12 13 14 15 16 17 18 19 21 20 22 23 25 24 26 38 27 29 30 31 32 33 35 34 36 37 47 28 40 41 42 43 45 44 46 39 48 49 23 21 27 22 31 41 47 19 19 27 12 33 17 25 25 10 27 44 31 40 29 12 7 14 30 33 35 29 29 25 14 21 20 11 31 38 26 28 23 42 33 24 37 29 23 14 34 29 22 26 22 30 24 38 43 29 28 26 22 14 22 36 21 26 36 31 34 38 24 17 26 42 31 12 27 31 29 17 25 15 29 25 11 18 23 44 9 35 13 25 29 35 44 15 31 28 31 21 22 24 7 24 19 25 34 19 25 11 37 41 36 28 19 16 47 9 28 26 40 2 24 23 21 27 23 31 30 33 44 22 17 19 14 24 24 24 25 28 28 26 19 18 27 19 21 9 48 9 15 21 8 31 7 16 6 46 22 29 27 26 25 14 27 19 27 15 13 32 40 25 36 26 2 38 21 32 12 26 35 2 5 25 32 9 30 29 17 27 30 23 30 26 19 14 26 24 16 20 39 29 27 16 37 29 29 30 34 30 32 33 29 26 28 13 30 17 29 27 26 23 36 28 14 24 36 35 7 30 6 28 6 36 36 28 40 22 27 29 30 33 35 35 34 21 16 11 28 31 26 2 49 9 10 25 38 19 29 44 43 38 17 33 20 40 39 27 3 21 35 22 36 14 38 26 34 11 22 22 37 10 20 42 15 30 44 45 10 10 41 36 18 27 25 34 36 24 28 35 27 44 2 2 33 11 44 15 24 30 12 27 29 25 30 17 15 38 25 20 21 25 16 38 25 37 34 31 5 11 18 35 8 27 13 35 20 34 49 35 25 29 11 27 19 26 11 25 22 21 15 41 38 35 49 2 23 38 48 2 29 35 23 37 29 19 32 26 27 7 19 17 35 38 44 12 27 18 5 39 16 10 33 18 27 25 14 17 22 43 6 4 28 11 38 21 42 13 16 19 42 33 47 35 28 35 11 34 29 22 5 15 24 47 16 21 24 40 34 27 27 22 34 33 28 22 46 30 36 32 27 30 37 43 23 18 42 44 17 18 11 30 36 18 6 21 16 31 30 13 19 22 15 27 25 16 48 2 2 19 16 13 23 11 29 18 25 9 25 40 2 8 23 11 15 2 41 25 42 32 21 41 24 7 32 13 36 31 22 26 35 21 20 16 20 19 8 33 33 33 39 34 20 33 10 25 26 25 33 21 26 35 2 23 28 16 26 16 37 33 5 27 31 13 21 15 30 14 35 37 24 19 34 47 46 24 26 31 9 36 23 31 9 33 32 2 30 10 32 15 15 38 7 29 46 26 27 30 21 36 8 34 16 29 34 26 14 33 37 44 8 7 20 14 28 26 31 44 17 34 12 31 39 18 35 22 21 17 32 32 23 33 14 47 23 29 2 29 44 26 28 22 2 14 26 30 14 14 5 26 44 32 8 8 17 27 22 34 45 33 2 12 34 35 21 26 19 16 27 30 28 30 24 34 28 23 15 28 33 14 28 14 33 2 41 29 10 20 42 27 23 36 23 15 9 31 18 5 25 28 28 2 19 2 34 15 14 26 31 28 35 33 27 20 34 18 39 31 27 24 34 36 44 20 40 20 17 28 2 35 35 25 22 21 33 28 38 24 38 9 18 24 14 30 19 38 21 2 29 14 24 27 15 41 14 35 17 18 15 32 34 16 37 25 14 18 22 28 42 2 29 35 29 27 24 36 41 14 23 32 38 26 21 2 22 23 25 28 28 36 19 11 26 41 24 30 38 27 48 12 34 14 42 2 29 14 28 28 22 18 18 29 14 29 26 24 11 30 13 21 29 16 30 25 32 18 19 13 28 22 41 25 17 38 11 24 21 2 30 2 22 17 26 19 26 31 22 28 33 14 25 35 20 21 17 24 45 35 28 35 42 20 15 30 34 24 24 24 15 5 22 38 22 28 31 35 14 14 15 35 20 32 23 26 17 32 7 27 24 47 36 22 26 16 28 32 35 35 46 39 22 33 25 28 22 42 14 45 36 16 16 24 22 11 33 33 29 18 30 13 27 35 29 34 32 25 25 28 26 20 11 30 45 24 23 24 34 22 16 31 26 35 37 27 29 36 24 26 14 33 21 41 17 9 2 29 2 38 18 31 10 49 2 13 24 43 5 2 2 19 17 18 27 20 16 34 17 29 26 16 22 30 29 19 13 15 34 30 10 23 23 29 27 7 15 29 21 41 35 25 14 33 7 29 29 20 32 37 24 12 26 42 31 22 24 22 24 38 47 32 27 24 30 21 33 37 23 46 46 32 22 8 14 18 27 17 26 44 29 26 35 7 30 27 35 32 33 24 20 47 23 23 37 4 34 33 39 6 34 39 22 21 42 37 19 43 47 28 21 27 24 45 20 27 26 12 36 25 16 33 23 37 22 35 31 30 31 35 41 17 34 33 7 34 31 35 28 23 28 33 11 48 37 37 28 42 19 14 7 10 22 35 31 44 13 38 28 40 8 40 17 48 28 20 10 36 24 29 34 25 35 32 41 28 35 24 34 38 20 35 33 27 8 28 27 25 30 29 19 27 26 33 24 42 21 11 25 11 5 18 33 26 27 41 35 28 31 22 8 13 40 26 42 23 18 12 20 27 44 32 39 3 35 21 8 31 19 30 24 6 35 27 44 31 21 45 39 20 43 20 20 18 38 17 34 27 35 4 43 31 29 29 20 39 17 40 25 27 29 35 21 13 37 38 40 19 44 31 24 12 26 14 13 30 36 21 28 22 16 32 31 </values>
817.51/121.20	v </instantiation>

Verifier Data 

INVALID Solution! (29 errors)
  Violated Constraint c_173 : extension()
	list() : [x[3], x[35], d[3][35]]
	supports() : [[0, 1, 23], [0, 2, 27], [0, 3, 21], [0, 4, 31], [0, 5, 22], [0, 6, 41], [0, 7, 47], [0, 8, 19], [0, 9, 19], [0, 10, 27], [0, 11, 12], [0, 12, 33], [0, 13, 17], [0, 14, 25], [0, 15, 25], [0, 16, 10], [0, 17, 27], [0, 18, 44], [0, 19, 31], [0, 20, 29], [0, 21, 40], [0, 22, 12], [0, 23, 7], [0, 24, 30], [0, 25, 14], [0, 26, 33], [0, 27, 29], [0, 28, 23], [0, 29, 29], [0, 30, 25], [0, 31, 14], [0, 32, 21], [0, 33, 20], [0, 34, 31], [0, 35, 11], [0, 36, 38], [0, 37, 26], [0, 38, 35], [0, 39, 14], [0, 40, 42], [0, 41, 33], [0, 42, 34], [0, 43, 24], [0, 44, 29], [0, 45, 37], [0, 46, 23], [0, 47, 28], [0, 48, 34], [0, 49, 29], [1, 0, 23], [1, 2, 26], [1, 3, 22], [1, 4, 30], [1, 5, 22], [1, 6, 24], [1, 7, 38], [1, 8, 43], [1, 9, 29], [1, 10, 28], [1, 11, 26], [1, 12, 22], [1, 13, 14], [1, 14, 22], [1, 15, 36], [1, 16, 21], [1, 17, 26], [1, 18, 36], [1, 19, 31], [1, 20, 38], [1, 21, 34], [1, 22, 24], [1, 23, 17], [1, 24, 42], [1, 25, 26], [1, 26, 31], [1, 27, 27], [1, 28, 44], [1, 29, 31], [1, 30, 29], [1, 31, 17], [1, 32, 25], [1, 33, 15], [1, 34, 25], [1, 35, 29], [1, 36, 11], [1, 37, 18], [1, 38, 12], [1, 39, 44], [1, 40, 9], [1, 41, 35], [1, 42, 13], [1, 43, 25], [1, 44, 29], [1, 45, 28], [1, 46, 35], [1, 47, 23], [1, 48, 15], [1, 49, 31], [2, 0, 27], [2, 1, 26], [2, 3, 28], [2, 4, 27], [2, 5, 18], [2, 6, 19], [2, 7, 21], [2, 8, 9], [2, 9, 48], [2, 10, 9], [2, 11, 15], [2, 12, 21], [2, 13, 8], [2, 14, 31], [2, 15, 7], [2, 16, 16], [2, 17, 6], [2, 18, 46], [2, 19, 22], [2, 20, 27], [2, 21, 29], [2, 22, 26], [2, 23, 25], [2, 24, 27], [2, 25, 14], [2, 26, 19], [2, 27, 15], [2, 28, 12], [2, 29, 13], [2, 30, 32], [2, 31, 40], [2, 32, 25], [2, 33, 36], [2, 34, 4], [2, 35, 26], [2, 36, 38], [2, 37, 21], [2, 38, 27], [2, 39, 25], [2, 40, 26], [2, 41, 35], [2, 42, 6], [2, 43, 5], [2, 44, 32], [2, 45, 25], [2, 46, 9], [2, 47, 32], [2, 48, 30], [2, 49, 29], [3, 0, 21], [3, 1, 22], [3, 2, 28], [3, 4, 21], [3, 5, 31], [3, 6,

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14543 MiB free)
  memory of node 1: 16384 MiB (15657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394637-1568421893/watcher-4394637-1568421893 -o /tmp/evaluation-result-4394637-1568421893/solver-4394637-1568421893 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568417381-28714 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263861285 HOME/instance-4394637-1568421893.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100132 s]*
/proc/loadavg: 8.23 8.49 8.37 2/212 29377
/proc/meminfo: memFree=30910044/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28227388 memory=28788 CPUtime=0.13 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 5694 0 0 0 12 1 0 0 20 0 20 0 418456112 28904845312 7197 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7056847 7197 3112 1 0 7019032 0
[pid=29358/tid=29359] ppid=29356 vsize=28227388 memory=7898640229105312156 CPUtime=0.08 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 28687 0 -1 4202560 3605 0 0 0 8 0 0 0 20 0 20 0 418456113 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125542710544 140125522564446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28227388 memory=732370161268292581 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28227388 memory=140022930839168 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29363] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125086534160 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29364] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125085481872 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29365] ppid=29356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125084429072 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29366] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125083376784 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29367] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 7197 33554432000 4194304 4196468 140725795898112 140125082323984 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29368] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456115 28904845312 7197 33554432000 4194304 4196468 140725795898112 140124253087856 140125538495106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29369] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418456116 28904845312 7197 33554432000 4194304 4196468 140725795898112 140124252033824 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29370] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418456116 28904845312 7197 33554432000 4194304 4196468 140725795898112 140124250981488 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29371] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 28687 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140124248877680 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) R 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) R 29356 29356 28687 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) R 29356 29356 28687 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140123994966768 140125538505306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 7197 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456119 28904845312 7197 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30240 KiB

[startup+0.210748 s]*
/proc/loadavg: 8.23 8.49 8.37 3/212 29377
/proc/meminfo: memFree=30896172/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28227388 memory=40768 CPUtime=0.33 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 9494 0 0 0 31 2 0 0 20 0 20 0 418456112 28904845312 10192 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7056847 10192 3263 1 0 7019032 0
[pid=29358/tid=29359] ppid=29356 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 28687 0 -1 4202560 6640 0 0 0 18 1 0 0 20 0 20 0 418456113 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125542714496 140125522564446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28227388 memory=280045709793016 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28227388 memory=140022930839168 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29363] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125086534160 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29364] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125085481872 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29365] ppid=29356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125084429072 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29366] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125083376784 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29367] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28904845312 10192 33554432000 4194304 4196468 140725795898112 140125082323984 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29368] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418456115 28904845312 10192 33554432000 4194304 4196468 140725795898112 140124253087856 140125538495106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29369] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418456116 28904845312 10192 33554432000 4194304 4196468 140725795898112 140124252033824 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29370] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418456116 28904845312 10192 33554432000 4194304 4196468 140725795898112 140124250981488 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29371] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 28687 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140124248877680 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 28687 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 28687 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) R 29356 29356 28687 0 -1 4202560 766 0 0 0 7 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140123994966576 140125538495894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456118 28904845312 10192 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456119 28904845312 10192 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42220 KiB

[startup+0.31056 s]*
/proc/loadavg: 8.23 8.49 8.37 4/212 29377
/proc/meminfo: memFree=30888760/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28231644 memory=49936 CPUtime=0.53 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 10899 0 0 0 49 4 0 0 20 0 20 0 418456112 28909203456 12484 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7057911 12484 3322 1 0 7019032 0
[pid=29358/tid=29359] ppid=29356 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 28687 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 20 0 418456113 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125542715072 140125522564446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29363] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125086534160 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29364] ppid=29356 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125085481872 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29365] ppid=29356 vsize=28231644 memory=140022779048879 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125084429072 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29366] ppid=29356 vsize=28231644 memory=140022779051184 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125083376784 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29367] ppid=29356 vsize=28231644 memory=140022779053488 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28909203456 12484 33554432000 4194304 4196468 140725795898112 140125082323984 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29368] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 28687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418456115 28909203456 12484 33554432000 4194304 4196468 140725795898112 140124253087856 140125538495106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29369] ppid=29356 vsize=28231644 memory=280045558113936 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 28687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418456116 28909203456 12484 33554432000 4194304 4196468 140725795898112 140124252033824 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29370] ppid=29356 vsize=28231644 memory=280045558120848 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 28687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418456116 28909203456 12484 33554432000 4194304 4196468 140725795898112 140124250981488 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29371] ppid=29356 vsize=28231644 memory=280045558062128 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28231644 memory=280045558134672 CPUtime=0.04 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) R 29356 29356 28687 0 -1 4202560 510 0 0 0 4 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140124248877680 140125520027740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28231644 memory=280045558141584 CPUtime=0.02 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 28687 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28231644 memory=280045558139280 CPUtime=0.02 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 28687 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28231644 memory=280045558155440 CPUtime=0.12 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) S 29356 29356 28687 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140123994966768 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456118 28909203456 12484 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456119 28909203456 12484 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51388 KiB

[startup+0.700989 s]
/proc/loadavg: 8.23 8.49 8.37 6/212 29377
/proc/meminfo: memFree=30868272/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28233768 memory=114324 CPUtime=1.93 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 16681 0 0 0 187 6 0 0 20 0 20 0 418456112 28911378432 28581 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7058442 28581 3447 1 0 7019544 0
[pid=29358/tid=29359] ppid=29356 vsize=28233768 memory=280045558450304 CPUtime=0.67 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 28687 0 -1 4202560 9210 0 0 0 64 3 0 0 20 0 20 0 418456113 28911378432 28581 33554432000 4194304 4196468 140725795898112 140125542721456 140125141310826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28233768 memory=5007931868294 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418456114 28911378432 28581 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418456114 28911378432 28581 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418456114 28911378432 28581 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0

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

[pid=29358/tid=29371] ppid=29356 vsize=28835920 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28835920 memory=9126232286719478932 CPUtime=7.2 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 28687 0 -1 1077944384 29518 0 0 0 714 6 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140124248877680 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28835920 memory=-1189914978686163229 CPUtime=7.45 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 28687 0 -1 1077944384 39642 0 0 0 736 9 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28835920 memory=-6800859132029471843 CPUtime=7.42 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 28687 0 -1 1077944384 32299 0 0 0 737 5 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28835920 memory=6944656592387989600 CPUtime=1.58 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) S 29356 29356 28687 0 -1 1077944384 19639 0 0 0 153 5 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123994966768 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28835920 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418456118 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28835920 memory=3519020 CPUtime=0.09 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 2859 0 0 0 2 7 0 0 20 0 29 0 418456119 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29600] ppid=29356 vsize=28835920 memory=7680491646476186387 CPUtime=2.27 cores=0-7
/proc/29358/task/29600/stat : 29600 (java) R 29356 29356 28687 0 -1 4202560 23 0 0 0 227 0 0 0 20 0 29 0 418467886 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123905690704 140125149785299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29602] ppid=29356 vsize=28835920 memory=6946866654921323415 CPUtime=1.95 cores=0-7
/proc/29358/task/29602/stat : 29602 (java) R 29356 29356 28687 0 -1 4202560 23 0 0 0 195 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123980729448 140125144562699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29603] ppid=29356 vsize=28835920 memory=8305315425968087136 CPUtime=1.95 cores=0-7
/proc/29358/task/29603/stat : 29603 (java) R 29356 29356 28687 0 -1 4202560 25 0 0 0 195 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123983888416 140125144562496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29604] ppid=29356 vsize=28835920 memory=7161658449437550953 CPUtime=1.94 cores=0-7
/proc/29358/task/29604/stat : 29604 (java) R 29356 29356 28687 0 -1 4202560 150 0 0 0 194 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123912001032 140125144205244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29605] ppid=29356 vsize=28835920 memory=7161658449437550953 CPUtime=1.95 cores=0-7
/proc/29358/task/29605/stat : 29605 (java) R 29356 29356 28687 0 -1 4202560 20 0 0 0 195 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123982835880 140125144562423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29606] ppid=29356 vsize=28835920 memory=280045558549184 CPUtime=0.01 cores=0-7
/proc/29358/task/29606/stat : 29606 (java) S 29356 29356 28687 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123909899792 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29607] ppid=29356 vsize=28835920 memory=1452 CPUtime=1.95 cores=0-7
/proc/29358/task/29607/stat : 29607 (java) R 29356 29356 28687 0 -1 4202560 26 0 0 0 195 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123910946160 140125144562766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29608] ppid=29356 vsize=28835920 memory=3569840 CPUtime=0 cores=0-7
/proc/29358/task/29608/stat : 29608 (java) S 29356 29356 28687 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123981787920 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29609] ppid=29356 vsize=28835920 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/29358/task/29609/stat : 29609 (java) S 29356 29356 28687 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 29 0 418467918 29527982080 892477 33554432000 4194304 4196468 140725795898112 140123904643728 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 810.32 s
Current children cumulated vsize: 28949048 KiB
Current children cumulated memory: 3571360 KiB

[startup+120.801 s]
/proc/loadavg: 6.88 7.76 8.10 7/220 29609
/proc/meminfo: memFree=27365476/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28835920 memory=3570272 CPUtime=815.06 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 317747 0 0 0 80533 973 0 0 20 0 29 0 418456112 29527982080 892568 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7208980 892568 3563 1 0 7170082 0
[pid=29358/tid=29359] ppid=29356 vsize=28835920 memory=940 CPUtime=2.66 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) S 29356 29356 28687 0 -1 1077944384 12250 0 0 0 255 11 0 0 20 0 29 0 418456113 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125542724736 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28835920 memory=14008 CPUtime=4.32 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 7007 0 0 0 335 97 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28835920 memory=11824 CPUtime=4.27 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 5779 0 0 0 335 92 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28835920 memory=4279 CPUtime=4.33 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 7618 0 0 0 338 95 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29363] ppid=29356 vsize=28835920 memory=1005 CPUtime=4.26 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 28687 0 -1 1077944384 5868 0 0 0 333 93 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125086534160 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29364] ppid=29356 vsize=28835920 memory=1372 CPUtime=4.24 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 28687 0 -1 1077944384 5899 0 0 0 330 94 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125085481872 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29365] ppid=29356 vsize=28835920 memory=591 CPUtime=4.29 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 28687 0 -1 1077944384 5522 0 0 0 335 94 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125084429072 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29366] ppid=29356 vsize=28835920 memory=0 CPUtime=4.33 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 28687 0 -1 1077944384 4885 0 0 0 339 94 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125083376784 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29367] ppid=29356 vsize=28835920 memory=2135 CPUtime=4.32 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 28687 0 -1 1077944384 6326 0 0 0 339 93 0 0 20 0 29 0 418456114 29527982080 892568 33554432000 4194304 4196468 140725795898112 140125082323984 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29368] ppid=29356 vsize=28835920 memory=149 CPUtime=0.21 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 28687 0 -1 1077944384 7315 0 0 0 14 7 0 0 20 0 29 0 418456115 29527982080 892568 33554432000 4194304 4196468 140725795898112 140124253087856 140125538495106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29369] ppid=29356 vsize=28835920 memory=386 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 28687 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 29 0 418456116 29527982080 892568 33554432000 4194304 4196468 140725795898112 140124252033888 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29370] ppid=29356 vsize=28835920 memory=1452 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 28687 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 29 0 418456116 29527982080 892568 33554432000 4194304 4196468 140725795898112 140124250981504 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29371] ppid=29356 vsize=28835920 memory=1452 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28835920 memory=3569908 CPUtime=7.21 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 28687 0 -1 1077944384 29522 0 0 0 715 6 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140124248877680 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28835920 memory=984 CPUtime=7.45 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 28687 0 -1 1077944384 39642 0 0 0 736 9 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28835920 memory=2004 CPUtime=7.42 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 28687 0 -1 1077944384 32299 0 0 0 737 5 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28835920 memory=1376 CPUtime=1.58 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) S 29356 29356 28687 0 -1 1077944384 19639 0 0 0 153 5 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123994966768 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28835920 memory=1060 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418456118 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28835920 memory=4068 CPUtime=0.09 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 2861 0 0 0 2 7 0 0 20 0 29 0 418456119 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29600] ppid=29356 vsize=28835920 memory=940 CPUtime=3.06 cores=0-7
/proc/29358/task/29600/stat : 29600 (java) R 29356 29356 28687 0 -1 4202560 99 0 0 0 306 0 0 0 20 0 29 0 418467886 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123905690704 140125149785489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29602] ppid=29356 vsize=28835920 memory=14008 CPUtime=2.73 cores=0-7
/proc/29358/task/29602/stat : 29602 (java) R 29356 29356 28687 0 -1 4202560 403 0 0 0 273 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123980730008 140125144750082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29603] ppid=29356 vsize=28835920 memory=11824 CPUtime=2.73 cores=0-7
/proc/29358/task/29603/stat : 29603 (java) R 29356 29356 28687 0 -1 4202560 233 0 0 0 273 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123983888552 140125144748231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29604] ppid=29356 vsize=28835920 memory=19788 CPUtime=2.73 cores=0-7
/proc/29358/task/29604/stat : 29604 (java) R 29356 29356 28687 0 -1 4202560 247 0 0 0 272 1 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123911999928 140125144205191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29605] ppid=29356 vsize=28835920 memory=2120 CPUtime=2.73 cores=0-7
/proc/29358/task/29605/stat : 29605 (java) R 29356 29356 28687 0 -1 4202560 168 0 0 0 273 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123982835880 140125144562883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29606] ppid=29356 vsize=28835920 memory=500 CPUtime=0.01 cores=0-7
/proc/29358/task/29606/stat : 29606 (java) S 29356 29356 28687 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123909899792 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29607] ppid=29356 vsize=28835920 memory=1556 CPUtime=2.73 cores=0-7
/proc/29358/task/29607/stat : 29607 (java) R 29356 29356 28687 0 -1 4202560 165 0 0 0 273 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123910946488 140125144562883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29608] ppid=29356 vsize=28835920 memory=928 CPUtime=0 cores=0-7
/proc/29358/task/29608/stat : 29608 (java) S 29356 29356 28687 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123981787920 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29609] ppid=29356 vsize=28835920 memory=1520 CPUtime=0 cores=0-7
/proc/29358/task/29609/stat : 29609 (java) S 29356 29356 28687 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 29 0 418467918 29527982080 892568 33554432000 4194304 4196468 140725795898112 140123904643728 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 815.06 s
Current children cumulated vsize: 28949048 KiB
Current children cumulated memory: 3571724 KiB

[startup+121.201 s]
/proc/loadavg: 6.81 7.73 8.09 9/221 29617
/proc/meminfo: memFree=27364572/32770624 swapFree=66967020/67108860
[pid=29356] ppid=29353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 28687 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418456112 115843072 363 33554432000 4194304 5098028 140734414081728 140734414079832 140506191360636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16445440 140734414087029 140734414087273 140734414087273 140734414090186 0
/proc/29356/statm: 28282 363 304 221 0 87 0
[pid=29358] ppid=29356 vsize=28901456 memory=3570132 CPUtime=817.51 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 28687 0 -1 1077944320 322428 0 0 0 80775 976 0 0 20 0 27 0 418456112 29595090944 892533 33554432000 4194304 4196468 140725795898112 140725795880656 140125538483959 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
/proc/29358/statm: 7225364 892533 3563 1 0 7186466 0
[pid=29358/tid=29359] ppid=29356 vsize=28901456 memory=6005109668906625382 CPUtime=2.67 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 28687 0 -1 4202560 12697 0 0 0 256 11 0 0 20 0 25 0 418456113 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125542724704 140125522564417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29360] ppid=29356 vsize=28901456 memory=7444820068378502759 CPUtime=4.32 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 28687 0 -1 1077944384 7007 0 0 0 335 97 0 0 20 0 25 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125458336144 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29361] ppid=29356 vsize=28901456 memory=7667730640567560050 CPUtime=4.27 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 28687 0 -1 1077944384 5779 0 0 0 335 92 0 0 20 0 25 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125457283344 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29362] ppid=29356 vsize=28901456 memory=8026096716005064804 CPUtime=4.33 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 28687 0 -1 1077944384 7618 0 0 0 338 95 0 0 20 0 25 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125087586960 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29363] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=4.26 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 28687 0 -1 1077944384 5868 0 0 0 333 93 0 0 20 0 25 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125086534160 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29364] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=4.24 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 28687 0 -1 1077944384 5899 0 0 0 330 94 0 0 20 0 25 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125085481872 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29365] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=4.29 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 28687 0 -1 1077944384 5522 0 0 0 335 94 0 0 20 0 24 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125084429072 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29366] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=4.33 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 28687 0 -1 1077944384 4885 0 0 0 339 94 0 0 20 0 24 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125083376784 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29367] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=4.32 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 28687 0 -1 1077944384 6326 0 0 0 339 93 0 0 20 0 24 0 418456114 29595090944 892533 33554432000 4194304 4196468 140725795898112 140125082323984 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29368] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=0.21 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 28687 0 -1 1077944384 7401 0 0 0 14 7 0 0 20 0 24 0 418456115 29595090944 892533 33554432000 4194304 4196468 140725795898112 140124253087856 140125538495106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29369] ppid=29356 vsize=28901456 memory=7092996156013832512 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 28687 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 24 0 418456116 29595090944 892533 33554432000 4194304 4196468 140725795898112 140124252033888 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29370] ppid=29356 vsize=28901456 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 28687 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 24 0 418456116 29595090944 892533 33554432000 4194304 4196468 140725795898112 140124250981504 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29371] ppid=29356 vsize=28901456 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 28687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140124249929808 140125538502555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29372] ppid=29356 vsize=28901456 memory=1412 CPUtime=7.22 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 28687 0 -1 1077944384 29734 0 0 0 716 6 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140124248877680 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29373] ppid=29356 vsize=28901456 memory=3656 CPUtime=7.49 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 28687 0 -1 1077944384 40923 0 0 0 740 9 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123997071856 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29374] ppid=29356 vsize=28901456 memory=1452 CPUtime=7.43 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 28687 0 -1 1077944384 32656 0 0 0 738 5 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123996019568 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29375] ppid=29356 vsize=28901456 memory=3518684 CPUtime=1.59 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) R 29356 29356 28687 0 -1 4202560 20233 0 0 0 154 5 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123994962640 140125524179790 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29376] ppid=29356 vsize=28901456 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 28687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418456118 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123993913696 140125538494165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29377] ppid=29356 vsize=28901456 memory=1720 CPUtime=0.09 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 28687 0 -1 1077944384 2995 0 0 0 2 7 0 0 20 0 24 0 418456119 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123992860976 140125538495106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29600] ppid=29356 vsize=28901456 memory=1452 CPUtime=3.46 cores=0-7
/proc/29358/task/29600/stat : 29600 (java) R 29356 29356 28687 0 -1 4202560 110 0 0 0 346 0 0 0 20 0 24 0 418467886 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123905690816 140125149785503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
[pid=29358/tid=29604] ppid=29356 vsize=28901456 memory=3518684 CPUtime=3.12 cores=0-7
/proc/29358/task/29604/stat : 29604 (java) R 29356 29356 28687 0 -1 4202560 253 0 0 0 311 1 0 0 20 0 24 0 418467918 29595090944 892533 33554432000 4194304 4196468 140725795898112 140123911999792 140125144205244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38780928 140725795902442 140725795902614 140725795902614 140725795905487 0
Current children cumulated CPU time: 817.51 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 3571584 KiB

Child status: 0
Real time (s): 121.233
CPU time (s): 817.562
CPU user time (s): 807.77
CPU system time (s): 9.79265
CPU usage (%): 674.371
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 3571780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 807.77
system time used= 9.79265
maximum resident set size= 3570456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14385
involuntary context switches= 4027


# summary of solver processes directly reported to runsolver:
#   pid: 29356
#   total CPU time (s): 817.562
#   total CPU user time (s): 807.77
#   total CPU system time (s): 9.79265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06731 second user time and 1.62746 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-14 02:44:10
IDJOB=4394637
IDBENCH=123065
IDSOLVER=2843
FILE ID=node125/4394637-1568421893
RUNJOBID= node125-1568417381-28714
PBS_JOBID= 21702272
Free space on /tmp= 59780 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.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-4394637-1568421893/watcher-4394637-1568421893 -o /tmp/evaluation-result-4394637-1568421893/solver-4394637-1568421893 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568417381-28714 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263861285 HOME/instance-4394637-1568421893.xml

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

MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1
RANDOM SEED=1263861285

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30926212 kB
MemAvailable:   31880112 kB
Buffers:          123696 kB
Cached:          1129256 kB
SwapCached:        38316 kB
Active:           646756 kB
Inactive:         647512 kB
Active(anon):      20496 kB
Inactive(anon):    60784 kB
Active(file):     626260 kB
Inactive(file):   586728 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66967020 kB
Dirty:             26072 kB
Writeback:            28 kB
AnonPages:        112824 kB
Mapped:            44004 kB
Shmem:             31248 kB
Slab:             141752 kB
SReclaimable:     113496 kB
SUnreclaim:        28256 kB
KernelStack:        3408 kB
PageTables:         5180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59752 MiB
End job on node125 at 2019-09-14 02:46:12