Trace number 4393814

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 parallelOPT303 424.452 62.2058

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-6.xml
MD5SUMf9b69c01e6bb1a0d57b760340d1825ed
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark303
Best CPU time to get the best result obtained on this benchmark29.4046
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size4
Maximum domain size405
Distribution of domain sizes[{"size":4,"count":5},{"size":5,"count":45},{"size":405,"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-4393814-1568418155.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393814-1568418155.xml, -tl, 20160s, -p, 8]
0.35/0.22	c 8 solvers in parallel
0.35/0.28	c parse instance...
1.51/0.76	c solve instance...
1.93/0.87	o 392 
5.70/1.39	o 389 
6.43/1.49	o 388 
7.17/1.53	o 386 
7.17/1.54	o 374 
7.17/1.56	o 373 
7.17/1.56	o 357 
7.80/1.60	o 345 
7.80/1.61	o 339 
7.80/1.64	o 338 
7.80/1.67	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (59/84)
7.80/1.67		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
7.80/1.67		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
7.80/1.67		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
7.80/1.67		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
7.80/1.67		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
7.80/1.67	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (59/84)
7.80/1.67		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
7.80/1.67		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
7.80/1.67		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
7.80/1.67		at org.chocosolver.solver.Solver.repair(Solver.java:443)
7.80/1.67		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
7.80/1.67		at org.chocosolver.solver.Solver.solve(Solver.java:262)
7.80/1.67		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
7.80/1.67		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
7.80/1.67		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
7.80/1.67		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
7.80/1.67		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
7.80/1.67		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
7.80/1.67		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
7.80/1.67		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
7.80/1.67		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
7.80/1.67		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
7.80/1.67	o 335 
10.00/1.93	o 334 
10.82/2.07	o 332 
17.62/2.97	o 330 
23.67/3.72	o 323 
26.79/4.19	o 322 
27.48/4.26	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (28/47)
27.48/4.26		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
27.48/4.26		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
27.48/4.26		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
27.48/4.26		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
27.48/4.26		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
27.48/4.26	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (28/47)
27.48/4.26		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
27.48/4.26		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
27.48/4.26		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
27.48/4.26		at org.chocosolver.solver.Solver.repair(Solver.java:443)
27.48/4.26		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
27.48/4.26		at org.chocosolver.solver.Solver.solve(Solver.java:262)
27.48/4.26		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
27.48/4.26		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
27.48/4.26		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
27.48/4.26		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
27.48/4.26		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
27.48/4.26		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
27.48/4.26		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
27.48/4.26		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
27.48/4.26		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
27.48/4.26		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
27.48/4.26	o 321 
28.31/4.31	o 320 
31.30/5.14	o 319 
39.26/6.92	o 318 
39.91/7.15	o 317 
40.45/7.34	o 316 
42.32/7.85	o 315 
42.91/8.07	o 310 
54.57/9.81	o 309 
68.63/11.74	o 308 
69.82/12.37	o 307 
81.19/14.60	o 306 
101.64/17.99	o 305 
307.87/47.53	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (40/60)
307.87/47.53		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
307.87/47.53		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
307.87/47.53		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
307.87/47.53		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
307.87/47.53		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
307.87/47.54	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (40/60)
307.87/47.54		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
307.87/47.54		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
307.87/47.54		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
307.87/47.54		at org.chocosolver.solver.Solver.repair(Solver.java:443)
307.87/47.54		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
307.87/47.54		at org.chocosolver.solver.Solver.solve(Solver.java:262)
307.87/47.54		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
307.87/47.54		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
307.87/47.54		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
307.87/47.54		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
307.87/47.54		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
307.87/47.54		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
307.87/47.54		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
307.87/47.54		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
307.87/47.54		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
307.87/47.54		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
307.87/47.54	o 304 
337.20/51.23	java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
337.20/51.23		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
337.20/51.23		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
337.20/51.23		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
337.20/51.23		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
337.20/51.23		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
337.20/51.23	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
337.20/51.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
337.20/51.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
337.20/51.23		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
337.20/51.23		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
337.20/51.23		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
337.20/51.23		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
337.20/51.23		... 4 more
337.20/51.23	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
337.20/51.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
337.20/51.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
337.20/51.23		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
337.20/51.23		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
337.20/51.23		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
337.20/51.23		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
337.20/51.23		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
337.20/51.23		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
337.20/51.23		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
337.20/51.23		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
337.20/51.23		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
337.20/51.23		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
337.20/51.23		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
337.20/51.23		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
337.20/51.23		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
337.20/51.23		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
337.20/51.23		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
337.20/51.23		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
337.20/51.23	Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
337.20/51.23		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107)
337.20/51.23		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
337.20/51.23		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
337.20/51.23		at org.chocosolver.solver.Solver.restart(Solver.java:596)
337.20/51.23		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
337.20/51.23		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
337.20/51.23		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
337.20/51.23		at org.chocosolver.solver.Solver.extend(Solver.java:421)
337.20/51.23		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
337.20/51.23		at org.chocosolver.solver.Solver.solve(Solver.java:262)
337.20/51.23		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
337.20/51.23		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
337.20/51.23		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
337.20/51.23		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
337.20/51.23		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
337.20/51.23		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
337.20/51.23		... 4 more
337.20/51.23	o 303 
423.85/62.17	java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
423.85/62.17		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
423.85/62.17		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
423.85/62.17		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
423.85/62.17		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
423.85/62.17		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
423.85/62.17	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
423.85/62.17		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
423.85/62.17		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
423.85/62.17		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
423.85/62.17		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
423.85/62.17		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
423.85/62.17		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
423.85/62.17		... 4 more
423.85/62.18	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
423.85/62.18		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
423.85/62.18		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
423.85/62.18		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
423.85/62.18		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
423.85/62.18		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
423.85/62.18		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
423.85/62.18		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
423.85/62.18		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
423.85/62.18		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
423.85/62.18		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
423.85/62.18		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
423.85/62.18		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
423.85/62.18		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
423.85/62.18		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
423.85/62.18		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
423.85/62.18		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
423.85/62.18		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
423.85/62.18		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
423.85/62.18	Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
423.85/62.18		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107)
423.85/62.18		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
423.85/62.18		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
423.85/62.18		at org.chocosolver.solver.Solver.restart(Solver.java:596)
423.85/62.18		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
423.85/62.18		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
423.85/62.18		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
423.85/62.18		at org.chocosolver.solver.Solver.extend(Solver.java:421)
423.85/62.18		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
423.85/62.18		at org.chocosolver.solver.Solver.solve(Solver.java:262)
423.85/62.18		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
423.85/62.18		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
423.85/62.18		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
423.85/62.18		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
423.85/62.18		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
423.85/62.18		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
423.85/62.18		... 4 more
423.85/62.18	s OPTIMUM FOUND
423.85/62.18	v <instantiation>
423.85/62.18	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>
423.85/62.18	v 	<values>2 67 84 149 247 2 61 132 166 254 2 14 64 163 241 0 14 111 206 258 4 101 121 129 214 298 303 303 300 303 62 16 65 65 51 58 71 31 85 49 2 47 63 78 62 14 97 95 48 42 80 9 7 76 89 2 4 3 0 1 4 0 1 3 2 3 0 2 1 4 0 1 4 2 3 3 4 1 2 0 149 247 2 84 67 61 132 254 166 2 14 163 64 2 241 0 14 206 258 111 214 121 129 4 101 </values>
423.85/62.18	v </instantiation>

