Trace number 4394445

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 parallelOPT353 148.404 26.8262

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-8.xml
MD5SUM43b2ef46cc27b455a3f22cfd7dbefeca
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark353
Best CPU time to get the best result obtained on this benchmark27.4421
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size453
Distribution of domain sizes[{"size":5,"count":50},{"size":453,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

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-4394445-1568418051.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394445-1568418051.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.51/0.77	c solve instance...
2.56/0.90	o 452 
2.56/1.00	o 428 
3.29/1.09	o 423 
3.29/1.12	o 413 
4.40/1.20	o 402 
4.40/1.21	o 393 
7.66/1.80	o 383 
11.48/2.37	o 376 
12.79/2.69	o 372 
14.34/3.47	o 370 
21.19/4.77	o 369 
22.72/5.22	o 368 
23.71/5.47	o 367 
25.30/5.98	o 366 
29.83/7.23	o 365 
35.66/9.70	o 364 
37.49/10.15	o 361 
41.35/11.38	o 360 
43.03/11.81	o 359 
68.83/15.57	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (85/130)
68.83/15.57		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
68.83/15.57		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
68.83/15.57		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
68.83/15.57		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
68.83/15.57		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
68.83/15.57	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (85/130)
68.83/15.57		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
68.83/15.57		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
68.83/15.57		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
68.83/15.57		at org.chocosolver.solver.Solver.repair(Solver.java:443)
68.83/15.57		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
68.83/15.57		at org.chocosolver.solver.Solver.solve(Solver.java:262)
68.83/15.57		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
68.83/15.57		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
68.83/15.57		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
68.83/15.57		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
68.83/15.57		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
68.83/15.57		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
68.83/15.57		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
68.83/15.57		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
68.83/15.57		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
68.83/15.57		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
68.83/15.57	o 358 
77.43/16.69	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
77.43/16.69		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
77.43/16.69		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
77.43/16.69		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
77.43/16.69		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
77.43/16.69		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
77.43/16.69	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
77.43/16.69		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
77.43/16.69		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
77.43/16.69		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
77.43/16.69		at org.chocosolver.solver.Solver.extend(Solver.java:421)
77.43/16.69		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
77.43/16.69		at org.chocosolver.solver.Solver.solve(Solver.java:262)
77.43/16.69		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
77.43/16.69		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
77.43/16.69		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
77.43/16.69		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
77.43/16.69		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
77.43/16.69		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
77.43/16.69		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
77.43/16.69		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
77.43/16.69		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
77.43/16.69		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
77.43/16.69	o 357 
80.23/17.06	o 356 
86.05/18.05	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (64/103)
86.05/18.05		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
86.05/18.05		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
86.05/18.05		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
86.05/18.05		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
86.05/18.05		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
86.05/18.05	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (64/103)
86.05/18.05		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
86.05/18.05		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
86.05/18.05		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
86.05/18.05		at org.chocosolver.solver.Solver.repair(Solver.java:443)
86.05/18.05		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
86.05/18.05		at org.chocosolver.solver.Solver.solve(Solver.java:262)
86.05/18.05		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
86.05/18.05		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
86.05/18.05		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
86.05/18.05		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
86.05/18.05		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
86.05/18.05		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
86.05/18.05		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
86.05/18.05		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
86.05/18.05		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
86.05/18.05		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
86.05/18.05	o 355 
86.05/18.07	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
86.05/18.07		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
86.05/18.07		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
86.05/18.07		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
86.05/18.07		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
86.05/18.07		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
86.05/18.07	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
86.05/18.07		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
86.05/18.07		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
86.05/18.07		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
86.05/18.07		at org.chocosolver.solver.Solver.extend(Solver.java:421)
86.05/18.07		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
86.05/18.07		at org.chocosolver.solver.Solver.solve(Solver.java:262)
86.05/18.07		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
86.05/18.07		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
86.05/18.07		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
86.05/18.07		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
86.05/18.07		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
86.05/18.07		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
86.05/18.07		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
86.05/18.07		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
86.05/18.07		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
86.05/18.07		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
86.05/18.07	o 354 
88.83/18.43	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
88.83/18.43		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
88.83/18.43		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
88.83/18.43		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
88.83/18.43		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
88.83/18.43		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
88.83/18.43	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
88.83/18.43		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
88.83/18.43		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
88.83/18.43		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
88.83/18.43		at org.chocosolver.solver.Solver.extend(Solver.java:421)
88.83/18.43		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
88.83/18.43		at org.chocosolver.solver.Solver.solve(Solver.java:262)
88.83/18.43		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
88.83/18.43		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
88.83/18.43		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
88.83/18.43		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
88.83/18.43		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
88.83/18.43		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
88.83/18.43		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
88.83/18.43		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
88.83/18.43		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
88.83/18.43		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
88.83/18.43	o 353 
148.30/26.81	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
148.30/26.81		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
148.30/26.81		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
148.30/26.81		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
148.30/26.81		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
148.30/26.81		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
148.30/26.81	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
148.30/26.81		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
148.30/26.81		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
148.30/26.81		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
148.30/26.81		at org.chocosolver.solver.Solver.extend(Solver.java:421)
148.30/26.81		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
148.30/26.81		at org.chocosolver.solver.Solver.solve(Solver.java:262)
148.30/26.81		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
148.30/26.81		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
148.30/26.81		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
148.30/26.81		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
148.30/26.81		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
148.30/26.81		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
148.30/26.81		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
148.30/26.81		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
148.30/26.81		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
148.30/26.81		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
148.30/26.81	s OPTIMUM FOUND
148.30/26.81	v <instantiation>
148.30/26.81	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list>
148.30/26.81	v 	<values>0 90 191 258 287 2 95 173 257 280 1 130 222 263 315 0 96 163 226 298 1 98 193 242 263 325 353 353 353 353 90 83 35 22 38 93 68 84 23 73 94 77 41 34 38 96 67 59 72 55 89 93 49 16 90 4 2 1 0 3 1 4 2 3 0 3 0 4 2 1 0 3 4 1 2 2 1 3 0 4 258 191 90 287 0 280 2 173 257 95 130 315 263 1 222 0 226 298 96 163 242 98 1 193 263 </values>
148.30/26.81	v </instantiation>

Verifier Data 

OK	353

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394445-1568418051/watcher-4394445-1568418051 -o /tmp/evaluation-result-4394445-1568418051/solver-4394445-1568418051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 382530901 HOME/instance-4394445-1568418051.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=6283, runsolver pid=6280

[startup+0.100113 s]*
/proc/loadavg: 4.54 3.16 1.87 3/213 6304
/proc/meminfo: memFree=31594496/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28227388 memory=29932 CPUtime=0.12 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 5889 0 0 0 11 1 0 0 20 0 20 0 417966712 28904845312 7483 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7056847 7483 3145 1 0 7019032 0
[pid=6285/tid=6286] ppid=6283 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) R 6283 6283 4858 0 -1 4202560 3808 0 0 0 8 0 0 0 20 0 20 0 417966712 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379715245392 140379711034525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28227388 memory=15121699461424792 CPUtime=0 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6290] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6290/stat : 6290 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379259263376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6291] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6291/stat : 6291 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379258211344 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6292] ppid=6283 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6292/stat : 6292 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379257158800 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6293] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6293/stat : 6293 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379256105744 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6294] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6294/stat : 6294 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 7483 33554432000 4194304 4196468 140727992597312 140379255053200 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6295] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6295/stat : 6295 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378040641776 140379711023746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6296] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6296/stat : 6296 (java) S 6283 6283 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378039588000 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6297] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6297/stat : 6297 (java) S 6283 6283 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378038534896 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6298] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6298/stat : 6298 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378037483472 140379711031195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6299] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6299/stat : 6299 (java) S 6283 6283 4858 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378036431600 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6300] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6300/stat : 6300 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378035379056 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6301] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6301/stat : 6301 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378034326000 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6302] ppid=6283 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6285/task/6302/stat : 6302 (java) S 6283 6283 4858 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378033273456 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6303] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6303/stat : 6303 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378032220640 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6304] ppid=6283 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6304/stat : 6304 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 7483 33554432000 4194304 4196468 140727992597312 140378031168176 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31384 KiB

