Trace number 4393914

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 parallelOPT16 1132.52 170.617

General information on the benchmark

NameTal/
Tal-05_c18.xml
MD5SUM0bfba4554f8c52d47ef9f831901bb64c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark25.4336
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of constraints364
Number of domains11
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity11
Distribution of constraint arities[{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}]
Number of extensional constraints64
Number of intensional constraints286
Distribution of constraint types[{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}]
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-4393914-1568447544.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393914-1568447544.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
23.13/12.06	c solve instance...
24.88/12.34	o 135 
24.88/12.36	o 127 
24.88/12.39	o 123 
27.11/12.62	o 119 
27.11/12.62	o 103 
27.11/12.63	o 95 
27.11/12.64	o 91 
27.11/12.66	o 75 
28.53/12.83	o 61 
29.28/12.95	o 60 
30.05/13.01	o 57 
30.05/13.06	o 53 
30.80/13.12	o 49 
30.80/13.16	o 45 
31.49/13.21	o 41 
32.26/13.31	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (348/350)
32.26/13.31		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
32.26/13.31		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
32.26/13.31		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
32.26/13.31		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
32.26/13.31		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
32.26/13.31	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (348/350)
32.26/13.31		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
32.26/13.31		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
32.26/13.31		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
32.26/13.31		at org.chocosolver.solver.Solver.repair(Solver.java:443)
32.26/13.31		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
32.26/13.31		at org.chocosolver.solver.Solver.solve(Solver.java:262)
32.26/13.31		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
32.26/13.31		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
32.26/13.31		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
32.26/13.31		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
32.26/13.31		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
32.26/13.31		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
32.26/13.31		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
32.26/13.31		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
32.26/13.31		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
32.26/13.31		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
32.26/13.31	o 29 
40.16/14.31	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
40.16/14.31		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
40.16/14.31		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
40.16/14.31		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
40.16/14.31		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
40.16/14.31		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
40.16/14.31	Caused by: java.lang.ArrayIndexOutOfBoundsException
40.16/14.31		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
40.16/14.31		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
40.16/14.31		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
40.16/14.31		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
40.16/14.31		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
40.16/14.31		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
40.16/14.31		... 4 more
40.16/14.31	Caused by: java.lang.ArrayIndexOutOfBoundsException
40.16/14.31		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
40.16/14.31		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
40.16/14.31		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
40.16/14.31		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
40.16/14.31		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
40.16/14.31		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
40.16/14.31		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
40.16/14.31		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
40.16/14.31		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
40.16/14.31		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
40.16/14.31		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
40.16/14.31		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
40.16/14.31		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
40.16/14.31		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
40.16/14.31		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
40.16/14.31		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
40.16/14.31		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
40.16/14.31		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
40.16/14.31	Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
40.16/14.31		at org.chocosolver.solver.variables.impl.AbstractVariable.getDindex(AbstractVariable.java:309)
40.16/14.31		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:288)
40.16/14.31		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
40.16/14.31		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
40.16/14.31		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
40.16/14.31		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
40.16/14.31		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
40.16/14.31		at org.chocosolver.solver.Solver.solve(Solver.java:262)
40.16/14.31		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
40.16/14.31		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
40.16/14.31		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
40.16/14.31		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
40.16/14.31		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
40.16/14.31		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
40.16/14.31		... 4 more
40.16/14.31	o 26 
42.10/14.68	java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
42.10/14.68		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
42.10/14.68		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
42.10/14.68		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
42.10/14.68		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
42.10/14.68		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
42.10/14.68	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
42.10/14.68		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
42.10/14.68		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
42.10/14.68		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
42.10/14.68		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
42.10/14.68		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
42.10/14.68		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
42.10/14.68		... 4 more
42.10/14.68	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
42.10/14.68		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
42.10/14.68		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
42.10/14.68		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
42.10/14.68		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
42.10/14.68		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
42.10/14.68		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
42.10/14.68		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
42.10/14.68		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
42.10/14.68		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
42.10/14.68		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
42.10/14.68		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
42.10/14.68		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
42.10/14.68		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
42.10/14.68		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
42.10/14.68		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
42.10/14.68		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
42.10/14.68		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
42.10/14.68		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
42.10/14.68	Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
42.10/14.68		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107)
42.10/14.68		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
42.10/14.68		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
42.10/14.68		at org.chocosolver.solver.Solver.restart(Solver.java:596)
42.10/14.68		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
42.10/14.68		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
42.10/14.68		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
42.10/14.69		at org.chocosolver.solver.Solver.extend(Solver.java:421)
42.10/14.69		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
42.10/14.69		at org.chocosolver.solver.Solver.solve(Solver.java:262)
42.10/14.69		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
42.10/14.69		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
42.10/14.69		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
42.10/14.69		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
42.10/14.69		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
42.10/14.69		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
42.10/14.69		... 4 more
42.10/14.69	o 25 
48.54/15.58	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (124/127)
48.54/15.58		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
48.54/15.58		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
48.54/15.58		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
48.54/15.58		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
48.54/15.58		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
48.54/15.59	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (124/127)
48.54/15.59		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
48.54/15.59		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
48.54/15.59		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
48.54/15.59		at org.chocosolver.solver.Solver.repair(Solver.java:443)
48.54/15.59		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
48.54/15.59		at org.chocosolver.solver.Solver.solve(Solver.java:262)
48.54/15.59		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
48.54/15.59		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
48.54/15.59		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
48.54/15.59		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
48.54/15.59		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
48.54/15.59		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
48.54/15.59		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
48.54/15.59		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
48.54/15.59		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
48.54/15.59		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
48.54/15.59	o 24 
57.97/16.70	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
57.97/16.70		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
57.97/16.70		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
57.97/16.70		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
57.97/16.70		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
57.97/16.70		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
57.97/16.70	Caused by: java.lang.ArrayIndexOutOfBoundsException
57.97/16.70		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
57.97/16.70		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
57.97/16.70		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
57.97/16.70		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
57.97/16.70		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
57.97/16.70		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
57.97/16.70		... 4 more
57.97/16.71	Caused by: java.lang.ArrayIndexOutOfBoundsException
57.97/16.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
57.97/16.71		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
57.97/16.71		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
57.97/16.71		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
57.97/16.71		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
57.97/16.71		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
57.97/16.71		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
57.97/16.71		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
57.97/16.71		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
57.97/16.71		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
57.97/16.71		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
57.97/16.71		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
57.97/16.71		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
57.97/16.71		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
57.97/16.71		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
57.97/16.71		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
57.97/16.71		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
57.97/16.71		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
57.97/16.71	Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
57.97/16.71		at java.util.ArrayList.elementData(ArrayList.java:418)
57.97/16.71		at java.util.ArrayList.remove(ArrayList.java:495)
57.97/16.71		at org.chocosolver.sat.SatSolver.detachLearnt(SatSolver.java:366)
57.97/16.71		at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:560)
57.97/16.71		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:85)
57.97/16.71		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
57.97/16.71		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
57.97/16.71		at org.chocosolver.solver.Solver.restart(Solver.java:596)
57.97/16.71		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
57.97/16.71		at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96)
57.97/16.71		at org.chocosolver.solver.Solver.repair(Solver.java:438)
57.97/16.71		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
57.97/16.71		at org.chocosolver.solver.Solver.solve(Solver.java:262)
57.97/16.71		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
57.97/16.71		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
57.97/16.71		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
57.97/16.71		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
57.97/16.71		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
57.97/16.71		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
57.97/16.71		... 4 more
57.97/16.71	o 20 
61.49/18.00	o 17 
63.66/18.36	o 16 
1131.91/170.58	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
1131.91/170.58		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1131.91/170.58		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1131.91/170.58		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1131.91/170.58		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1131.91/170.58		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1131.91/170.59	Caused by: java.lang.ArrayIndexOutOfBoundsException
1131.91/170.59		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1131.91/170.59		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1131.91/170.59		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1131.91/170.59		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
1131.91/170.59		... 4 more
1131.91/170.59	Caused by: java.lang.ArrayIndexOutOfBoundsException
1131.91/170.59		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
1131.91/170.59		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
1131.91/170.59		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
1131.91/170.59		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
1131.91/170.59		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
1131.91/170.59		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
1131.91/170.59		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
1131.91/170.59		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
1131.91/170.59		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
1131.91/170.59		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
1131.91/170.59		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
1131.91/170.59		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1131.91/170.59		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1131.91/170.59		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1131.91/170.59		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1131.91/170.59	Caused by: java.lang.ArrayIndexOutOfBoundsException
1131.91/170.59	s OPTIMUM FOUND
1131.91/170.59	v <instantiation>
1131.91/170.59	v 	<list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[9][0] l[9][1] l[9][2] l[9][3] l[10][0] l[10][1] l[10][2] l[10][3] l[11][0] l[11][1] l[11][2] l[12][0] l[12][1] l[12][2] l[13][0] l[13][1] l[14][0] l[14][1] l[15][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[9][0] a[9][1] a[9][2] a[9][3] a[11][0] a[11][1] a[11][2] a[13][0] a[13][1] a[15][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[10][0] i[10][1] i[10][2] i[10][3] i[12][0] i[12][1] i[12][2] i[14][0] i[14][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] cnt[12] cnt[13] </list>
1131.91/170.59	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 35 38 22 15 13 26 28 27 35 38 22 15 13 4 28 27 35 38 22 15 13 4 28 4 10 0 4 0 0 5 4 10 4 5 0 0 0 6 0 0 0 0 0 6 0 0 0 0 0 6 0 0 0 0 6 0 0 0 0 6 0 0 0 6 0 0 0 6 0 0 6 0 0 6 0 6 0 6 1 1 1 1 1 1 1 1 1 2 0 3 0 0 2 4 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 2 3 4 5 6 7 0 1 3 6 6 6 6 0 5 5 5 5 5 0 4 4 4 4 0 3 3 3 0 2 2 0 1 0 0 3 3 5 5 4 4 3 3 2 2 1 1 </values>
1131.91/170.59	v </instantiation>

Verifier Data 

OK	16

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393914-1568447544/watcher-4393914-1568447544 -o /tmp/evaluation-result-4393914-1568447544/solver-4393914-1568447544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 117445885 HOME/instance-4393914-1568447544.xml 

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

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

solver pid=16475, runsolver pid=16472

[startup+0.100064 s]*
/proc/loadavg: 5.38 7.44 7.71 3/212 16496
/proc/meminfo: memFree=31436196/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=28227388 memory=29224 CPUtime=0.12 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 421017109 28904845312 7306 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7056847 7306 3157 1 0 7019032 0
[pid=16477/tid=16478] ppid=16475 vsize=28227388 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15998 0 -1 4202560 3630 0 0 0 8 1 0 0 20 0 20 0 421017109 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743302156448 139743277014635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=28227388 memory=732370144029338597 CPUtime=0 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=28227388 memory=140005691885184 CPUtime=0 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16482] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743214631312 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16483] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743213579280 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16484] ppid=16475 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743212526736 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16485] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743211473680 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16486] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 7306 33554432000 4194304 4196468 140735795868480 139743210421136 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16487] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017111 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742682401008 139743297948290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16488] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421017112 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742681347232 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16489] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421017112 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742680294128 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16490] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742679242704 139743297955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16491] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15998 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742678190832 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16492] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742677138288 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16493] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742676085232 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16494] ppid=16475 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/16477/task/16494/stat : 16494 (java) R 16475 16475 15998 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742675032688 139743276619112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16495] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742673979872 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16496] ppid=16475 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 7306 33554432000 4194304 4196468 140735795868480 139742672927408 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30680 KiB

