Trace number 4393969

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 parallelOPT1427 127.327 23.3517

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-13.xml
MD5SUMe9c019b34e7441e843704d2f83648de8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1427
Best CPU time to get the best result obtained on this benchmark122.558
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393969-1568433908.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393969-1568433908.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
0.73/0.47	c solve instance...
0.73/0.51	o 0 
0.73/0.51	o 236 
1.04/0.53	o 264 
1.04/0.53	o 266 
1.04/0.53	o 300 
1.04/0.54	o 878 
1.04/0.54	o 883 
1.04/0.55	o 893 
1.04/0.58	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/43)
1.04/0.58		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.04/0.58		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.04/0.58		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.04/0.58		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.04/0.58		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.04/0.58	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/43)
1.04/0.58		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.04/0.58		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.04/0.58		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.04/0.58		at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.04/0.58		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.04/0.58		at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.04/0.58		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.04/0.58		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.04/0.58		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.04/0.58		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.04/0.58		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.04/0.58		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.04/0.58		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.04/0.58		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.04/0.58		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.04/0.58		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.04/0.58	o 894 
1.04/0.59	o 899 
1.04/0.59	o 900 
1.04/0.60	o 914 
1.36/0.61	o 922 
1.36/0.61	o 928 
1.36/0.62	o 929 
1.36/0.63	o 972 
1.36/0.63	o 973 
1.36/0.68	o 975 
1.36/0.69	o 981 
1.36/0.69	o 1015 
1.36/0.69	o 1016 
1.94/0.71	o 1017 
1.94/0.71	o 1018 
1.94/0.71	o 1023 
1.94/0.71	o 1024 
1.94/0.72	o 1028 
1.94/0.72	o 1029 
1.94/0.74	o 1034 
1.94/0.74	o 1040 
1.94/0.75	o 1067 
1.94/0.76	o 1069 
1.94/0.76	o 1070 
1.94/0.77	o 1077 
1.94/0.78	o 1098 
2.49/0.80	o 1121 
2.49/0.81	o 1130 
2.49/0.82	o 1134 
2.49/0.83	o 1135 
2.49/0.84	o 1140 
2.49/0.84	o 1143 
2.49/0.84	o 1148 
2.49/0.84	o 1151 
2.49/0.85	o 1160 
2.49/0.85	o 1165 
2.49/0.85	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (35/37)
2.49/0.85		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.49/0.85		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.49/0.85		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.49/0.85		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.49/0.85		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.49/0.85	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (35/37)
2.49/0.85		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
2.49/0.85		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.49/0.85		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.49/0.85		at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.49/0.85		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.49/0.85		at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.49/0.85		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.49/0.85		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.49/0.85		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.49/0.85		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.49/0.85		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.49/0.85		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.49/0.85		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.49/0.85		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.49/0.85		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.49/0.85		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.49/0.85	o 1166 
2.49/0.85	o 1171 
2.49/0.88	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a satisfied signed clause: #1134 : ?TRUE : (x[20] = 1 ∈ [1,1]:TRUE) ∨ (x[0] = 0 ∈ [1,1]:FALSE) ∨ (x[4] = 1 ∈ [0,0]:FALSE) ∨ (x[6] = 0 ∈ [1,1]:FALSE) ∨ (x[10] = 0 ∈ [1,1]:FALSE) ∨ (x[11] = 0 ∈ [1,1]:FALSE) ∨ (x[12] = 1 ∈ [0,0]:FALSE) ∨ (x[13] = 0 ∈ [1,1]:FALSE) ∨ (x[14] = 0 ∈ [1,1]:FALSE) ∨ (x[15] = 0 ∈ [1,1]:FALSE) ∨ (x[16] = 0 ∈ [1,1]:FALSE) ∨ (x[17] = 1 ∈ [0,0]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [1284,2815]:FALSE) ∨ (x[21] = 0 ∈ [1,1]:FALSE) ∨ (x[23] = 0 ∈ [1,1]:FALSE) ∨ (x[24] = 0 ∈ [1,1]:FALSE) ∨ (x[25] = 0 ∈ [1,1]:FALSE) ∨ (x[27] = 0 ∈ [1,1]:FALSE) ∨ (x[28] = 0 ∈ [1,1]:FALSE) ∨ (x[31] = 0 ∈ [1,1]:FALSE) ∨ (x[34] = 0 ∈ [1,1]:FALSE) ∨ (x[35] = 0 ∈ [1,1]:FALSE) ∨ (x[36] = 0 ∈ [1,1]:FALSE) ∨ (x[37] = 0 ∈ [1,1]:FALSE) ∨ (x[38] = 0 ∈ [1,1]:FALSE) ∨ (x[39] = 0 ∈ [1,1]:FALSE) ∨ (x[40] = 0 ∈ [1,1]:FALSE) ∨ (x[41] = 0 ∈ [1,1]:FALSE) ∨ (x[42] = 0 ∈ [1,1]:FALSE) ∨ (x[43] = 0 ∈ [1,1]:FALSE) ∨ (x[44] = 0 ∈ [1,1]:FALSE) ∨ (x[45] = 0 ∈ [1,1]:FALSE) ∨ (x[46] = 1 ∈ [0,0]:FALSE) ∨ (x[47] = 0 ∈ [1,1]:FALSE) ∨ (x[48] = 0 ∈ [1,1]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [0,1165]:FALSE) ∨ (x[3] = 0 ∈ [1,1]:FALSE)
2.49/0.88		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.49/0.88		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.49/0.88		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.49/0.88		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.49/0.88		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.49/0.88	Caused by: org.chocosolver.solver.exception.SolverException: Learn a satisfied signed clause: #1134 : ?TRUE : (x[20] = 1 ∈ [1,1]:TRUE) ∨ (x[0] = 0 ∈ [1,1]:FALSE) ∨ (x[4] = 1 ∈ [0,0]:FALSE) ∨ (x[6] = 0 ∈ [1,1]:FALSE) ∨ (x[10] = 0 ∈ [1,1]:FALSE) ∨ (x[11] = 0 ∈ [1,1]:FALSE) ∨ (x[12] = 1 ∈ [0,0]:FALSE) ∨ (x[13] = 0 ∈ [1,1]:FALSE) ∨ (x[14] = 0 ∈ [1,1]:FALSE) ∨ (x[15] = 0 ∈ [1,1]:FALSE) ∨ (x[16] = 0 ∈ [1,1]:FALSE) ∨ (x[17] = 1 ∈ [0,0]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [1284,2815]:FALSE) ∨ (x[21] = 0 ∈ [1,1]:FALSE) ∨ (x[23] = 0 ∈ [1,1]:FALSE) ∨ (x[24] = 0 ∈ [1,1]:FALSE) ∨ (x[25] = 0 ∈ [1,1]:FALSE) ∨ (x[27] = 0 ∈ [1,1]:FALSE) ∨ (x[28] = 0 ∈ [1,1]:FALSE) ∨ (x[31] = 0 ∈ [1,1]:FALSE) ∨ (x[34] = 0 ∈ [1,1]:FALSE) ∨ (x[35] = 0 ∈ [1,1]:FALSE) ∨ (x[36] = 0 ∈ [1,1]:FALSE) ∨ (x[37] = 0 ∈ [1,1]:FALSE) ∨ (x[38] = 0 ∈ [1,1]:FALSE) ∨ (x[39] = 0 ∈ [1,1]:FALSE) ∨ (x[40] = 0 ∈ [1,1]:FALSE) ∨ (x[41] = 0 ∈ [1,1]:FALSE) ∨ (x[42] = 0 ∈ [1,1]:FALSE) ∨ (x[43] = 0 ∈ [1,1]:FALSE) ∨ (x[44] = 0 ∈ [1,1]:FALSE) ∨ (x[45] = 0 ∈ [1,1]:FALSE) ∨ (x[46] = 1 ∈ [0,0]:FALSE) ∨ (x[47] = 0 ∈ [1,1]:FALSE) ∨ (x[48] = 0 ∈ [1,1]:FALSE) ∨ (SCALAR = [1167,1271] ∈ [0,1165]:FALSE) ∨ (x[3] = 0 ∈ [1,1]:FALSE)
2.49/0.88		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:185)
2.49/0.88		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.49/0.88		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.49/0.88		at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.49/0.88		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.49/0.88		at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.49/0.88		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.49/0.88		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.49/0.88		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.49/0.88		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.49/0.88		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.49/0.88		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.49/0.88		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.49/0.88		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.49/0.88		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.49/0.88		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.49/0.88	o 1187 
2.49/0.88	o 1189 
3.17/0.90	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (30/32)
3.17/0.90		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
3.17/0.90		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
3.17/0.90		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
3.17/0.90		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
3.17/0.90		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
3.17/0.90	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (30/32)
3.17/0.90		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
3.17/0.90		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
3.17/0.90		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
3.17/0.90		at org.chocosolver.solver.Solver.repair(Solver.java:443)
3.17/0.90		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
3.17/0.90		at org.chocosolver.solver.Solver.solve(Solver.java:262)
3.17/0.90		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
3.17/0.90		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
3.17/0.90		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
3.17/0.90		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
3.17/0.90		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
3.17/0.90		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
3.17/0.90		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
3.17/0.90		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
3.17/0.90		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
3.17/0.90		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
3.17/0.90	o 1221 
3.17/0.95	o 1228 
3.17/1.00	o 1257 
4.01/1.06	o 1286 
4.75/1.15	o 1290 
4.75/1.15	o 1296 
4.75/1.15	o 1350 
4.75/1.15	o 1352 
4.75/1.15	o 1363 
4.75/1.15	o 1366 
4.75/1.15	o 1382 
4.75/1.17	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/35)
4.75/1.17		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.75/1.17		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.75/1.17		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.75/1.17		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.75/1.17		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.75/1.17	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (31/35)
4.75/1.17		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.75/1.17		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.75/1.17		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.75/1.17		at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.75/1.17		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.75/1.17		at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.75/1.17		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.75/1.17		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.75/1.17		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.75/1.17		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.75/1.17		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.75/1.17		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.75/1.17		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.75/1.17		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.75/1.17		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.75/1.17		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.75/1.17	o 1383 
16.29/3.24	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.24		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.24		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.24		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.24		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.24	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.24		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.24		at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.24		at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.24		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.24		at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.24		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.24		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.24		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.24		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.24		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.24		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.24		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.24		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.24		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.24		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.24	o 1385 
16.29/3.24	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.24		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.24		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.24		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.24		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.24		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.24	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.25		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.25		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.25		at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.25		at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.25		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.25		at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.25		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.25		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.25		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.25		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.25		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.25		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.25		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.25		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.25		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.25		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.25	o 1389 
16.29/3.26	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.26		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.29/3.26		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
16.29/3.26		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
16.29/3.26		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
16.29/3.26		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
16.29/3.26	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
16.29/3.26		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
16.29/3.26		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
16.29/3.26		at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
16.29/3.26		at org.chocosolver.solver.Solver.extend(Solver.java:421)
16.29/3.26		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
16.29/3.26		at org.chocosolver.solver.Solver.solve(Solver.java:262)
16.29/3.26		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
16.29/3.26		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.29/3.26		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.29/3.26		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.29/3.26		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.29/3.26		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.29/3.26		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.29/3.26		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.29/3.26		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.29/3.26		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.29/3.26	o 1421 
16.29/3.27	o 1425 
98.16/19.45	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
98.16/19.45		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
98.16/19.45		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
98.16/19.45		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
98.16/19.45		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
98.16/19.45		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
98.16/19.45	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
98.16/19.45		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
98.16/19.45		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
98.16/19.45		at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
98.16/19.45		at org.chocosolver.solver.Solver.extend(Solver.java:421)
98.16/19.45		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
98.16/19.45		at org.chocosolver.solver.Solver.solve(Solver.java:262)
98.16/19.45		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
98.16/19.45		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
98.16/19.45		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
98.16/19.45		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
98.16/19.45		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
98.16/19.45		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
98.16/19.45		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
98.16/19.45		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
98.16/19.45		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
98.16/19.45		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
98.16/19.45	o 1427 
127.12/23.33	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
127.12/23.33		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
127.12/23.33		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
127.12/23.33		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
127.12/23.33		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
127.12/23.33		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
127.12/23.33	Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
127.12/23.33		at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
127.12/23.33		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
127.12/23.33		at org.chocosolver.solver.search.loop.move.MoveLNS.extend(MoveLNS.java:152)
127.12/23.33		at org.chocosolver.solver.Solver.extend(Solver.java:421)
127.12/23.33		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
127.12/23.33		at org.chocosolver.solver.Solver.solve(Solver.java:262)
127.12/23.33		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
127.12/23.33		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
127.12/23.33		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
127.12/23.33		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
127.12/23.33		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
127.12/23.33		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
127.12/23.33		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
127.12/23.33		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
127.12/23.33		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
127.12/23.33		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
127.12/23.33	s OPTIMUM FOUND
127.12/23.33	v <instantiation>
127.12/23.33	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
127.12/23.33	v 	<values>0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 </values>
127.12/23.33	v </instantiation>