[startup+0.210399 s]*
/proc/loadavg: 4.54 3.16 1.87 2/213 6304
/proc/meminfo: memFree=31581492/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28227388 memory=41176 CPUtime=0.33 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 9512 0 0 0 30 3 0 0 20 0 20 0 417966712 28904845312 10294 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7056847 10294 3282 1 0 7019032 0
[pid=6285/tid=6286] ppid=6283 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) R 6283 6283 4858 0 -1 4202560 6666 0 0 0 17 2 0 0 20 0 20 0 417966712 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379715244128 140379711033946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28227388 memory=140646485098108 CPUtime=0 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6290] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6290/stat : 6290 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379259263376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6291] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6291/stat : 6291 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379258211344 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6292] ppid=6283 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6292/stat : 6292 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379257158800 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6293] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6293/stat : 6293 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379256105744 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6294] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6294/stat : 6294 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28904845312 10294 33554432000 4194304 4196468 140727992597312 140379255053200 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6295] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6295/stat : 6295 (java) S 6283 6283 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378040641776 140379711023746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6296] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6296/stat : 6296 (java) S 6283 6283 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378039588000 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6297] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6297/stat : 6297 (java) S 6283 6283 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966715 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378038534896 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6298] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6298/stat : 6298 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378037483472 140379711031195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6299] ppid=6283 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6285/task/6299/stat : 6299 (java) R 6283 6283 4858 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378036431600 140379711023746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6300] ppid=6283 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6285/task/6300/stat : 6300 (java) S 6283 6283 4858 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378035379056 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6301] ppid=6283 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/6285/task/6301/stat : 6301 (java) S 6283 6283 4858 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378034326000 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6302] ppid=6283 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/6285/task/6302/stat : 6302 (java) R 6283 6283 4858 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378033273456 140379711024534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6303] ppid=6283 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6303/stat : 6303 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378032220640 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6304] ppid=6283 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6304/stat : 6304 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28904845312 10294 33554432000 4194304 4196468 140727992597312 140378031168176 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42628 KiB

