Trace number 4393957

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelWrong Opt.-955 12.1441 3.05405

General information on the benchmark

NamePrizeCollecting/PrizeCollecting-jok-s1/
PrizeCollecting-24-4-6-1.xml
MD5SUM105bb238691d484e064b3a25c3dae36e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark89
Best CPU time to get the best result obtained on this benchmark50.1381
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints97
Number of domains24
Minimum domain size4
Maximum domain size25
Distribution of domain sizes[{"size":4,"count":8},{"size":5,"count":14},{"size":6,"count":2},{"size":25,"count":48}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}]
Minimum constraint arity1
Maximum constraint arity25
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}]
Number of extensional constraints48
Number of intensional constraints25
Distribution of constraint types[{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}]
Optimization problemYES
Type of objectivemax 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-4393957-1568430647.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393957-1568430647.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
5.05/1.89	c solve instance...
6.15/2.01	o -1000 
9.15/2.41	o -996 
9.15/2.47	o -990 
9.15/2.48	o -988 
9.86/2.50	o -985 
9.86/2.51	o -984 
9.86/2.53	o -979 
9.86/2.55	o -973 
9.86/2.56	o -972 
9.86/2.59	o -971 
10.55/2.61	o -963 
10.55/2.64	o -962 
10.55/2.70	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (85/87)
10.55/2.70		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
10.55/2.70		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
10.55/2.70		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
10.55/2.70		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
10.55/2.70		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
10.55/2.70	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (85/87)
10.55/2.70		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
10.55/2.70		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
10.55/2.70		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
10.55/2.70		at org.chocosolver.solver.Solver.repair(Solver.java:443)
10.55/2.70		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
10.55/2.70		at org.chocosolver.solver.Solver.solve(Solver.java:262)
10.55/2.70		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
10.55/2.70		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
10.55/2.70		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
10.55/2.70		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
10.55/2.70		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
10.55/2.70		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
10.55/2.70		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
10.55/2.70		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
10.55/2.70		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
10.55/2.70		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
10.55/2.70	o -961 
11.26/2.74	java.util.concurrent.ExecutionException: java.lang.NullPointerException
11.26/2.74		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
11.26/2.75		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
11.26/2.75		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
11.26/2.75		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
11.26/2.75		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
11.26/2.75	Caused by: java.lang.NullPointerException
11.26/2.75		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
11.26/2.75		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
11.26/2.75		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
11.26/2.75		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
11.26/2.75		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
11.26/2.75		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
11.26/2.75		... 4 more
11.26/2.75	Caused by: java.lang.NullPointerException
11.26/2.75		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
11.26/2.75		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
11.26/2.75		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.12/3.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.12/3.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.12/3.04		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
12.12/3.04		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
12.12/3.04		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
12.12/3.04		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
12.12/3.04		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
12.12/3.04		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
12.12/3.04		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.12/3.04		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.12/3.04		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.12/3.04		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181)
12.12/3.04		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:102)
12.12/3.04		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:71)
12.12/3.04		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainLast.selectValue(IntDomainLast.java:84)
12.12/3.04		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:127)
12.12/3.04		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:167)
12.12/3.04		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121)
12.12/3.04		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62)
12.12/3.04		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
12.12/3.04		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
12.12/3.04		at org.chocosolver.solver.Solver.extend(Solver.java:421)
12.12/3.04		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
12.12/3.04		at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.12/3.04		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.12/3.04		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.12/3.04		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.12/3.04		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.12/3.04		... 4 more
12.12/3.04	o -957 
12.12/3.04	java.util.concurrent.ExecutionException: java.lang.NullPointerException
12.12/3.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
12.12/3.04		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
12.12/3.04		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
12.12/3.04		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.12/3.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.12/3.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.12/3.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.12/3.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
12.12/3.04		... 4 more
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.12/3.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.12/3.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.12/3.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.12/3.04		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
12.12/3.04		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
12.12/3.04		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
12.12/3.04		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
12.12/3.04		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
12.12/3.04		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
12.12/3.04		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.12/3.04		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.12/3.04		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.12/3.04		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
12.12/3.04		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
12.12/3.04		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
12.12/3.04		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
12.12/3.04		at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.12/3.04		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.12/3.04		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.12/3.04		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.12/3.04		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.12/3.04		... 4 more
12.12/3.04	o -955 
12.12/3.04	java.util.concurrent.ExecutionException: java.lang.NullPointerException
12.12/3.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
12.12/3.04		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
12.12/3.04		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
12.12/3.04		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.12/3.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.12/3.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.12/3.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.12/3.04		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
12.12/3.04		... 4 more
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.12/3.04		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.12/3.04		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.12/3.04		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.12/3.04		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.12/3.04		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
12.12/3.04		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
12.12/3.04		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
12.12/3.04		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
12.12/3.04		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
12.12/3.04		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
12.12/3.04		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.12/3.04		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.12/3.04		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.12/3.04		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.12/3.04	Caused by: java.lang.NullPointerException
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
12.12/3.04		at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
12.12/3.04		at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
12.12/3.04		at org.chocosolver.solver.Solver.propagate(Solver.java:403)
12.12/3.04		at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
12.12/3.04		at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.12/3.04		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.12/3.04		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.12/3.04		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.12/3.04		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.12/3.04		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.12/3.04		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.12/3.04		... 4 more
12.12/3.04	s OPTIMUM FOUND
12.12/3.04	v <instantiation>
12.12/3.04	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list>
12.12/3.04	v 	<values>4 -1 -1 -1 10 -1 0 6 -1 -1 16 -1 -1 7 20 14 22 -1 -1 13 19 15 21 -1 0 -1 -1 -1 1 -1 12 11 -1 -1 2 -1 -1 10 7 6 3 -1 -1 9 8 5 4 -1 -1000 0 0 0 2 0 -2 1 0 0 7 0 0 5 3 8 2 0 0 6 6 0 7 0 </values>
12.12/3.04	v </instantiation>