Verifier Data

OK	1427

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393969-1568433908/watcher-4393969-1568433908 -o /tmp/evaluation-result-4393969-1568433908/solver-4393969-1568433908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2035463424 HOME/instance-4393969-1568433908.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=27409, runsolver pid=27406
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 4.45 5.32 4.13 2/213 27432
/proc/meminfo: memFree=30910468/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28227388 memory=28788 CPUtime=0.12 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 419332770 28904845312 7197 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7056847 7197 3118 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 3600 0 0 0 8 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207916151680 140207895995742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28227388 memory=140008016742016 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 7197 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) R 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) R 27409 27409 15751 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206167202160 140207911936602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28904845312 7197 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30240 KiB

[startup+0.210588 s]*
/proc/loadavg: 4.45 5.32 4.13 4/213 27432
/proc/meminfo: memFree=30897588/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28227388 memory=40824 CPUtime=0.34 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 9497 0 0 0 31 3 0 0 20 0 20 0 419332770 28904845312 10206 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7056847 10206 3244 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207916149352 140207911927190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28227388 memory=140008019707901 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28904845312 10206 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) R 27409 27409 15751 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206167201968 140207889907181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28904845312 10206 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42276 KiB

[startup+0.310441 s]*
/proc/loadavg: 4.45 5.32 4.13 4/213 27432
/proc/meminfo: memFree=30889940/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28231644 memory=50244 CPUtime=0.53 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 10911 0 0 0 49 4 0 0 20 0 20 0 419332770 28909203456 12561 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7057911 12561 3352 1 0 7019032 0
[pid=27411/tid=27412] ppid=27409 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) R 27409 27409 15751 0 -1 4202560 7787 0 0 0 27 3 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207916149232 140207911937181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28231644 memory=140007880878767 CPUtime=0 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28231644 memory=140007880881072 CPUtime=0 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28231644 memory=140007880883376 CPUtime=0 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332771 28909203456 12561 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419332773 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28231644 memory=280015761780624 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419332773 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206173517216 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28231644 memory=280015761778320 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419332774 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206172464624 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28231644 memory=280015761785232 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28231644 memory=280015761726512 CPUtime=0.03 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 641 0 0 0 3 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28231644 memory=280015761799056 CPUtime=0.02 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28231644 memory=280015761805968 CPUtime=0.03 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) R 27409 27409 15751 0 -1 4202560 158 0 0 0 3 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206168235720 140207897040647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28231644 memory=280015761803664 CPUtime=0.12 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419332776 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419332777 28909203456 12561 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51696 KiB