[startup+0.210048 s]*
/proc/loadavg: 5.38 7.44 7.71 3/212 16496
/proc/meminfo: memFree=31423936/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=28227388 memory=40400 CPUtime=0.33 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 9335 0 0 0 30 3 0 0 20 0 20 0 421017109 28904845312 10100 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7056847 10100 3287 1 0 7019032 0
[pid=16477/tid=16478] ppid=16475 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15998 0 -1 4202560 6595 0 0 0 17 2 0 0 20 0 20 0 421017109 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743302169872 139743297949078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=28227388 memory=732370144029338597 CPUtime=0 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=28227388 memory=140005691885184 CPUtime=0 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16482] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743214631312 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16483] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743213579280 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16484] ppid=16475 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743212526736 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16485] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743211473680 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16486] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28904845312 10100 33554432000 4194304 4196468 140735795868480 139743210421136 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16487] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421017111 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742682401008 139743297948290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16488] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421017112 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742681347232 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16489] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421017112 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742680294128 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16490] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742679242704 139743297955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16491] ppid=16475 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15998 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742678190832 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16492] ppid=16475 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15998 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742677138288 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16493] ppid=16475 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15998 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742676085232 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16494] ppid=16475 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15998 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742675032688 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16495] ppid=16475 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742673979872 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16496] ppid=16475 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28904845312 10100 33554432000 4194304 4196468 140735795868480 139742672927408 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41856 KiB