Verifier Data 

OK	-955

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393957-1568430647/watcher-4393957-1568430647 -o /tmp/evaluation-result-4393957-1568430647/solver-4393957-1568430647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4393957-1568430647.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=18028, runsolver pid=18025


[startup+0.100112 s]*
/proc/loadavg: 3.76 3.96 4.03 2/210 18049
/proc/meminfo: memFree=30612988/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28227388 memory=28948 CPUtime=0.13 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 5695 0 0 0 11 2 0 0 20 0 20 0 419319381 28904845312 7237 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7056847 7237 3121 1 0 7019032 0
[pid=18030/tid=18031] ppid=18028 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) R 18028 18028 12749 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 419319381 28904845312 7237 33554432000 4194304 4196468 140730627535872 139703388644896 139703384442013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28227388 memory=140442779919533 CPUtime=0 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 7237 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18040] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18040/stat : 18040 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319383 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701982652528 139703384431234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419319384 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701981598496 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419319384 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701980546160 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701979494480 139703384438683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) S 18028 18028 12749 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701978442352 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701977389552 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701976337264 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) R 18028 18028 12749 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 419319386 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701975284464 139703384441434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319387 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319387 28904845312 7237 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30400 KiB

[startup+0.210638 s]*
/proc/loadavg: 3.76 3.96 4.03 2/210 18049
/proc/meminfo: memFree=30598708/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28227388 memory=40324 CPUtime=0.33 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 9343 0 0 0 30 3 0 0 20 0 20 0 419319381 28904845312 10081 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7056847 10081 3289 1 0 7019032 0
[pid=18030/tid=18031] ppid=18028 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) R 18028 18028 12749 0 -1 4202560 6587 0 0 0 17 3 0 0 20 0 20 0 419319381 28904845312 10081 33554432000 4194304 4196468 140730627535872 139703388652816 139703384432022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28227388 memory=3904822025597281952 CPUtime=0 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319382 28904845312 10081 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18040] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18040/stat : 18040 (java) S 18028 18028 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419319383 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701982652528 139703384431234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419319384 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701981598496 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419319384 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701980546160 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701979494480 139703384438683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) S 18028 18028 12749 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 419319386 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701978442352 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) S 18028 18028 12749 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 419319386 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701977389552 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 419319386 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701976337264 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) R 18028 18028 12749 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 20 0 419319386 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701975284464 139703377137239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319387 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319387 28904845312 10081 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41776 KiB