[startup+0.700974 s]
/proc/loadavg: 4.45 5.32 4.13 7/221 27440
/proc/meminfo: memFree=30857284/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28767308 memory=189088 CPUtime=1.94 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 18466 0 0 0 183 11 0 0 20 0 27 0 419332770 29457723392 47272 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7191827 47272 3479 1 0 7152929 0
[pid=27411/tid=27412] ppid=27409 vsize=28767308 memory=0 CPUtime=0.48 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9131 0 0 0 44 4 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28767308 memory=140007881089904 CPUtime=0 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) R 27409 27409 15751 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207868467984 140207905021801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28767308 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) R 27409 27409 15751 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207867415440 140207905015102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28767308 memory=0 CPUtime=0 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) R 27409 27409 15751 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 419332771 29457723392 47272 33554432000 4194304 4196468 140726305006576 140207866362896 140207896943147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0

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

[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=0 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5323 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=6935649255794500672 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=6081102367496431977 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=8751464017575753784 CPUtime=3.23 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 323 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206151679264 140207551700929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=0 CPUtime=3.07 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 307 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206153786296 140207554781647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=0 CPUtime=3.23 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 323 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206149573416 140207554439038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=0 CPUtime=3.04 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 49 0 0 0 304 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206155890384 140207551704913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=0 CPUtime=3.19 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 4202560 92 0 0 0 319 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206152732496 140207553170562 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1552 CPUtime=3.21 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 321 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206148521936 140207552578221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=1040 CPUtime=3.12 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 312 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206150627408 140207553056438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=4136 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 295119 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 123.47 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1181928 KiB

[startup+23.2064 s]
/proc/loadavg: 5.27 5.46 4.21 9/220 27959
/proc/meminfo: memFree=29757620/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28834892 memory=1180584 CPUtime=126.42 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 68036 0 0 0 12569 73 0 0 20 0 28 0 419332770 29526929408 295146 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7208723 295146 3525 1 0 7169825 0
[pid=27411/tid=27412] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.5 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9500 0 0 0 46 4 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28834892 memory=1140212 CPUtime=0.05 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 275 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 581 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28834892 memory=7017846614935562855 CPUtime=0.04 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 476 0 0 0 3 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28834892 memory=7234030490512353113 CPUtime=0.06 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 599 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28834892 memory=3472468303301059985 CPUtime=0.05 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 509 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28834892 memory=7649399397150177074 CPUtime=0.03 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 197 0 0 0 2 1 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28834892 memory=740 CPUtime=0.06 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 424 0 0 0 4 2 0 0 20 0 28 0 419332771 29526929408 295146 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28834892 memory=1056 CPUtime=0.03 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2273 0 0 0 2 1 0 0 20 0 28 0 419332773 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28834892 memory=1552 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419332773 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206173517280 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28834892 memory=1040 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419332774 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206172464640 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28834892 memory=4136 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28834892 memory=780 CPUtime=2.49 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 10278 0 0 0 248 1 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28834892 memory=2832 CPUtime=1.95 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 9322 0 0 0 192 3 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28834892 memory=1720 CPUtime=2.14 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 7663 0 0 0 211 3 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=1200 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5328 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=2120 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=500 CPUtime=3.62 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 362 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206151679264 140207554781796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=1556 CPUtime=3.47 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 347 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206153786176 140207553222245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=924 CPUtime=3.63 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 363 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206149570664 140207554439703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=1672 CPUtime=3.45 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 49 0 0 0 345 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206155890480 140207551056396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=796 CPUtime=3.59 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 4202560 92 0 0 0 359 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206152732496 140207553831169 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1436 CPUtime=3.62 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 362 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206148521936 140207551699932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=1984 CPUtime=3.52 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 352 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206150627504 140207551700903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=2424 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 295146 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 126.42 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1182036 KiB

[startup+23.3091 s]
/proc/loadavg: 5.27 5.46 4.21 9/220 27959
/proc/meminfo: memFree=29757620/32770624 swapFree=66947792/67108860
[pid=27409] ppid=27406 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/27409/stat : 27409 (xcsp3-exec) S 27406 27409 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419332770 115843072 363 33554432000 4194304 5098028 140735850590784 140735850588888 140314228961916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12857344 140735850595189 140735850595433 140735850595433 140735850598346 0
/proc/27409/statm: 28282 363 304 221 0 87 0
[pid=27411] ppid=27409 vsize=28834892 memory=1189792 CPUtime=127.12 cores=0-7
/proc/27411/stat : 27411 (java) S 27409 27409 15751 0 -1 1077944320 68094 0 0 0 12638 74 0 0 20 0 28 0 419332770 29526929408 297448 33554432000 4194304 4196468 140726305006576 140726304989120 140207911915255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
/proc/27411/statm: 7208723 297448 3525 1 0 7169825 0
[pid=27411/tid=27412] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.5 cores=0-7
/proc/27411/task/27412/stat : 27412 (java) S 27409 27409 15751 0 -1 1077944384 9500 0 0 0 46 4 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207916156032 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27413] ppid=27409 vsize=28834892 memory=1764 CPUtime=0.06 cores=0-7
/proc/27411/task/27413/stat : 27413 (java) S 27409 27409 15751 0 -1 1077944384 275 0 0 0 5 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207868467984 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27414] ppid=27409 vsize=28834892 memory=1452 CPUtime=0.07 cores=0-7
/proc/27411/task/27414/stat : 27414 (java) S 27409 27409 15751 0 -1 1077944384 587 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207867415440 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27415] ppid=27409 vsize=28834892 memory=1159704 CPUtime=0.05 cores=0-7
/proc/27411/task/27415/stat : 27415 (java) S 27409 27409 15751 0 -1 1077944384 149 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207866362896 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27416] ppid=27409 vsize=28834892 memory=4255 CPUtime=0.05 cores=0-7
/proc/27411/task/27416/stat : 27416 (java) S 27409 27409 15751 0 -1 1077944384 487 0 0 0 4 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207460572304 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27417] ppid=27409 vsize=28834892 memory=364 CPUtime=0.07 cores=0-7
/proc/27411/task/27417/stat : 27417 (java) S 27409 27409 15751 0 -1 1077944384 610 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207459518736 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27418] ppid=27409 vsize=28834892 memory=11624 CPUtime=0.07 cores=0-7
/proc/27411/task/27418/stat : 27418 (java) S 27409 27409 15751 0 -1 1077944384 518 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207458466192 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27419] ppid=27409 vsize=28834892 memory=740 CPUtime=0.03 cores=0-7
/proc/27411/task/27419/stat : 27419 (java) S 27409 27409 15751 0 -1 1077944384 197 0 0 0 2 1 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207457413648 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27420] ppid=27409 vsize=28834892 memory=240 CPUtime=0.07 cores=0-7
/proc/27411/task/27420/stat : 27420 (java) S 27409 27409 15751 0 -1 1077944384 433 0 0 0 5 2 0 0 20 0 28 0 419332771 29526929408 297448 33554432000 4194304 4196468 140726305006576 140207456361104 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27421] ppid=27409 vsize=28834892 memory=255 CPUtime=0.03 cores=0-7
/proc/27411/task/27421/stat : 27421 (java) S 27409 27409 15751 0 -1 1077944384 2273 0 0 0 2 1 0 0 20 0 28 0 419332773 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206174570992 140207911926402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27422] ppid=27409 vsize=28834892 memory=2308 CPUtime=0 cores=0-7
/proc/27411/task/27422/stat : 27422 (java) S 27409 27409 15751 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 419332773 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206173517280 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27423] ppid=27409 vsize=28834892 memory=4516 CPUtime=0 cores=0-7
/proc/27411/task/27423/stat : 27423 (java) S 27409 27409 15751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419332774 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206172464640 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27426] ppid=27409 vsize=28834892 memory=1140144 CPUtime=0 cores=0-7
/proc/27411/task/27426/stat : 27426 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206171413200 140207911933851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27427] ppid=27409 vsize=28834892 memory=3080230 CPUtime=2.49 cores=0-7
/proc/27411/task/27427/stat : 27427 (java) S 27409 27409 15751 0 -1 1077944384 10278 0 0 0 248 1 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206170359792 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27428] ppid=27409 vsize=28834892 memory=240131621575268 CPUtime=1.95 cores=0-7
/proc/27411/task/27428/stat : 27428 (java) S 27409 27409 15751 0 -1 1077944384 9322 0 0 0 192 3 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206169307248 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27429] ppid=27409 vsize=28834892 memory=6440518459660199778 CPUtime=2.14 cores=0-7
/proc/27411/task/27429/stat : 27429 (java) S 27409 27409 15751 0 -1 1077944384 7663 0 0 0 211 3 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206168254704 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27430] ppid=27409 vsize=28834892 memory=56 CPUtime=0.81 cores=0-7
/proc/27411/task/27430/stat : 27430 (java) S 27409 27409 15751 0 -1 1077944384 5328 0 0 0 80 1 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206167202160 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27431] ppid=27409 vsize=28834892 memory=7682475212697334576 CPUtime=0 cores=0-7
/proc/27411/task/27431/stat : 27431 (java) S 27409 27409 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419332776 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206166149856 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27432] ppid=27409 vsize=28834892 memory=6944656425123422800 CPUtime=0 cores=0-7
/proc/27411/task/27432/stat : 27432 (java) S 27409 27409 15751 0 -1 1077944384 1108 0 0 0 0 0 0 0 20 0 28 0 419332777 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206165097392 140207911926402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27952] ppid=27409 vsize=28834892 memory=1140212 CPUtime=3.71 cores=0-7
/proc/27411/task/27952/stat : 27952 (java) R 27409 27409 15751 0 -1 4202560 58 0 0 0 371 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206151675760 140207547586942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27953] ppid=27409 vsize=28834892 memory=1720 CPUtime=3.56 cores=0-7
/proc/27411/task/27953/stat : 27953 (java) R 27409 27409 15751 0 -1 4202560 25 0 0 0 356 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206153785808 140207551788196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27954] ppid=27409 vsize=28834892 memory=1200 CPUtime=3.72 cores=0-7
/proc/27411/task/27954/stat : 27954 (java) R 27409 27409 15751 0 -1 4202560 733 0 0 0 372 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206149571360 140207554439116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27955] ppid=27409 vsize=28834892 memory=5964 CPUtime=3.54 cores=0-7
/proc/27411/task/27955/stat : 27955 (java) R 27409 27409 15751 0 -1 4202560 50 0 0 0 354 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206155889376 140207551700975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27956] ppid=27409 vsize=28834892 memory=1452 CPUtime=3.68 cores=0-7
/proc/27411/task/27956/stat : 27956 (java) R 27409 27409 15751 0 -1 1077944384 92 0 0 0 368 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206152732496 140207911926402 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27957] ppid=27409 vsize=28834892 memory=1139220 CPUtime=3.7 cores=0-7
/proc/27411/task/27957/stat : 27957 (java) R 27409 27409 15751 0 -1 4202560 93 0 0 0 370 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206148518304 140207553171593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27958] ppid=27409 vsize=28834892 memory=597 CPUtime=3.61 cores=0-7
/proc/27411/task/27958/stat : 27958 (java) R 27409 27409 15751 0 -1 4202560 35 0 0 0 361 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206150627504 140207553170562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
[pid=27411/tid=27959] ppid=27409 vsize=28834892 memory=1452 CPUtime=0 cores=0-7
/proc/27411/task/27959/stat : 27959 (java) S 27409 27409 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419334715 29526929408 297448 33554432000 4194304 4196468 140726305006576 140206154839376 140207911925461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20328448 140726305010666 140726305010838 140726305010838 140726305013711 0
Current children cumulated CPU time: 127.12 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 1191244 KiB