[startup+0.309794 s]*
/proc/loadavg: 4.54 3.16 1.87 5/213 6304
/proc/meminfo: memFree=31574976/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28231644 memory=49860 CPUtime=0.52 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 10885 0 0 0 48 4 0 0 20 0 20 0 417966712 28909203456 12465 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7057911 12465 3331 1 0 7019032 0
[pid=6285/tid=6286] ppid=6283 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) R 6283 6283 4858 0 -1 4202560 7794 0 0 0 27 3 0 0 20 0 20 0 417966712 28909203456 12465 33554432000 4194304 4196468 140727992597312 140379715243712 140379711034525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12465 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6290] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6290/stat : 6290 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379259263376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6291] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6291/stat : 6291 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379258211344 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6292] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6292/stat : 6292 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379257158800 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6293] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6293/stat : 6293 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379256105744 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6294] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6294/stat : 6294 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28909203456 12494 33554432000 4194304 4196468 140727992597312 140379255053200 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6295] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6295/stat : 6295 (java) S 6283 6283 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417966715 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378040641776 140379711023746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6296] ppid=6283 vsize=28231644 memory=281292709240192 CPUtime=0 cores=0-7
/proc/6285/task/6296/stat : 6296 (java) S 6283 6283 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417966715 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378039588000 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6297] ppid=6283 vsize=28231644 memory=281292709244800 CPUtime=0 cores=0-7
/proc/6285/task/6297/stat : 6297 (java) S 6283 6283 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417966715 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378038534896 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6298] ppid=6283 vsize=28231644 memory=281292709249408 CPUtime=0 cores=0-7
/proc/6285/task/6298/stat : 6298 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378037483472 140379711031195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6299] ppid=6283 vsize=28231644 memory=281292709254016 CPUtime=0.02 cores=0-7
/proc/6285/task/6299/stat : 6299 (java) S 6283 6283 4858 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378036431600 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6300] ppid=6283 vsize=28231644 memory=281292709258624 CPUtime=0.03 cores=0-7
/proc/6285/task/6300/stat : 6300 (java) R 6283 6283 4858 0 -1 4202560 195 0 0 0 3 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378035369440 140379696137986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6301] ppid=6283 vsize=28231644 memory=281292709263232 CPUtime=0.02 cores=0-7
/proc/6285/task/6301/stat : 6301 (java) S 6283 6283 4858 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378034326000 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6302] ppid=6283 vsize=28231644 memory=281292709267840 CPUtime=0.12 cores=0-7
/proc/6285/task/6302/stat : 6302 (java) S 6283 6283 4858 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378033273456 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6303] ppid=6283 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6303/stat : 6303 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378032220640 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6304] ppid=6283 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/6285/task/6304/stat : 6304 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966718 28909203456 12494 33554432000 4194304 4196468 140727992597312 140378031168176 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51312 KiB