Verifier Data 

OK	303

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393814-1568418155/watcher-4393814-1568418155 -o /tmp/evaluation-result-4393814-1568418155/solver-4393814-1568418155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568416728-17745 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1786624715 HOME/instance-4393814-1568418155.xml 

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

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


[startup+0.100168 s]*
/proc/loadavg: 1.57 1.35 1.20 2/216 18764
/proc/meminfo: memFree=31455504/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=28227388 memory=30088 CPUtime=0.12 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 5922 0 0 0 11 1 0 0 20 0 20 0 418055181 28904845312 7522 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7056847 7522 3156 1 0 7019032 0
[pid=18745/tid=18746] ppid=18743 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18743 18743 17718 0 -1 4202560 3839 0 0 0 8 1 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140315155054432 140315150835094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=28227388 memory=140113518020224 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18750] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314699484048 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18751] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314698430992 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18752] ppid=18743 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314697378448 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18753] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314696325392 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18754] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 7522 33554432000 4194304 4196468 140737443583120 140314695272848 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18755] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055184 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313547700976 140315150834306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18756] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18743 18743 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418055184 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313546647200 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18757] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18743 18743 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418055185 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313545594096 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18758] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313544542672 140315150841755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18759] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18743 18743 17718 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313543489776 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18760] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313542437232 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18761] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) R 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313541384176 140315150834306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18762] ppid=18743 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18743 18743 17718 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313540331632 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18763] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313539279840 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18764] ppid=18743 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055188 28904845312 7522 33554432000 4194304 4196468 140737443583120 140313538227376 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31544 KiB