[startup+0.309459 s]*
/proc/loadavg: 5.38 7.44 7.71 3/212 16496
/proc/meminfo: memFree=31418724/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=28231644 memory=49364 CPUtime=0.52 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 10735 0 0 0 48 4 0 0 20 0 20 0 421017109 28909203456 12341 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7057911 12341 3329 1 0 7019032 0
[pid=16477/tid=16478] ppid=16475 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15998 0 -1 4202560 7698 0 0 0 26 3 0 0 20 0 20 0 421017109 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743302168256 139743282017630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16482] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743214631312 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16483] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743213579280 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16484] ppid=16475 vsize=28231644 memory=140005532068527 CPUtime=0 cores=0-7
/proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743212526736 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16485] ppid=16475 vsize=28231644 memory=140005532070832 CPUtime=0 cores=0-7
/proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743211473680 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16486] ppid=16475 vsize=28231644 memory=140005532073136 CPUtime=0 cores=0-7
/proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28909203456 12341 33554432000 4194304 4196468 140735795868480 139743210421136 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16487] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421017111 28909203456 12341 33554432000 4194304 4196468 140735795868480 139742682401008 139743297948290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16488] ppid=16475 vsize=28231644 memory=280011064160144 CPUtime=0 cores=0-7
/proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421017112 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742681347232 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16489] ppid=16475 vsize=28231644 memory=280011064157840 CPUtime=0 cores=0-7
/proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421017112 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742680294128 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16490] ppid=16475 vsize=28231644 memory=280011064164752 CPUtime=0 cores=0-7
/proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742679242704 139743297955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16491] ppid=16475 vsize=28231644 memory=280011064106000 CPUtime=0.03 cores=0-7
/proc/16477/task/16491/stat : 16491 (java) R 16475 16475 15998 0 -1 4202560 593 0 0 0 3 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742678171848 139743281437341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16492] ppid=16475 vsize=28231644 memory=280011064178576 CPUtime=0.02 cores=0-7
/proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15998 0 -1 1077944384 72 0 0 0 2 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742677138288 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16493] ppid=16475 vsize=28231644 memory=280011064185488 CPUtime=0.02 cores=0-7
/proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15998 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742676085232 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16494] ppid=16475 vsize=28231644 memory=280011064183184 CPUtime=0.12 cores=0-7
/proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15998 0 -1 1077944384 961 0 0 0 12 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742675032688 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16495] ppid=16475 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742673979872 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16496] ppid=16475 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017115 28909203456 12381 33554432000 4194304 4196468 140735795868480 139742672927408 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50820 KiB