[startup+0.70095 s]
/proc/loadavg: 4.54 3.16 1.87 5/213 6304
/proc/meminfo: memFree=31559620/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28233768 memory=79904 CPUtime=1.51 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 14631 0 0 0 145 6 0 0 20 0 20 0 417966712 28911378432 19976 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7058442 19976 3449 1 0 7019544 0
[pid=6285/tid=6286] ppid=6283 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) R 6283 6283 4858 0 -1 4202560 9440 0 0 0 64 3 0 0 20 0 20 0 417966712 28911378432 19976 33554432000 4194304 4196468 140727992597312 140379715249056 140379345202304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28233768 memory=140646354822016 CPUtime=0 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417966713 28911378432 19976 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417966713 28911378432 19976 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417966713 28911378432 19976 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0

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

[pid=6285/tid=6497] ppid=6283 vsize=28901456 memory=1052 CPUtime=7.45 cores=0-7
/proc/6285/task/6497/stat : 6497 (java) R 6283 6283 4858 0 -1 4202560 263 0 0 0 745 0 0 0 20 0 29 0 417968517 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378013781496 140379354311918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6507] ppid=6283 vsize=28901456 memory=7548 CPUtime=7.08 cores=0-7
/proc/6285/task/6507/stat : 6507 (java) R 6283 6283 4858 0 -1 4202560 413 0 0 0 708 0 0 0 20 0 29 0 417968555 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378015886328 140379692418916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6508] ppid=6283 vsize=28901456 memory=4004 CPUtime=7.09 cores=0-7
/proc/6285/task/6508/stat : 6508 (java) R 6283 6283 4858 0 -1 4202560 337 0 0 0 709 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378017995440 140379354016920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6509] ppid=6283 vsize=28901456 memory=1452 CPUtime=7.08 cores=0-7
/proc/6285/task/6509/stat : 6509 (java) R 6283 6283 4858 0 -1 4202560 1704 0 0 0 708 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378011679208 140379357005785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6510] ppid=6283 vsize=28901456 memory=267736 CPUtime=7.08 cores=0-7
/proc/6285/task/6510/stat : 6510 (java) R 6283 6283 4858 0 -1 4202560 413 0 0 0 708 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378014835704 140379348949259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6511] ppid=6283 vsize=28901456 memory=309532 CPUtime=7.09 cores=0-7
/proc/6285/task/6511/stat : 6511 (java) R 6283 6283 4858 0 -1 4202560 472 0 0 0 709 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378010624136 140379346276652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6512] ppid=6283 vsize=28901456 memory=1452 CPUtime=7.06 cores=0-7
/proc/6285/task/6512/stat : 6512 (java) R 6283 6283 4858 0 -1 4202560 316 0 0 0 706 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378019046088 140379353310402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6513] ppid=6283 vsize=28901456 memory=313508 CPUtime=0.19 cores=0-7
/proc/6285/task/6513/stat : 6513 (java) S 6283 6283 4858 0 -1 1077944384 20 0 0 0 19 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378012734352 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6514] ppid=6283 vsize=28901456 memory=1724 CPUtime=0 cores=0-7
/proc/6285/task/6514/stat : 6514 (java) S 6283 6283 4858 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 417968556 29595090944 77125 33554432000 4194304 4196468 140727992597312 140378020103184 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 139.92 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 309952 KiB