[startup+0.309997 s]*
/proc/loadavg: 3.76 3.96 4.03 5/210 18049
/proc/meminfo: memFree=30591648/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28231644 memory=49624 CPUtime=0.52 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 10825 0 0 0 48 4 0 0 20 0 20 0 419319381 28909203456 12406 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7057911 12406 3331 1 0 7019032 0
[pid=18030/tid=18031] ppid=18028 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) R 18028 18028 12749 0 -1 4202560 7716 0 0 0 26 3 0 0 20 0 20 0 419319381 28909203456 12406 33554432000 4194304 4196468 140730627535872 139703388651200 139703384443677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319382 28909203456 12406 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18040] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18040/stat : 18040 (java) S 18028 18028 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419319383 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701982652528 139703384431234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28231644 memory=280885358435712 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419319384 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701981598496 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28231644 memory=280885358440320 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419319384 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701980546160 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28231644 memory=280885358444928 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319386 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701979494480 139703384438683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28231644 memory=280885358449536 CPUtime=0.02 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) R 18028 18028 12749 0 -1 4202560 456 0 0 0 2 0 0 0 20 0 20 0 419319386 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701978432736 139703365945157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28231644 memory=280885358454144 CPUtime=0.03 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) S 18028 18028 12749 0 -1 1077944384 197 0 0 0 3 0 0 0 20 0 20 0 419319386 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701977389552 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28231644 memory=280885358458752 CPUtime=0.03 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 172 0 0 0 3 0 0 0 20 0 20 0 419319386 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701976337264 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28231644 memory=280885358463360 CPUtime=0.12 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) S 18028 18028 12749 0 -1 1077944384 974 0 0 0 12 0 0 0 20 0 20 0 419319386 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701975284464 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319387 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319387 28909203456 12406 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51076 KiB

[startup+0.700934 s]
/proc/loadavg: 3.76 3.96 4.03 5/210 18049
/proc/meminfo: memFree=30560924/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28233768 memory=116216 CPUtime=1.92 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 16608 0 0 0 185 7 0 0 20 0 20 0 419319381 28911378432 29054 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7058442 29054 3443 1 0 7019544 0
[pid=18030/tid=18031] ppid=18028 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) R 18028 18028 12749 0 -1 4202560 9111 0 0 0 63 5 0 0 20 0 20 0 419319381 28911378432 29054 33554432000 4194304 4196468 140730627535872 139703388655600 139703366827664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28911378432 29054 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419319382 28911378432 29054 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419319382 28911378432 29054 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0

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

/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 3416 0 0 0 75 0 0 0 20 0 20 0 419319386 28911378432 63573 33554432000 4194304 4196468 140730627535872 139701976337264 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28233768 memory=12024 CPUtime=0.61 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) S 18028 18028 12749 0 -1 1077944384 4068 0 0 0 60 1 0 0 20 0 20 0 419319386 28911378432 63573 33554432000 4194304 4196468 140730627535872 139701975284464 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28233768 memory=7446532003285060949 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319387 28911378432 63573 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419319387 28911378432 63573 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 255744 KiB