[startup+0.210812 s]*
/proc/loadavg: 1.57 1.35 1.20 3/216 18764
/proc/meminfo: memFree=31443004/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=28227388 memory=40884 CPUtime=0.35 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 9513 0 0 0 32 3 0 0 20 0 20 0 418055181 28904845312 10221 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7056847 10221 3295 1 0 7019032 0
[pid=18745/tid=18746] ppid=18743 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18743 18743 17718 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140315155055072 140315150835094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=28227388 memory=140113518037818 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18750] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314699484048 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18751] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314698430992 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18752] ppid=18743 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314697378448 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18753] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314696325392 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18754] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28904845312 10221 33554432000 4194304 4196468 140737443583120 140314695272848 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18755] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18743 18743 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418055184 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313547700976 140315150834306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18756] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18743 18743 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418055184 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313546647200 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18757] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18743 18743 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418055185 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313545594096 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18758] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313544542672 140315150841755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18759] ppid=18743 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18743 18743 17718 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313543489776 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18760] ppid=18743 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18743 18743 17718 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313542437232 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18761] ppid=18743 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18743 18743 17718 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313541384176 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18762] ppid=18743 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18743 18743 17718 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313540331632 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18763] ppid=18743 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055187 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313539279840 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18764] ppid=18743 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055188 28904845312 10221 33554432000 4194304 4196468 140737443583120 140313538227376 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42340 KiB

[startup+0.310714 s]*
/proc/loadavg: 1.57 1.35 1.20 4/216 18764
/proc/meminfo: memFree=31436468/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=28231644 memory=49868 CPUtime=0.52 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 10864 0 0 0 49 3 0 0 20 0 20 0 418055181 28909203456 12467 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7057911 12467 3355 1 0 7019032 0
[pid=18745/tid=18746] ppid=18743 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18743 18743 17718 0 -1 4202560 7809 0 0 0 27 2 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140315155056944 140315150845085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18750] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314699484048 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18751] ppid=18743 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314698430992 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18752] ppid=18743 vsize=28231644 memory=140113376015279 CPUtime=0 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314697378448 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18753] ppid=18743 vsize=28231644 memory=140113376017584 CPUtime=0 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314696325392 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18754] ppid=18743 vsize=28231644 memory=140113376019888 CPUtime=0 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28909203456 12467 33554432000 4194304 4196468 140737443583120 140314695272848 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18755] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18743 18743 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418055184 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313547700976 140315150834306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18756] ppid=18743 vsize=28231644 memory=280226752046736 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18743 18743 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418055184 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313546647200 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18757] ppid=18743 vsize=28231644 memory=280226752053648 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18743 18743 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418055185 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313545594096 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18758] ppid=18743 vsize=28231644 memory=280226751994928 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313544542672 140315150841755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18759] ppid=18743 vsize=28231644 memory=280226752067472 CPUtime=0.02 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18743 18743 17718 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313543489776 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18760] ppid=18743 vsize=28231644 memory=280226752074384 CPUtime=0.02 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18743 18743 17718 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313542437232 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18761] ppid=18743 vsize=28231644 memory=280226752072080 CPUtime=0.04 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) R 18743 18743 17718 0 -1 4202560 227 0 0 0 4 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313541384176 140315135932732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18762] ppid=18743 vsize=28231644 memory=280226752088240 CPUtime=0.12 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18743 18743 17718 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313540331632 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18763] ppid=18743 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055187 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313539279840 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18764] ppid=18743 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055188 28909203456 12467 33554432000 4194304 4196468 140737443583120 140313538227376 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51324 KiB