[startup+26.4012 s]
/proc/loadavg: 4.77 3.32 1.96 8/222 6514
/proc/meminfo: memFree=31314820/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28901456 memory=304448 CPUtime=145.5 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 90411 0 0 0 14498 52 0 0 20 0 29 0 417966712 29595090944 76112 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7225364 76112 3548 1 0 7186466 0
[pid=6285/tid=6286] ppid=6283 vsize=28901456 memory=308500 CPUtime=0.8 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) S 6283 6283 4858 0 -1 1077944384 10326 0 0 0 76 4 0 0 20 0 29 0 417966712 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379715253376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28901456 memory=0 CPUtime=0.09 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 247 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28901456 memory=0 CPUtime=0.08 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 400 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28901456 memory=-8253362762722141311 CPUtime=0.09 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 2256 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6290] ppid=6283 vsize=28901456 memory=7100839861465685612 CPUtime=0.08 cores=0-7
/proc/6285/task/6290/stat : 6290 (java) S 6283 6283 4858 0 -1 1077944384 1631 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379259263376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6291] ppid=6283 vsize=28901456 memory=-7175204567652784766 CPUtime=0.08 cores=0-7
/proc/6285/task/6291/stat : 6291 (java) S 6283 6283 4858 0 -1 1077944384 719 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379258211344 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6292] ppid=6283 vsize=28901456 memory=3054156605268465310 CPUtime=0.08 cores=0-7
/proc/6285/task/6292/stat : 6292 (java) S 6283 6283 4858 0 -1 1077944384 415 0 0 0 6 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379257158800 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6293] ppid=6283 vsize=28901456 memory=6935653653823705168 CPUtime=0.08 cores=0-7
/proc/6285/task/6293/stat : 6293 (java) S 6283 6283 4858 0 -1 1077944384 905 0 0 0 6 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379256105744 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6294] ppid=6283 vsize=28901456 memory=6445052828433605989 CPUtime=0.09 cores=0-7
/proc/6285/task/6294/stat : 6294 (java) S 6283 6283 4858 0 -1 1077944384 538 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379255053200 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6295] ppid=6283 vsize=28901456 memory=1452 CPUtime=0.04 cores=0-7
/proc/6285/task/6295/stat : 6295 (java) S 6283 6283 4858 0 -1 1077944384 1588 0 0 0 4 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378040641776 140379711023746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6296] ppid=6283 vsize=28901456 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6285/task/6296/stat : 6296 (java) S 6283 6283 4858 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378039588000 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6297] ppid=6283 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6297/stat : 6297 (java) S 6283 6283 4858 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378038534896 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6298] ppid=6283 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/6285/task/6298/stat : 6298 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378037483472 140379711031195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6299] ppid=6283 vsize=28901456 memory=0 CPUtime=3.78 cores=0-7
/proc/6285/task/6299/stat : 6299 (java) S 6283 6283 4858 0 -1 1077944384 12925 0 0 0 373 5 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378036431600 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6300] ppid=6283 vsize=28901456 memory=0 CPUtime=3.65 cores=0-7
/proc/6285/task/6300/stat : 6300 (java) S 6283 6283 4858 0 -1 1077944384 13822 0 0 0 361 4 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378035379056 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6301] ppid=6283 vsize=28901456 memory=281292710082560 CPUtime=3.71 cores=0-7
/proc/6285/task/6301/stat : 6301 (java) S 6283 6283 4858 0 -1 1077944384 17539 0 0 0 366 5 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378034326000 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6302] ppid=6283 vsize=28901456 memory=301741394899515661 CPUtime=1.24 cores=0-7
/proc/6285/task/6302/stat : 6302 (java) S 6283 6283 4858 0 -1 1077944384 10643 0 0 0 122 2 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378033273456 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6303] ppid=6283 vsize=28901456 memory=14135532762452701 CPUtime=0 cores=0-7
/proc/6285/task/6303/stat : 6303 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378032220640 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6304] ppid=6283 vsize=28901456 memory=1452 CPUtime=0.01 cores=0-7
/proc/6285/task/6304/stat : 6304 (java) S 6283 6283 4858 0 -1 1077944384 1530 0 0 0 0 1 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378031168176 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6497] ppid=6283 vsize=28901456 memory=292056 CPUtime=8.25 cores=0-7
/proc/6285/task/6497/stat : 6497 (java) R 6283 6283 4858 0 -1 4202560 266 0 0 0 825 0 0 0 20 0 29 0 417968517 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378013783952 140379354311844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6507] ppid=6283 vsize=28901456 memory=19464 CPUtime=7.87 cores=0-7
/proc/6285/task/6507/stat : 6507 (java) R 6283 6283 4858 0 -1 4202560 435 0 0 0 787 0 0 0 20 0 29 0 417968555 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378015886144 140379352788814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6508] ppid=6283 vsize=28901456 memory=14068 CPUtime=7.89 cores=0-7
/proc/6285/task/6508/stat : 6508 (java) R 6283 6283 4858 0 -1 4202560 351 0 0 0 789 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378017992464 140379351428818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6509] ppid=6283 vsize=28901456 memory=2120 CPUtime=7.87 cores=0-7
/proc/6285/task/6509/stat : 6509 (java) R 6283 6283 4858 0 -1 4202560 1766 0 0 0 787 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378011676864 140379355614318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6510] ppid=6283 vsize=28901456 memory=504 CPUtime=7.88 cores=0-7
/proc/6285/task/6510/stat : 6510 (java) R 6283 6283 4858 0 -1 4202560 459 0 0 0 788 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378014834896 140379351429997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6511] ppid=6283 vsize=28901456 memory=1560 CPUtime=7.88 cores=0-7
/proc/6285/task/6511/stat : 6511 (java) R 6283 6283 4858 0 -1 4202560 507 0 0 0 788 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378010624000 140379355885139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6512] ppid=6283 vsize=28901456 memory=924 CPUtime=7.86 cores=0-7
/proc/6285/task/6512/stat : 6512 (java) R 6283 6283 4858 0 -1 4202560 323 0 0 0 786 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378019045872 140379348950910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6513] ppid=6283 vsize=28901456 memory=8112282956445269571 CPUtime=0.19 cores=0-7
/proc/6285/task/6513/stat : 6513 (java) S 6283 6283 4858 0 -1 1077944384 20 0 0 0 19 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378012734352 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6514] ppid=6283 vsize=28901456 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6285/task/6514/stat : 6514 (java) S 6283 6283 4858 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378020103184 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 145.5 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 305900 KiB