Child status: 0
Real time (s): 23.3517
CPU time (s): 127.327
CPU user time (s): 126.566
CPU system time (s): 0.761158
CPU usage (%): 545.259
Max. virtual memory (cumulated for all children) (KiB): 28949816
Max. memory (cumulated for all children) (KiB): 1191244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.566
system time used= 0.761158
maximum resident set size= 1192872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10540
involuntary context switches= 883


# summary of solver processes directly reported to runsolver:
#   pid: 27409
#   total CPU time (s): 127.327
#   total CPU user time (s): 126.566
#   total CPU system time (s): 0.761158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21466 second user time and 0.312612 second system time

The end

Launcher Data

Begin job on node117 at 2019-09-14 06:04:26
IDJOB=4393969
IDBENCH=133450
IDSOLVER=2841
FILE ID=node117/4393969-1568433908
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-13.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-4393969-1568433908/watcher-4393969-1568433908 -o /tmp/evaluation-result-4393969-1568433908/solver-4393969-1568433908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2035463424 HOME/instance-4393969-1568433908.xml

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

MD5SUM BENCH= e9c019b34e7441e843704d2f83648de8
RANDOM SEED=2035463424

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30927476 kB
MemAvailable:   31863556 kB
Buffers:          149056 kB
Cached:          1053828 kB
SwapCached:        51712 kB
Active:           776572 kB
Inactive:         480328 kB
Active(anon):      19472 kB
Inactive(anon):    59356 kB
Active(file):     757100 kB
Inactive(file):   420972 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947792 kB
Dirty:             26328 kB
Writeback:             0 kB
AnonPages:         45448 kB
Mapped:            33576 kB
Shmem:             15712 kB
Slab:             176236 kB
SReclaimable:     147684 kB
SUnreclaim:        28552 kB
KernelStack:        3888 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61160 MiB
End job on node117 at 2019-09-14 06:04:49