[startup+2.40186 s]
/proc/loadavg: 3.76 3.96 4.03 10/218 18057
/proc/meminfo: memFree=30216460/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28768328 memory=434076 CPUtime=9.15 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 32709 0 0 0 881 34 0 0 20 0 28 0 419319381 29458767872 108519 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7192082 108519 3498 1 0 7153184 0
[pid=18030/tid=18031] ppid=18028 vsize=28768328 memory=7374758001977615979 CPUtime=1.8 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) S 18028 18028 12749 0 -1 1077944384 10673 0 0 0 172 8 0 0 20 0 28 0 419319381 29458767872 108519 33554432000 4194304 4196468 140730627535872 139703388660864 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28768328 memory=7733078963028320613 CPUtime=0.04 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 182 0 0 0 3 3 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28768328 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 141 0 0 0 4 2 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28768328 memory=1452 CPUtime=0.06 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28768328 memory=252244 CPUtime=0.03 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 97 0 0 0 2 1 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28768328 memory=13571 CPUtime=0.05 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 161 0 0 0 4 1 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28768328 memory=1235 CPUtime=0.04 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 96 0 0 0 2 2 0 0 20 0 28 0 419319382 29458767872 108519 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18040] ppid=18028 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18030/task/18040/stat : 18040 (java) S 18028 18028 12749 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 28 0 419319383 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701982652528 139703384431234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28768328 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 419319384 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701981598560 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28768328 memory=15252636593031516 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 419319384 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701980546176 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419319386 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701979494480 139703384438683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28768328 memory=6656426216303648864 CPUtime=1.08 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) R 18028 18028 12749 0 -1 4202560 4435 0 0 0 107 1 0 0 20 0 28 0 419319386 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701978428536 139703365598595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28768328 memory=0 CPUtime=1.13 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) R 18028 18028 12749 0 -1 4202560 4391 0 0 0 112 1 0 0 20 0 28 0 419319386 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701977375432 139703365941487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28768328 memory=0 CPUtime=1.07 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) R 18028 18028 12749 0 -1 4202560 4592 0 0 0 107 0 0 0 20 0 28 0 419319386 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701976318280 139703365121751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) R 18028 18028 12749 0 -1 4202560 4950 0 0 0 80 2 0 0 20 0 28 0 419319386 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701975281400 139703377516923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419319387 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 419319387 29458767872 108519 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 435528 KiB

[startup+2.80186 s]
/proc/loadavg: 3.76 3.96 4.03 10/218 18057
/proc/meminfo: memFree=30216460/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28901456 memory=441348 CPUtime=12.03 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 36576 0 0 0 1167 36 0 0 20 0 28 0 419319381 29595090944 110337 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7225364 110337 3503 1 0 7186466 0
[pid=18030/tid=18031] ppid=18028 vsize=28901456 memory=6944652177228980320 CPUtime=1.81 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) S 18028 18028 12749 0 -1 1077944384 10812 0 0 0 173 8 0 0 20 0 28 0 419319381 29595090944 110337 33554432000 4194304 4196468 140730627535872 139703388660864 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28901456 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28901456 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 182 0 0 0 3 3 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28901456 memory=1452 CPUtime=0.06 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 141 0 0 0 4 2 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28901456 memory=252524 CPUtime=0.06 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28901456 memory=4580 CPUtime=0.03 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 97 0 0 0 2 1 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28901456 memory=0 CPUtime=0.05 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 161 0 0 0 4 1 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28901456 memory=0 CPUtime=0.05 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28901456 memory=0 CPUtime=0.04 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 96 0 0 0 2 2 0 0 20 0 28 0 419319382 29595090944 110337 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18040] ppid=18028 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/18030/task/18040/stat : 18040 (java) S 18028 18028 12749 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 28 0 419319383 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701982652528 139703384431234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 419319384 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701981598560 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 419319384 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701980546176 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419319386 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701979494480 139703384438683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28901456 memory=0 CPUtime=1.44 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) S 18028 18028 12749 0 -1 1077944384 5202 0 0 0 143 1 0 0 20 0 28 0 419319386 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701978442352 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28901456 memory=0 CPUtime=1.48 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) R 18028 18028 12749 0 -1 1077944384 4595 0 0 0 147 1 0 0 20 0 28 0 419319386 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701977389552 139703384431234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28901456 memory=0 CPUtime=1.37 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 5151 0 0 0 137 0 0 0 20 0 28 0 419319386 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701976337264 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28901456 memory=-3253322038155611931 CPUtime=0.91 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) R 18028 18028 12749 0 -1 4202560 5241 0 0 0 89 2 0 0 20 0 28 0 419319386 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701975284464 139703377516923 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419319387 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18049] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18049/stat : 18049 (java) S 18028 18028 12749 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419319387 29595090944 110337 33554432000 4194304 4196468 140730627535872 139701973178672 139703384431234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 12.03 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 442800 KiB