[startup+0.700953 s]
/proc/loadavg: 1.57 1.35 1.20 4/216 18765
/proc/meminfo: memFree=31423572/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=28233768 memory=79244 CPUtime=1.51 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 14071 0 0 0 145 6 0 0 20 0 20 0 418055181 28911378432 19811 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7058442 19811 3445 1 0 7019544 0
[pid=18745/tid=18746] ppid=18743 vsize=28233768 memory=280226752446128 CPUtime=0.67 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) R 18743 18743 17718 0 -1 4202560 9417 0 0 0 64 3 0 0 20 0 20 0 418055182 28911378432 19811 33554432000 4194304 4196468 140737443583120 140315155060384 140315150835094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=28233768 memory=140113376224112 CPUtime=0 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418055182 28911378432 19811 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418055182 28911378432 19811 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418055182 28911378432 19811 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0

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

[pid=18745/tid=19020] ppid=18743 vsize=29168740 memory=1564 CPUtime=9.39 cores=0-7
/proc/18745/task/19020/stat : 19020 (java) R 18743 18743 17718 0 -1 4202560 380 0 0 0 939 0 0 0 20 0 29 0 418060305 29868789760 63254 33554432000 4194304 4196468 140737443583120 140313522710848 140314791823255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19021] ppid=18743 vsize=29168740 memory=928 CPUtime=9.43 cores=0-7
/proc/18745/task/19021/stat : 19021 (java) R 18743 18743 17718 0 -1 4202560 69 0 0 0 943 0 0 0 20 0 29 0 418060305 29868789760 63254 33554432000 4194304 4196468 140737443583120 140313518497384 140314798185126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19022] ppid=18743 vsize=29168740 memory=1744 CPUtime=9.43 cores=0-7
/proc/18745/task/19022/stat : 19022 (java) R 18743 18743 17718 0 -1 4202560 249 0 0 0 943 0 0 0 20 0 29 0 418060305 29868789760 63254 33554432000 4194304 4196468 140737443583120 140313512182704 140314796317491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19023] ppid=18743 vsize=29168740 memory=792 CPUtime=0.09 cores=0-7
/proc/18745/task/19023/stat : 19023 (java) S 18743 18743 17718 0 -1 1077944384 17 0 0 0 9 0 0 0 20 0 29 0 418060305 29868789760 63254 33554432000 4194304 4196468 140737443583120 140313523766896 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 413.45 s
Current children cumulated vsize: 29281868 KiB
Current children cumulated memory: 254472 KiB