[startup+26.8012 s]
/proc/loadavg: 4.77 3.32 1.96 8/222 6514
/proc/meminfo: memFree=31314820/32770624 swapFree=67004224/67108860
[pid=6283] ppid=6280 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6283/stat : 6283 (xcsp3-exec) S 6280 6283 4858 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417966712 115843072 363 33554432000 4194304 5098028 140730737728400 140730737726504 139785208144508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29048832 140730737730422 140730737730665 140730737730665 140730737733578 0
/proc/6283/statm: 28282 363 305 221 0 87 0
[pid=6285] ppid=6283 vsize=28901456 memory=304448 CPUtime=148.3 cores=0-7
/proc/6285/stat : 6285 (java) S 6283 6283 4858 0 -1 1077944320 90847 0 0 0 14778 52 0 0 20 0 29 0 417966712 29595090944 76112 33554432000 4194304 4196468 140727992597312 140727992579856 140379711012599 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
/proc/6285/statm: 7225364 76112 3548 1 0 7186466 0
[pid=6285/tid=6286] ppid=6283 vsize=28901456 memory=0 CPUtime=0.8 cores=0-7
/proc/6285/task/6286/stat : 6286 (java) S 6283 6283 4858 0 -1 1077944384 10326 0 0 0 76 4 0 0 20 0 29 0 417966712 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379715253376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6287] ppid=6283 vsize=28901456 memory=8458433173656779061 CPUtime=0.09 cores=0-7
/proc/6285/task/6287/stat : 6287 (java) S 6283 6283 4858 0 -1 1077944384 247 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379667565072 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6288] ppid=6283 vsize=28901456 memory=8319106358720346421 CPUtime=0.08 cores=0-7
/proc/6285/task/6288/stat : 6288 (java) S 6283 6283 4858 0 -1 1077944384 400 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379666512528 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6289] ppid=6283 vsize=28901456 memory=8387336461648573194 CPUtime=0.09 cores=0-7
/proc/6285/task/6289/stat : 6289 (java) S 6283 6283 4858 0 -1 1077944384 2256 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379665459472 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6290] ppid=6283 vsize=28901456 memory=7163085330834339126 CPUtime=0.08 cores=0-7
/proc/6285/task/6290/stat : 6290 (java) S 6283 6283 4858 0 -1 1077944384 1631 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379259263376 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6291] ppid=6283 vsize=28901456 memory=8751464017575557432 CPUtime=0.08 cores=0-7
/proc/6285/task/6291/stat : 6291 (java) S 6283 6283 4858 0 -1 1077944384 719 0 0 0 7 1 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379258211344 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6292] ppid=6283 vsize=28901456 memory=-2023959437020729679 CPUtime=0.08 cores=0-7
/proc/6285/task/6292/stat : 6292 (java) S 6283 6283 4858 0 -1 1077944384 415 0 0 0 6 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379257158800 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6293] ppid=6283 vsize=28901456 memory=-6800859132029471843 CPUtime=0.08 cores=0-7
/proc/6285/task/6293/stat : 6293 (java) S 6283 6283 4858 0 -1 1077944384 905 0 0 0 6 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379256105744 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6294] ppid=6283 vsize=28901456 memory=7165352523811010105 CPUtime=0.09 cores=0-7
/proc/6285/task/6294/stat : 6294 (java) S 6283 6283 4858 0 -1 1077944384 538 0 0 0 7 2 0 0 20 0 29 0 417966713 29595090944 76112 33554432000 4194304 4196468 140727992597312 140379255053200 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6295] ppid=6283 vsize=28901456 memory=7165352523810813753 CPUtime=0.04 cores=0-7
/proc/6285/task/6295/stat : 6295 (java) S 6283 6283 4858 0 -1 1077944384 1588 0 0 0 4 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378040641776 140379711023746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6296] ppid=6283 vsize=28901456 memory=6369582268613291605 CPUtime=0 cores=0-7
/proc/6285/task/6296/stat : 6296 (java) S 6283 6283 4858 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378039588000 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6297] ppid=6283 vsize=28901456 memory=1452 CPUtime=0 cores=0-7
/proc/6285/task/6297/stat : 6297 (java) S 6283 6283 4858 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 29 0 417966715 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378038534896 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6298] ppid=6283 vsize=28901456 memory=292056 CPUtime=0 cores=0-7
/proc/6285/task/6298/stat : 6298 (java) S 6283 6283 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378037483472 140379711031195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6299] ppid=6283 vsize=28901456 memory=1416 CPUtime=3.78 cores=0-7
/proc/6285/task/6299/stat : 6299 (java) S 6283 6283 4858 0 -1 1077944384 12927 0 0 0 373 5 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378036431600 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6300] ppid=6283 vsize=28901456 memory=4104 CPUtime=3.65 cores=0-7
/proc/6285/task/6300/stat : 6300 (java) S 6283 6283 4858 0 -1 1077944384 13824 0 0 0 361 4 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378035379056 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6301] ppid=6283 vsize=28901456 memory=1408 CPUtime=3.71 cores=0-7
/proc/6285/task/6301/stat : 6301 (java) S 6283 6283 4858 0 -1 1077944384 17541 0 0 0 366 5 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378034326000 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6302] ppid=6283 vsize=28901456 memory=3060 CPUtime=1.25 cores=0-7
/proc/6285/task/6302/stat : 6302 (java) S 6283 6283 4858 0 -1 1077944384 11041 0 0 0 122 3 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378033273456 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6303] ppid=6283 vsize=28901456 memory=1452 CPUtime=0 cores=0-7
/proc/6285/task/6303/stat : 6303 (java) S 6283 6283 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378032220640 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6304] ppid=6283 vsize=28901456 memory=284432 CPUtime=0.01 cores=0-7
/proc/6285/task/6304/stat : 6304 (java) S 6283 6283 4858 0 -1 1077944384 1530 0 0 0 0 1 0 0 20 0 29 0 417966718 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378031168176 140379711023746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6497] ppid=6283 vsize=28901456 memory=1724 CPUtime=8.65 cores=0-7
/proc/6285/task/6497/stat : 6497 (java) R 6283 6283 4858 0 -1 4202560 267 0 0 0 865 0 0 0 20 0 29 0 417968517 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378013783952 140379354312124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6507] ppid=6283 vsize=28901456 memory=19464 CPUtime=8.27 cores=0-7
/proc/6285/task/6507/stat : 6507 (java) R 6283 6283 4858 0 -1 4202560 435 0 0 0 827 0 0 0 20 0 29 0 417968555 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378015886280 140379352926795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6508] ppid=6283 vsize=28901456 memory=14068 CPUtime=8.29 cores=0-7
/proc/6285/task/6508/stat : 6508 (java) R 6283 6283 4858 0 -1 4202560 351 0 0 0 829 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378017992600 140379351429712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6509] ppid=6283 vsize=28901456 memory=2120 CPUtime=8.27 cores=0-7
/proc/6285/task/6509/stat : 6509 (java) R 6283 6283 4858 0 -1 4202560 1797 0 0 0 827 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378011679128 140379357005689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6510] ppid=6283 vsize=28901456 memory=1452 CPUtime=8.28 cores=0-7
/proc/6285/task/6510/stat : 6510 (java) R 6283 6283 4858 0 -1 4202560 459 0 0 0 828 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378014835032 140379346170044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6511] ppid=6283 vsize=28901456 memory=301312 CPUtime=8.28 cores=0-7
/proc/6285/task/6511/stat : 6511 (java) R 6283 6283 4858 0 -1 4202560 507 0 0 0 828 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378010624136 140379353411623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6512] ppid=6283 vsize=28901456 memory=1556 CPUtime=8.26 cores=0-7
/proc/6285/task/6512/stat : 6512 (java) R 6283 6283 4858 0 -1 4202560 323 0 0 0 826 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378019045872 140379345463138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6513] ppid=6283 vsize=28901456 memory=280156 CPUtime=0.19 cores=0-7
/proc/6285/task/6513/stat : 6513 (java) S 6283 6283 4858 0 -1 1077944384 20 0 0 0 19 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378012734352 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
[pid=6285/tid=6514] ppid=6283 vsize=28901456 memory=311588 CPUtime=0 cores=0-7
/proc/6285/task/6514/stat : 6514 (java) S 6283 6283 4858 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 417968556 29595090944 76112 33554432000 4194304 4196468 140727992597312 140378020103184 140379711022805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33239040 140727992603626 140727992603798 140727992603798 140727992606671 0
Current children cumulated CPU time: 148.3 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 305900 KiB