[startup+3.00094 s]*
/proc/loadavg: 3.76 3.96 4.03 1/208 18177
/proc/meminfo: memFree=30196768/32770624 swapFree=66997684/67108860
[pid=18028] ppid=18025 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18028/stat : 18028 (xcsp3-exec) S 18025 18028 12749 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419319380 115843072 363 33554432000 4194304 5098028 140733603236640 140733603234744 140612410655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15200256 140733603238774 140733603239017 140733603239017 140733603241930 0
/proc/18028/statm: 28282 363 305 221 0 87 0
[pid=18030] ppid=18028 vsize=28901456 memory=441636 CPUtime=12.12 cores=0-7
/proc/18030/stat : 18030 (java) S 18028 18028 12749 0 -1 1077944320 36882 0 0 0 1176 36 0 0 20 0 18 0 419319381 29595090944 110409 33554432000 4194304 4196468 140730627535872 140730627518416 139703384420087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
/proc/18030/statm: 7225364 110409 3520 1 0 7186466 0
[pid=18030/tid=18031] ppid=18028 vsize=28901456 memory=8318255677412212789 CPUtime=1.81 cores=0-7
/proc/18030/task/18031/stat : 18031 (java) D 18028 18028 12749 0 -1 4202560 10926 0 0 0 173 8 0 0 20 0 18 0 419319381 29595090944 110409 33554432000 4194304 4196468 140730627535872 139703388663096 139703377105719 0 0 0 16800975 18446744072099589253 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18032] ppid=18028 vsize=28901456 memory=288230591823085922 CPUtime=0.04 cores=0-7
/proc/18030/task/18032/stat : 18032 (java) S 18028 18028 12749 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702936131984 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18033] ppid=18028 vsize=28901456 memory=3904822025597281952 CPUtime=0.06 cores=0-7
/proc/18030/task/18033/stat : 18033 (java) S 18028 18028 12749 0 -1 1077944384 182 0 0 0 3 3 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702935079184 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18034] ppid=18028 vsize=28901456 memory=-1 CPUtime=0.06 cores=0-7
/proc/18030/task/18034/stat : 18034 (java) S 18028 18028 12749 0 -1 1077944384 141 0 0 0 4 2 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702934026896 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18035] ppid=18028 vsize=28901456 memory=0 CPUtime=0.06 cores=0-7
/proc/18030/task/18035/stat : 18035 (java) S 18028 18028 12749 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702932974096 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18036] ppid=18028 vsize=28901456 memory=0 CPUtime=0.03 cores=0-7
/proc/18030/task/18036/stat : 18036 (java) S 18028 18028 12749 0 -1 1077944384 97 0 0 0 2 1 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702931921808 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18037] ppid=18028 vsize=28901456 memory=-1 CPUtime=0.05 cores=0-7
/proc/18030/task/18037/stat : 18037 (java) S 18028 18028 12749 0 -1 1077944384 161 0 0 0 4 1 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702930869008 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18038] ppid=18028 vsize=28901456 memory=0 CPUtime=0.05 cores=0-7
/proc/18030/task/18038/stat : 18038 (java) S 18028 18028 12749 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702929816720 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18039] ppid=18028 vsize=28901456 memory=0 CPUtime=0.04 cores=0-7
/proc/18030/task/18039/stat : 18039 (java) S 18028 18028 12749 0 -1 1077944384 96 0 0 0 2 2 0 0 20 0 18 0 419319382 29595090944 110409 33554432000 4194304 4196468 140730627535872 139702928763920 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18041] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18041/stat : 18041 (java) S 18028 18028 12749 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 18 0 419319384 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701981598560 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18042] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18042/stat : 18042 (java) S 18028 18028 12749 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 18 0 419319384 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701980546176 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18043] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18043/stat : 18043 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 419319386 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701979493536 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18044] ppid=18028 vsize=28901456 memory=0 CPUtime=1.44 cores=0-7
/proc/18030/task/18044/stat : 18044 (java) S 18028 18028 12749 0 -1 1077944384 5207 0 0 0 143 1 0 0 20 0 18 0 419319386 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701978432688 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18045] ppid=18028 vsize=28901456 memory=0 CPUtime=1.49 cores=0-7
/proc/18030/task/18045/stat : 18045 (java) S 18028 18028 12749 0 -1 1077944384 4604 0 0 0 148 1 0 0 20 0 18 0 419319386 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701977382432 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18046] ppid=18028 vsize=28901456 memory=0 CPUtime=1.38 cores=0-7
/proc/18030/task/18046/stat : 18046 (java) S 18028 18028 12749 0 -1 1077944384 5152 0 0 0 138 0 0 0 20 0 18 0 419319386 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701976317664 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18047] ppid=18028 vsize=28901456 memory=-1 CPUtime=0.92 cores=0-7
/proc/18030/task/18047/stat : 18047 (java) S 18028 18028 12749 0 -1 1077944384 5271 0 0 0 90 2 0 0 20 0 18 0 419319386 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701975280336 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
[pid=18030/tid=18048] ppid=18028 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/18030/task/18048/stat : 18048 (java) S 18028 18028 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 419319387 29595090944 110409 33554432000 4194304 4196468 140730627535872 139701974231392 139703384430293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25899008 140730627539946 140730627540118 140730627540118 140730627542991 0
Current children cumulated CPU time: 12.12 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 443088 KiB