[startup+61.602 s]
/proc/loadavg: 5.19 2.41 1.57 9/224 19024
/proc/meminfo: memFree=31227952/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=29168740 memory=254036 CPUtime=419.81 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 115570 0 0 0 41910 71 0 0 20 0 29 0 418055181 29868789760 63509 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7292185 63509 3548 1 0 7253287 0
[pid=18745/tid=18746] ppid=18743 vsize=29168740 memory=40264 CPUtime=0.78 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) S 18743 18743 17718 0 -1 1077944384 10542 0 0 0 74 4 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140315155063936 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=29168740 memory=1456 CPUtime=0.18 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 977 0 0 0 16 2 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=29168740 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 1620 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=29168740 memory=2052 CPUtime=0.2 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 2155 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18750] ppid=18743 vsize=29168740 memory=1220 CPUtime=0.18 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18743 18743 17718 0 -1 1077944384 952 0 0 0 15 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314699484048 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18751] ppid=18743 vsize=29168740 memory=1616 CPUtime=0.17 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18743 18743 17718 0 -1 1077944384 813 0 0 0 14 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314698430992 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18752] ppid=18743 vsize=29168740 memory=784 CPUtime=0.2 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18743 18743 17718 0 -1 1077944384 1410 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314697378448 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18753] ppid=18743 vsize=29168740 memory=8252 CPUtime=0.19 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18743 18743 17718 0 -1 1077944384 1751 0 0 0 16 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314696325392 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18754] ppid=18743 vsize=29168740 memory=2052 CPUtime=0.2 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18743 18743 17718 0 -1 1077944384 975 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63509 33554432000 4194304 4196468 140737443583120 140314695272848 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18755] ppid=18743 vsize=29168740 memory=1220 CPUtime=0.11 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18743 18743 17718 0 -1 1077944384 3923 0 0 0 8 3 0 0 20 0 29 0 418055184 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313547700976 140315150834306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18756] ppid=18743 vsize=29168740 memory=1616 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18743 18743 17718 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 29 0 418055184 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313546647200 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18757] ppid=18743 vsize=29168740 memory=784 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18743 18743 17718 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 29 0 418055185 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313545594096 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18758] ppid=18743 vsize=29168740 memory=8252 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313544542672 140315150841755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18759] ppid=18743 vsize=29168740 memory=5928 CPUtime=4.25 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18743 18743 17718 0 -1 1077944384 16053 0 0 0 420 5 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313543489776 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18760] ppid=18743 vsize=29168740 memory=1056 CPUtime=4.13 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18743 18743 17718 0 -1 1077944384 14799 0 0 0 410 3 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313542437232 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18761] ppid=18743 vsize=29168740 memory=728 CPUtime=4.75 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18743 18743 17718 0 -1 1077944384 21389 0 0 0 471 4 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313541384176 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18762] ppid=18743 vsize=29168740 memory=14008 CPUtime=1.27 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18743 18743 17718 0 -1 1077944384 14600 0 0 0 122 5 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313540331632 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18763] ppid=18743 vsize=29168740 memory=12024 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418055187 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313539279840 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18764] ppid=18743 vsize=29168740 memory=2116 CPUtime=0.03 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18743 18743 17718 0 -1 1077944384 1765 0 0 0 1 2 0 0 20 0 29 0 418055188 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313538227376 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19005] ppid=18743 vsize=29168740 memory=21520 CPUtime=42.99 cores=0-7
/proc/18745/task/19005/stat : 19005 (java) R 18743 18743 17718 0 -1 4202560 566 0 0 0 4299 0 0 0 20 0 29 0 418056981 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313520603264 140314798185077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19016] ppid=18743 vsize=29168740 memory=496 CPUtime=10.13 cores=0-7
/proc/18745/task/19016/stat : 19016 (java) R 18743 18743 17718 0 -1 4202560 244 0 0 0 1013 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313521655320 140737443845889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19017] ppid=18743 vsize=29168740 memory=1564 CPUtime=10.17 cores=0-7
/proc/18745/task/19017/stat : 19017 (java) R 18743 18743 17718 0 -1 4202560 163 0 0 0 1017 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313514287808 140315130548231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19018] ppid=18743 vsize=29168740 memory=928 CPUtime=9.99 cores=0-7
/proc/18745/task/19018/stat : 19018 (java) R 18743 18743 17718 0 -1 4202560 1126 0 0 0 999 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313519550504 140314798643427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19019] ppid=18743 vsize=29168740 memory=1744 CPUtime=10.19 cores=0-7
/proc/18745/task/19019/stat : 19019 (java) R 18743 18743 17718 0 -1 4202560 491 0 0 0 1019 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313517448792 140314797675516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19020] ppid=18743 vsize=29168740 memory=5928 CPUtime=10.18 cores=0-7
/proc/18745/task/19020/stat : 19020 (java) R 18743 18743 17718 0 -1 4202560 384 0 0 0 1018 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313522707984 140314787551484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19021] ppid=18743 vsize=29168740 memory=1056 CPUtime=10.22 cores=0-7
/proc/18745/task/19021/stat : 19021 (java) R 18743 18743 17718 0 -1 4202560 69 0 0 0 1022 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313518497384 140314798185089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19022] ppid=18743 vsize=29168740 memory=1540 CPUtime=10.22 cores=0-7
/proc/18745/task/19022/stat : 19022 (java) R 18743 18743 17718 0 -1 4202560 250 0 0 0 1022 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313512185312 140314798119652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19023] ppid=18743 vsize=29168740 memory=728 CPUtime=0.09 cores=0-7
/proc/18745/task/19023/stat : 19023 (java) S 18743 18743 17718 0 -1 1077944384 17 0 0 0 9 0 0 0 20 0 29 0 418060305 29868789760 63509 33554432000 4194304 4196468 140737443583120 140313523766896 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 419.81 s
Current children cumulated vsize: 29281868 KiB
Current children cumulated memory: 255492 KiB