[startup+0.700947 s]
/proc/loadavg: 5.38 7.44 7.71 6/212 16496
/proc/meminfo: memFree=31394280/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=28233768 memory=100592 CPUtime=1.92 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 15947 0 0 0 186 6 0 0 20 0 20 0 421017109 28911378432 25148 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7058442 25148 3452 1 0 7019544 0
[pid=16477/tid=16478] ppid=16475 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15998 0 -1 4202560 8807 0 0 0 63 4 0 0 20 0 20 0 421017109 28911378432 25148 33554432000 4194304 4196468 140735795868480 139743302175824 139742884810160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421017110 28911378432 25148 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28911378432 25148 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421017110 28911378432 25148 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0

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

[pid=16477/tid=16676] ppid=16475 vsize=29167712 memory=3772 CPUtime=148.07 cores=0-7
/proc/16477/task/16676/stat : 16676 (java) R 16475 16475 15998 0 -1 4202560 20695 0 0 0 14788 19 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741530812648 139742898263674 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16677] ppid=16475 vsize=29167712 memory=1440 CPUtime=148.07 cores=0-7
/proc/16477/task/16677/stat : 16677 (java) R 16475 16475 15998 0 -1 4202560 4115 0 0 0 14801 6 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741531865448 139742894714095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16678] ppid=16475 vsize=29167712 memory=920 CPUtime=148.1 cores=0-7
/proc/16477/task/16678/stat : 16678 (java) R 16475 16475 15998 0 -1 4202560 3159 0 0 0 14808 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741458583528 139742895757457 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16679] ppid=16475 vsize=29167712 memory=1984 CPUtime=0.02 cores=0-7
/proc/16477/task/16679/stat : 16679 (java) S 16475 16475 15998 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741529765200 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16680] ppid=16475 vsize=29167712 memory=2404 CPUtime=148.23 cores=0-7
/proc/16477/task/16680/stat : 16680 (java) R 16475 16475 15998 0 -1 4202560 2333 0 0 0 14821 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741457530600 139742895757424 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16681] ppid=16475 vsize=29167712 memory=1764 CPUtime=148.17 cores=0-7
/proc/16477/task/16681/stat : 16681 (java) R 16475 16475 15998 0 -1 4202560 1838 0 0 0 14815 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741533970224 139742898494073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 1114.48 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 2688884 KiB