Child status: 0
Real time (s): 26.8262
CPU time (s): 148.404
CPU user time (s): 147.863
CPU system time (s): 0.540164
CPU usage (%): 553.205
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 314960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.863
system time used= 0.540164
maximum resident set size= 315560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9184
involuntary context switches= 1679


# summary of solver processes directly reported to runsolver:
#   pid: 6283
#   total CPU time (s): 148.404
#   total CPU user time (s): 147.863
#   total CPU system time (s): 0.540164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.254048 second user time and 0.326329 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 01:40:14
IDJOB=4394445
IDBENCH=115815
IDSOLVER=2843
FILE ID=node148/4394445-1568418051
RUNJOBID= node148-1568417824-4885
PBS_JOBID= 21702282
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-8.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-4394445-1568418051/watcher-4394445-1568418051 -o /tmp/evaluation-result-4394445-1568418051/solver-4394445-1568418051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 382530901 HOME/instance-4394445-1568418051.xml

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

MD5SUM BENCH= 43b2ef46cc27b455a3f22cfd7dbefeca
RANDOM SEED=382530901

node148.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.13
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.13
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.13
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.13
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:        31610300 kB
MemAvailable:   31910016 kB
Buffers:           57852 kB
Cached:           540700 kB
SwapCached:         3820 kB
Active:           375428 kB
Inactive:         229668 kB
Active(anon):       3968 kB
Inactive(anon):    43732 kB
Active(file):     371460 kB
Inactive(file):   185936 kB
Unevictable:      108956 kB
Mlocked:          108956 kB
SwapTotal:      67108860 kB
SwapFree:       67004224 kB
Dirty:             26228 kB
Writeback:             0 kB
AnonPages:        129516 kB
Mapped:            44196 kB
Shmem:             32344 kB
Slab:             145156 kB
SReclaimable:     116312 kB
SUnreclaim:        28844 kB
KernelStack:        3744 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-14 01:40:41