[startup+62.002 s]*
/proc/loadavg: 5.19 2.41 1.57 10/224 19024
/proc/meminfo: memFree=31228696/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
[pid=18745] ppid=18743 vsize=29168740 memory=253632 CPUtime=423.05 cores=0-7
/proc/18745/stat : 18745 (java) S 18743 18743 17718 0 -1 1077944320 116573 0 0 0 42234 71 0 0 20 0 29 0 418055181 29868789760 63408 33554432000 4194304 4196468 140737443583120 140737443565664 140315150823159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
/proc/18745/statm: 7292185 63408 3548 1 0 7253287 0
[pid=18745/tid=18746] ppid=18743 vsize=29168740 memory=6791534058613427641 CPUtime=0.78 cores=0-7
/proc/18745/task/18746/stat : 18746 (java) S 18743 18743 17718 0 -1 1077944384 10542 0 0 0 74 4 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140315155063936 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18747] ppid=18743 vsize=29168740 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/18745/task/18747/stat : 18747 (java) S 18743 18743 17718 0 -1 1077944384 1116 0 0 0 16 2 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140315107376144 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18748] ppid=18743 vsize=29168740 memory=7681421203011431829 CPUtime=0.2 cores=0-7
/proc/18745/task/18748/stat : 18748 (java) S 18743 18743 17718 0 -1 1077944384 1623 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140315106323600 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18749] ppid=18743 vsize=29168740 memory=-6237260532469557610 CPUtime=0.2 cores=0-7
/proc/18745/task/18749/stat : 18749 (java) S 18743 18743 17718 0 -1 1077944384 2176 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314700536592 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18750] ppid=18743 vsize=29168740 memory=-7019007802211091872 CPUtime=0.18 cores=0-7
/proc/18745/task/18750/stat : 18750 (java) S 18743 18743 17718 0 -1 1077944384 955 0 0 0 15 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314699484048 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18751] ppid=18743 vsize=29168740 memory=-5345911727099972566 CPUtime=0.18 cores=0-7
/proc/18745/task/18751/stat : 18751 (java) S 18743 18743 17718 0 -1 1077944384 816 0 0 0 15 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314698430992 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18752] ppid=18743 vsize=29168740 memory=-8746142026916216773 CPUtime=0.2 cores=0-7
/proc/18745/task/18752/stat : 18752 (java) S 18743 18743 17718 0 -1 1077944384 1414 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314697378448 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18753] ppid=18743 vsize=29168740 memory=1456 CPUtime=0.2 cores=0-7
/proc/18745/task/18753/stat : 18753 (java) S 18743 18743 17718 0 -1 1077944384 1773 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314696325392 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18754] ppid=18743 vsize=29168740 memory=254348 CPUtime=0.2 cores=0-7
/proc/18745/task/18754/stat : 18754 (java) S 18743 18743 17718 0 -1 1077944384 1018 0 0 0 17 3 0 0 20 0 29 0 418055182 29868789760 63408 33554432000 4194304 4196468 140737443583120 140314695272848 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18755] ppid=18743 vsize=29168740 memory=-7677896626897188545 CPUtime=0.11 cores=0-7
/proc/18745/task/18755/stat : 18755 (java) S 18743 18743 17718 0 -1 1077944384 4055 0 0 0 8 3 0 0 20 0 29 0 418055184 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313547700976 140315150834306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18756] ppid=18743 vsize=29168740 memory=0 CPUtime=0 cores=0-7
/proc/18745/task/18756/stat : 18756 (java) S 18743 18743 17718 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 29 0 418055184 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313546647200 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18757] ppid=18743 vsize=29168740 memory=734122130331934768 CPUtime=0 cores=0-7
/proc/18745/task/18757/stat : 18757 (java) S 18743 18743 17718 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 29 0 418055185 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313545594096 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18758] ppid=18743 vsize=29168740 memory=7300728970739542608 CPUtime=0 cores=0-7
/proc/18745/task/18758/stat : 18758 (java) S 18743 18743 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313544542672 140315150841755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18759] ppid=18743 vsize=29168740 memory=6009018458159486882 CPUtime=4.25 cores=0-7
/proc/18745/task/18759/stat : 18759 (java) S 18743 18743 17718 0 -1 1077944384 16053 0 0 0 420 5 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313543489776 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18760] ppid=18743 vsize=29168740 memory=6791534058613427641 CPUtime=4.13 cores=0-7
/proc/18745/task/18760/stat : 18760 (java) S 18743 18743 17718 0 -1 1077944384 14799 0 0 0 410 3 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313542437232 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18761] ppid=18743 vsize=29168740 memory=576461256482450691 CPUtime=4.75 cores=0-7
/proc/18745/task/18761/stat : 18761 (java) S 18743 18743 17718 0 -1 1077944384 21389 0 0 0 471 4 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313541384176 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18762] ppid=18743 vsize=29168740 memory=16513 CPUtime=1.27 cores=0-7
/proc/18745/task/18762/stat : 18762 (java) S 18743 18743 17718 0 -1 1077944384 14600 0 0 0 122 5 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313540331632 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18763] ppid=18743 vsize=29168740 memory=8514701219781834910 CPUtime=0 cores=0-7
/proc/18745/task/18763/stat : 18763 (java) S 18743 18743 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418055187 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313539279840 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=18764] ppid=18743 vsize=29168740 memory=4628973187041168758 CPUtime=0.03 cores=0-7
/proc/18745/task/18764/stat : 18764 (java) S 18743 18743 17718 0 -1 1077944384 1781 0 0 0 1 2 0 0 20 0 29 0 418055188 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313538227376 140315150834306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19005] ppid=18743 vsize=29168740 memory=8514726395715350149 CPUtime=43.39 cores=0-7
/proc/18745/task/19005/stat : 19005 (java) R 18743 18743 17718 0 -1 4202560 579 0 0 0 4339 0 0 0 20 0 29 0 418056981 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313520603400 140314798185126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19016] ppid=18743 vsize=29168740 memory=0 CPUtime=10.53 cores=0-7
/proc/18745/task/19016/stat : 19016 (java) R 18743 18743 17718 0 -1 4202560 339 0 0 0 1053 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313521659368 140314796118070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19017] ppid=18743 vsize=29168740 memory=0 CPUtime=10.58 cores=0-7
/proc/18745/task/19017/stat : 19017 (java) R 18743 18743 17718 0 -1 4202560 226 0 0 0 1058 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313514291944 140314796521550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19018] ppid=18743 vsize=29168740 memory=0 CPUtime=10.4 cores=0-7
/proc/18745/task/19018/stat : 19018 (java) R 18743 18743 17718 0 -1 4202560 1402 0 0 0 1040 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313519550504 140314790254655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19019] ppid=18743 vsize=29168740 memory=280226754295600 CPUtime=10.59 cores=0-7
/proc/18745/task/19019/stat : 19019 (java) R 18743 18743 17718 0 -1 4202560 560 0 0 0 1059 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313517449704 140314795905796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19020] ppid=18743 vsize=29168740 memory=576461256482450691 CPUtime=10.59 cores=0-7
/proc/18745/task/19020/stat : 19020 (java) R 18743 18743 17718 0 -1 4202560 406 0 0 0 1059 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313522712112 140314787614985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19021] ppid=18743 vsize=29168740 memory=16513 CPUtime=10.61 cores=0-7
/proc/18745/task/19021/stat : 19021 (java) R 18743 18743 17718 0 -1 4202560 74 0 0 0 1061 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313518497136 140314798185077 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19022] ppid=18743 vsize=29168740 memory=6944656575208382560 CPUtime=10.62 cores=0-7
/proc/18745/task/19022/stat : 19022 (java) R 18743 18743 17718 0 -1 4202560 324 0 0 0 1062 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313512182840 140314796203556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
[pid=18745/tid=19023] ppid=18743 vsize=29168740 memory=16513 CPUtime=0.09 cores=0-7
/proc/18745/task/19023/stat : 19023 (java) S 18743 18743 17718 0 -1 1077944384 17 0 0 0 9 0 0 0 20 0 29 0 418060305 29868789760 63408 33554432000 4194304 4196468 140737443583120 140313523766896 140315150833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140737443587050 140737443587222 140737443587222 140737443590095 0
Current children cumulated CPU time: 423.05 s
Current children cumulated vsize: 29281868 KiB
Current children cumulated memory: 255088 KiB