Child status: 0
Real time (s): 3.05405
CPU time (s): 12.1441
CPU user time (s): 11.7694
CPU system time (s): 0.374638
CPU usage (%): 397.637
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 443088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7694
system time used= 0.374638
maximum resident set size= 442348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4838
involuntary context switches= 402


# summary of solver processes directly reported to runsolver:
#   pid: 18028
#   total CPU time (s): 12.1441
#   total CPU user time (s): 11.7694
#   total CPU system time (s): 0.374638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043054 second user time and 0.078177 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 04:09:30
IDJOB=4393957
IDBENCH=127972
IDSOLVER=2841
FILE ID=node106/4393957-1568430647
RUNJOBID= node106-1568413091-12776
PBS_JOBID= 21702261
Free space on /tmp= 59112 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-1.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-4393957-1568430647/watcher-4393957-1568430647 -o /tmp/evaluation-result-4393957-1568430647/solver-4393957-1568430647 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 179813745 HOME/instance-4393957-1568430647.xml

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

MD5SUM BENCH= 105bb238691d484e064b3a25c3dae36e
RANDOM SEED=179813745

node106.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.79
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.79
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.79
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.79
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:        30629376 kB
MemAvailable:   31903596 kB
Buffers:          183816 kB
Cached:          1371564 kB
SwapCached:         9320 kB
Active:           485988 kB
Inactive:        1083232 kB
Active(anon):      13012 kB
Inactive(anon):    34744 kB
Active(file):     472976 kB
Inactive(file):  1048488 kB
Unevictable:      106908 kB
Mlocked:          106908 kB
SwapTotal:      67108860 kB
SwapFree:       66997684 kB
Dirty:             26680 kB
Writeback:             0 kB
AnonPages:        112396 kB
Mapped:            38212 kB
Shmem:             25300 kB
Slab:             166308 kB
SReclaimable:     137180 kB
SUnreclaim:        29128 kB
KernelStack:        3344 kB
PageTables:         5152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59088 MiB
End job on node106 at 2019-09-14 04:09:33