[startup+169.601 s]
/proc/loadavg: 6.98 7.16 7.55 8/220 16690
/proc/meminfo: memFree=28776484/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=29167712 memory=2687428 CPUtime=1125.61 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 217301 0 0 0 111885 676 0 0 20 0 28 0 421017109 29867737088 671857 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7291928 671857 3562 1 0 7253030 0
[pid=16477/tid=16478] ppid=16475 vsize=29167712 memory=2590500 CPUtime=10.58 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) S 16475 16475 15998 0 -1 1077944384 13703 0 0 0 1044 14 0 0 20 0 28 0 421017109 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743302177920 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=29167712 memory=6791534058613427641 CPUtime=2.42 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 4225 0 0 0 171 71 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=29167712 memory=2687320 CPUtime=2.34 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 4338 0 0 0 166 68 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=29167712 memory=0 CPUtime=2.36 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 4581 0 0 0 162 74 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16482] ppid=16475 vsize=29167712 memory=0 CPUtime=2.35 cores=0-7
/proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15998 0 -1 1077944384 3759 0 0 0 166 69 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743214631312 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16483] ppid=16475 vsize=29167712 memory=0 CPUtime=2.34 cores=0-7
/proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15998 0 -1 1077944384 3744 0 0 0 164 70 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743213579280 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16484] ppid=16475 vsize=29167712 memory=0 CPUtime=2.34 cores=0-7
/proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15998 0 -1 1077944384 3989 0 0 0 163 71 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743212526736 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16485] ppid=16475 vsize=29167712 memory=1456 CPUtime=2.39 cores=0-7
/proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15998 0 -1 1077944384 4950 0 0 0 167 72 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743211473680 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16486] ppid=16475 vsize=29167712 memory=2687320 CPUtime=2.43 cores=0-7
/proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15998 0 -1 1077944384 4959 0 0 0 168 75 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743210421136 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16487] ppid=16475 vsize=29167712 memory=1412 CPUtime=0.61 cores=0-7
/proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15998 0 -1 1077944384 5342 0 0 0 57 4 0 0 20 0 28 0 421017111 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742682401008 139743297948290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16488] ppid=16475 vsize=29167712 memory=3576 CPUtime=0 cores=0-7
/proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15998 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 421017112 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742681347296 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16489] ppid=16475 vsize=29167712 memory=1456 CPUtime=0 cores=0-7
/proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15998 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 421017112 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742680294144 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16490] ppid=16475 vsize=29167712 memory=2687320 CPUtime=0 cores=0-7
/proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742679242704 139743297955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16491] ppid=16475 vsize=29167712 memory=22344 CPUtime=5.19 cores=0-7
/proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15998 0 -1 1077944384 26957 0 0 0 514 5 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742678190832 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16492] ppid=16475 vsize=29167712 memory=2004 CPUtime=5.83 cores=0-7
/proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15998 0 -1 1077944384 33909 0 0 0 577 6 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742677138288 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16493] ppid=16475 vsize=29167712 memory=984 CPUtime=6.48 cores=0-7
/proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15998 0 -1 1077944384 32393 0 0 0 640 8 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742676085232 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16494] ppid=16475 vsize=29167712 memory=1328 CPUtime=1.68 cores=0-7
/proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15998 0 -1 1077944384 18329 0 0 0 164 4 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742675032688 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16495] ppid=16475 vsize=29167712 memory=780 CPUtime=0 cores=0-7
/proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742673979872 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16496] ppid=16475 vsize=29167712 memory=4160 CPUtime=0.1 cores=0-7
/proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15998 0 -1 1077944384 1370 0 0 0 4 6 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742672927408 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16674] ppid=16475 vsize=29167712 memory=2687320 CPUtime=149.88 cores=0-7
/proc/16477/task/16674/stat : 16674 (java) R 16475 16475 15998 0 -1 4202560 6132 0 0 0 14982 6 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741537126360 139742894713837 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16675] ppid=16475 vsize=29167712 memory=1456 CPUtime=149.66 cores=0-7
/proc/16477/task/16675/stat : 16675 (java) R 16475 16475 15998 0 -1 4202560 2191 0 0 0 14963 3 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741528706936 139742895907068 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16676] ppid=16475 vsize=29167712 memory=1456 CPUtime=149.66 cores=0-7
/proc/16477/task/16676/stat : 16676 (java) R 16475 16475 15998 0 -1 4202560 21292 0 0 0 14947 19 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741530812648 139742894712163 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16677] ppid=16475 vsize=29167712 memory=1982836 CPUtime=149.66 cores=0-7
/proc/16477/task/16677/stat : 16677 (java) R 16475 16475 15998 0 -1 4202560 4123 0 0 0 14960 6 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741531865448 139742895757022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16678] ppid=16475 vsize=29167712 memory=1456 CPUtime=149.69 cores=0-7
/proc/16477/task/16678/stat : 16678 (java) R 16475 16475 15998 0 -1 4202560 3176 0 0 0 14967 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741458583528 139742888303390 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16679] ppid=16475 vsize=29167712 memory=2687200 CPUtime=0.02 cores=0-7
/proc/16477/task/16679/stat : 16679 (java) S 16475 16475 15998 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741529765200 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16680] ppid=16475 vsize=29167712 memory=3620 CPUtime=149.82 cores=0-7
/proc/16477/task/16680/stat : 16680 (java) R 16475 16475 15998 0 -1 4202560 2336 0 0 0 14980 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741457530600 139742894273421 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16681] ppid=16475 vsize=29167712 memory=1456 CPUtime=149.76 cores=0-7
/proc/16477/task/16681/stat : 16681 (java) R 16475 16475 15998 0 -1 4202560 1897 0 0 0 14974 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741533970112 139742898494156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 1125.61 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 2688884 KiB