[startup+62.2013 s]
/proc/loadavg: 5.19 2.41 1.57 10/224 19024
/proc/meminfo: memFree=31228696/32770624 swapFree=67004100/67108860
[pid=18743] ppid=18740 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18743/stat : 18743 (xcsp3-exec) S 18740 18743 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418055181 115843072 364 33554432000 4194304 5098028 140734010321376 140734010319480 140485780296316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13484032 140734010327925 140734010328169 140734010328169 140734010331082 0
/proc/18743/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 62.2058
CPU time (s): 424.452
CPU user time (s): 423.723
CPU system time (s): 0.729064
CPU usage (%): 682.335
Max. virtual memory (cumulated for all children) (KiB): 29281868
Max. memory (cumulated for all children) (KiB): 325328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.723
system time used= 0.729064
maximum resident set size= 325860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14069
involuntary context switches= 5059


# summary of solver processes directly reported to runsolver:
#   pid: 18743
#   total CPU time (s): 424.452
#   total CPU user time (s): 423.723
#   total CPU system time (s): 0.729064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.583183 second user time and 0.761776 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 01:41:56
IDJOB=4393814
IDBENCH=115829
IDSOLVER=2841
FILE ID=node133/4393814-1568418155
RUNJOBID= node133-1568416728-17745
PBS_JOBID= 21702258
Free space on /tmp= 59416 MiB

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

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

MD5SUM BENCH= f9b69c01e6bb1a0d57b760340d1825ed
RANDOM SEED=1786624715

node133.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.18
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.18
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.18
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.18
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:        31473684 kB
MemAvailable:   31897548 kB
Buffers:          193380 kB
Cached:           511588 kB
SwapCached:         3372 kB
Active:           400396 kB
Inactive:         308288 kB
Active(anon):      27588 kB
Inactive(anon):    16024 kB
Active(file):     372808 kB
Inactive(file):   292264 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004100 kB
Dirty:             25828 kB
Writeback:           392 kB
AnonPages:        112500 kB
Mapped:            44356 kB
Shmem:             31476 kB
Slab:             179128 kB
SReclaimable:     149256 kB
SUnreclaim:        29872 kB
KernelStack:        3440 kB
PageTables:         6036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497320 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59392 MiB
End job on node133 at 2019-09-14 01:42:58