[startup+170.401 s]
/proc/loadavg: 6.98 7.16 7.55 8/220 16690
/proc/meminfo: memFree=28776504/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
[pid=16477] ppid=16475 vsize=29167712 memory=2687428 CPUtime=1131.21 cores=0-7
/proc/16477/stat : 16477 (java) S 16475 16475 15998 0 -1 1077944320 217340 0 0 0 112444 677 0 0 20 0 28 0 421017109 29867737088 671857 33554432000 4194304 4196468 140735795868480 140735795851024 139743297937143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
/proc/16477/statm: 7291928 671857 3562 1 0 7253030 0
[pid=16477/tid=16478] ppid=16475 vsize=29167712 memory=1328 CPUtime=10.58 cores=0-7
/proc/16477/task/16478/stat : 16478 (java) S 16475 16475 15998 0 -1 1077944384 13703 0 0 0 1044 14 0 0 20 0 28 0 421017109 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743302177920 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16479] ppid=16475 vsize=29167712 memory=780 CPUtime=2.42 cores=0-7
/proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15998 0 -1 1077944384 4225 0 0 0 171 71 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743217789456 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16480] ppid=16475 vsize=29167712 memory=4160 CPUtime=2.34 cores=0-7
/proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15998 0 -1 1077944384 4338 0 0 0 166 68 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743216736912 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16481] ppid=16475 vsize=29167712 memory=1692 CPUtime=2.36 cores=0-7
/proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15998 0 -1 1077944384 4581 0 0 0 162 74 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743215683856 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16482] ppid=16475 vsize=29167712 memory=1028 CPUtime=2.35 cores=0-7
/proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15998 0 -1 1077944384 3759 0 0 0 166 69 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743214631312 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16483] ppid=16475 vsize=29167712 memory=1456 CPUtime=2.34 cores=0-7
/proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15998 0 -1 1077944384 3744 0 0 0 164 70 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743213579280 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16484] ppid=16475 vsize=29167712 memory=1456 CPUtime=2.34 cores=0-7
/proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15998 0 -1 1077944384 3989 0 0 0 163 71 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743212526736 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16485] ppid=16475 vsize=29167712 memory=1164 CPUtime=2.39 cores=0-7
/proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15998 0 -1 1077944384 4950 0 0 0 167 72 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743211473680 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16486] ppid=16475 vsize=29167712 memory=9580 CPUtime=2.43 cores=0-7
/proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15998 0 -1 1077944384 4959 0 0 0 168 75 0 0 20 0 28 0 421017110 29867737088 671857 33554432000 4194304 4196468 140735795868480 139743210421136 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16487] ppid=16475 vsize=29167712 memory=14008 CPUtime=0.61 cores=0-7
/proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15998 0 -1 1077944384 5342 0 0 0 57 4 0 0 20 0 28 0 421017111 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742682401008 139743297948290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16488] ppid=16475 vsize=29167712 memory=2120 CPUtime=0 cores=0-7
/proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15998 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 421017112 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742681347296 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16489] ppid=16475 vsize=29167712 memory=11976 CPUtime=0 cores=0-7
/proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15998 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 421017112 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742680294144 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16490] ppid=16475 vsize=29167712 memory=7692 CPUtime=0 cores=0-7
/proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742679242704 139743297955739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16491] ppid=16475 vsize=29167712 memory=512 CPUtime=5.19 cores=0-7
/proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15998 0 -1 1077944384 26957 0 0 0 514 5 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742678190832 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16492] ppid=16475 vsize=29167712 memory=1564 CPUtime=5.83 cores=0-7
/proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15998 0 -1 1077944384 33909 0 0 0 577 6 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742677138288 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16493] ppid=16475 vsize=29167712 memory=928 CPUtime=6.48 cores=0-7
/proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15998 0 -1 1077944384 32393 0 0 0 640 8 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742676085232 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16494] ppid=16475 vsize=29167712 memory=3772 CPUtime=1.68 cores=0-7
/proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15998 0 -1 1077944384 18329 0 0 0 164 4 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742675032688 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16495] ppid=16475 vsize=29167712 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742673979872 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16496] ppid=16475 vsize=29167712 memory=1412 CPUtime=0.1 cores=0-7
/proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15998 0 -1 1077944384 1370 0 0 0 4 6 0 0 20 0 28 0 421017115 29867737088 671857 33554432000 4194304 4196468 140735795868480 139742672927408 139743297948290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16674] ppid=16475 vsize=29167712 memory=3576 CPUtime=150.68 cores=0-7
/proc/16477/task/16674/stat : 16674 (java) R 16475 16475 15998 0 -1 4202560 6138 0 0 0 15062 6 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741537126360 139742891277291 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16675] ppid=16475 vsize=29167712 memory=1456 CPUtime=150.46 cores=0-7
/proc/16477/task/16675/stat : 16675 (java) R 16475 16475 15998 0 -1 4202560 2193 0 0 0 15043 3 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741528706936 139742887569247 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16676] ppid=16475 vsize=29167712 memory=2687320 CPUtime=150.46 cores=0-7
/proc/16477/task/16676/stat : 16676 (java) R 16475 16475 15998 0 -1 4202560 21315 0 0 0 15027 19 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741530812648 139742895907021 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16677] ppid=16475 vsize=29167712 memory=1628 CPUtime=150.46 cores=0-7
/proc/16477/task/16677/stat : 16677 (java) R 16475 16475 15998 0 -1 4202560 4125 0 0 0 15040 6 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741531865448 139742888301537 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16678] ppid=16475 vsize=29167712 memory=8317482817917895235 CPUtime=150.48 cores=0-7
/proc/16477/task/16678/stat : 16678 (java) R 16475 16475 15998 0 -1 4202560 3181 0 0 0 15046 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741458583528 139742894357030 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16679] ppid=16475 vsize=29167712 memory=1628 CPUtime=0.02 cores=0-7
/proc/16477/task/16679/stat : 16679 (java) S 16475 16475 15998 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741529765200 139743297947349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16680] ppid=16475 vsize=29167712 memory=7980 CPUtime=150.62 cores=0-7
/proc/16477/task/16680/stat : 16680 (java) R 16475 16475 15998 0 -1 4202560 2337 0 0 0 15060 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741457530600 139742894356002 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
[pid=16477/tid=16681] ppid=16475 vsize=29167712 memory=1164 CPUtime=150.56 cores=0-7
/proc/16477/task/16681/stat : 16681 (java) R 16475 16475 15998 0 -1 4202560 1897 0 0 0 15054 2 0 0 20 0 28 0 421018945 29867737088 671857 33554432000 4194304 4196468 140735795868480 139741533970112 139742898494014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735795872746 140735795872918 140735795872918 140735795875791 0
Current children cumulated CPU time: 1131.21 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 2688884 KiB

[startup+170.601 s]
/proc/loadavg: 6.98 7.16 7.55 8/220 16690
/proc/meminfo: memFree=28776504/32770624 swapFree=66982588/67108860
[pid=16475] ppid=16472 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15998 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421017108 115843072 364 33554432000 4194304 5098028 140728229596176 140728229594280 139901871624828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33705984 140728229598070 140728229598313 140728229598313 140728229601226 0
/proc/16475/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 170.617
CPU time (s): 1132.52
CPU user time (s): 1125.72
CPU system time (s): 6.79481
CPU usage (%): 663.778
Max. virtual memory (cumulated for all children) (KiB): 29280840
Max. memory (cumulated for all children) (KiB): 2688884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1125.72
system time used= 6.79481
maximum resident set size= 2687516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15599
involuntary context switches= 4214


# summary of solver processes directly reported to runsolver:
#   pid: 16475
#   total CPU time (s): 1132.52
#   total CPU user time (s): 1125.72
#   total CPU system time (s): 6.79481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43525 second user time and 2.14488 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-14 09:51:42
IDJOB=4393914
IDBENCH=141103
IDSOLVER=2841
FILE ID=node121/4393914-1568447544
RUNJOBID= node121-1568447413-16025
PBS_JOBID= 21702353
Free space on /tmp= 61412 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP18/Tal/Tal-05_c18.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-4393914-1568447544/watcher-4393914-1568447544 -o /tmp/evaluation-result-4393914-1568447544/solver-4393914-1568447544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 117445885 HOME/instance-4393914-1568447544.xml

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

MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c
RANDOM SEED=117445885

node121.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.75
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.75
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.75
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.75
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:        31450240 kB
MemAvailable:   31908392 kB
Buffers:          179796 kB
Cached:           573716 kB
SwapCached:        18184 kB
Active:           417492 kB
Inactive:         358172 kB
Active(anon):       8524 kB
Inactive(anon):    45776 kB
Active(file):     408968 kB
Inactive(file):   312396 kB
Unevictable:      109108 kB
Mlocked:          109108 kB
SwapTotal:      67108860 kB
SwapFree:       66982588 kB
Dirty:             26884 kB
Writeback:             0 kB
AnonPages:        125584 kB
Mapped:            36040 kB
Shmem:             23012 kB
Slab:             134468 kB
SReclaimable:     105248 kB
SUnreclaim:        29220 kB
KernelStack:        3744 kB
PageTables:         6008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61388 MiB
End job on node121 at 2019-09-14 09:54:33