Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 parallel | OPT | 43 | 3646.98 | 472.467 |
| Name | StillLife/StillLife-m1-s1/ StillLife-05-15.xml |
| MD5SUM | 194a9771da43b175c5c48a6f0c769610 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 43 |
| Best CPU time to get the best result obtained on this benchmark | 29.4975 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 150 |
| Number of constraints | 182 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":2,"count":75},{"size":9,"count":75}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":2,"count":75},{"degree":7,"count":4},{"degree":8,"count":32},{"degree":10,"count":39}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":75},{"arity":3,"count":32},{"arity":4,"count":4},{"arity":6,"count":32},{"arity":9,"count":39}] |
| Number of extensional constraints | 107 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":107},{"type":"sum","count":75}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393923-1568419017.xml" -tl '20160s' -p 8 0.09/0.20 c Choco e747e1e 0.09/0.20 c [HOME/instance-4393923-1568419017.xml, -tl, 20160s, -p, 8] 0.29/0.24 c 8 solvers in parallel 0.29/0.30 c parse instance... 1.57/0.77 c solve instance... 2.00/0.82 o 0 2.00/0.86 o 4 2.00/0.86 o 4 2.00/0.87 o 5 2.00/0.88 o 6 2.00/0.90 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (67/69) 2.00/0.90 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2.00/0.90 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2.00/0.90 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2.00/0.90 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2.00/0.90 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2.00/0.90 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (67/69) 2.00/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 2.00/0.90 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 2.00/0.90 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 2.00/0.90 at org.chocosolver.solver.Solver.repair(Solver.java:443) 2.00/0.90 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 2.00/0.90 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2.00/0.90 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2.00/0.90 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2.00/0.90 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2.00/0.90 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2.00/0.90 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2.00/0.90 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2.00/0.90 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2.00/0.90 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2.00/0.90 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2.00/0.90 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2.00/0.90 o 8 2.59/0.90 o 9 2.59/0.90 o 10 2.59/0.90 o 11 2.59/0.91 o 12 2.59/0.91 o 13 2.59/0.92 o 17 2.59/0.92 o 18 2.59/0.93 o 19 2.59/0.96 o 20 2.59/0.97 o 21 2.59/0.99 o 32 2.59/1.00 o 35 3.29/1.09 o 36 4.06/1.12 o 37 4.06/1.16 o 38 10.20/1.94 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/47) 10.20/1.94 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 10.20/1.94 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 10.20/1.94 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 10.20/1.94 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 10.20/1.94 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 10.20/1.94 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/47) 10.20/1.94 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 10.20/1.94 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 10.20/1.94 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 10.20/1.94 at org.chocosolver.solver.Solver.repair(Solver.java:443) 10.20/1.94 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 10.20/1.94 at org.chocosolver.solver.Solver.solve(Solver.java:262) 10.20/1.94 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 10.20/1.94 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 10.20/1.94 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 10.20/1.94 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 10.20/1.94 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 10.20/1.94 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 10.20/1.94 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 10.20/1.94 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 10.20/1.94 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 10.20/1.94 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 10.20/1.94 o 39 10.20/1.97 o 40 13.29/2.36 o 41 148.11/19.36 o 42 355.54/49.05 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (94/96) 355.54/49.05 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 355.54/49.05 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 355.54/49.05 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 355.54/49.05 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 355.54/49.05 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 355.54/49.05 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (94/96) 355.54/49.05 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 355.54/49.05 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 355.54/49.05 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 355.54/49.05 at org.chocosolver.solver.Solver.repair(Solver.java:443) 355.54/49.05 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 355.54/49.05 at org.chocosolver.solver.Solver.solve(Solver.java:262) 355.54/49.05 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 355.54/49.05 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 355.54/49.05 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 355.54/49.05 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 355.54/49.05 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 355.54/49.05 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 355.54/49.05 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 355.54/49.05 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 355.54/49.05 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 355.54/49.05 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 355.54/49.05 o 43 3646.89/472.43 s OPTIMUM FOUND 3646.89/472.43 v <instantiation> 3646.89/472.43 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] </list> 3646.89/472.43 v <values>1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 3 3 4 2 3 4 3 4 3 2 4 2 3 4 2 3 3 5 3 5 3 3 3 5 3 6 3 5 3 2 4 4 5 2 5 4 6 4 5 2 6 2 5 4 4 3 3 5 3 5 3 3 3 5 3 6 3 5 3 2 3 3 4 2 3 4 3 4 3 2 4 2 3 4 2 </values> 3646.89/472.43 v </instantiation>
OK 43
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 (14747 MiB free)
memory of node 1: 16384 MiB (15171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393923-1568419017/watcher-4393923-1568419017 -o /tmp/evaluation-result-4393923-1568419017/solver-4393923-1568419017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 289336931 HOME/instance-4393923-1568419017.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14510, runsolver pid=14507
[startup+0.100122 s]*
/proc/loadavg: 8.15 7.13 4.91 2/210 14531
/proc/meminfo: memFree=30620308/32770624 swapFree=66997532/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28227388 memory=27884 CPUtime=0.09 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 5401 0 0 0 8 1 0 0 20 0 20 0 418156354 28904845312 6971 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7056847 6971 3022 1 0 7019032 0
[pid=14512/tid=14513] ppid=14510 vsize=28227388 memory=576460756329955445 CPUtime=0.07 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) R 14510 14510 12749 0 -1 4202560 3540 0 0 0 6 1 0 0 20 0 20 0 418156354 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092103545856 140092099343517 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28227388 memory=288370204235720320 CPUtime=0 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14517] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14517/stat : 14517 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092048784144 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14518] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14518/stat : 14518 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092047731344 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14519] ppid=14510 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14519/stat : 14519 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092046678544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14520] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14520/stat : 14520 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092045625744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14521] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14521/stat : 14521 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 6971 33554432000 4194304 4196468 140730337156752 140092044572944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14522] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14522/stat : 14522 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091416578928 140092099332738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14523] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14523/stat : 14523 (java) S 14510 14510 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091415524896 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14524] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14524/stat : 14524 (java) S 14510 14510 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091414472048 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14525] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14525/stat : 14525 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156360 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091413420368 140092099340187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14526] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14526/stat : 14526 (java) S 14510 14510 12749 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091412367728 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14527] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14527/stat : 14527 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091411314928 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14528] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14528/stat : 14528 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091410262128 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14529] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) R 14510 14510 12749 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091409209328 140092079648416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156363 28904845312 6971 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 29336 KiB
[startup+0.210329 s]*
/proc/loadavg: 8.15 7.13 4.91 3/210 14531
/proc/meminfo: memFree=30607112/32770624 swapFree=66997532/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28227388 memory=40684 CPUtime=0.29 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 9427 0 0 0 27 2 0 0 20 0 20 0 418156354 28904845312 10171 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7056847 10171 3267 1 0 7019032 0
[pid=14512/tid=14513] ppid=14510 vsize=28227388 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) R 14510 14510 12749 0 -1 4202560 6562 0 0 0 16 2 0 0 20 0 20 0 418156354 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092103561712 140092083402078 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28227388 memory=139828084021622 CPUtime=0 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14517] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14517/stat : 14517 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092048784144 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14518] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14518/stat : 14518 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092047731344 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14519] ppid=14510 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14519/stat : 14519 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092046678544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14520] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14520/stat : 14520 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092045625744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14521] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14521/stat : 14521 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28904845312 10171 33554432000 4194304 4196468 140730337156752 140092044572944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14522] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14522/stat : 14522 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091416578928 140092099332738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14523] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14523/stat : 14523 (java) S 14510 14510 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091415524896 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14524] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14524/stat : 14524 (java) S 14510 14510 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418156357 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091414472048 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14525] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14525/stat : 14525 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156360 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091413420368 140092099340187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14526] ppid=14510 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14512/task/14526/stat : 14526 (java) S 14510 14510 12749 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 418156362 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091412367728 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14527] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14527/stat : 14527 (java) S 14510 14510 12749 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091411314928 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14528] ppid=14510 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/14512/task/14528/stat : 14528 (java) S 14510 14510 12749 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 418156362 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091410262128 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14529] ppid=14510 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) S 14510 14510 12749 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 418156362 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091409209328 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156362 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156363 28904845312 10171 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42136 KiB
[startup+0.30991 s]*
/proc/loadavg: 8.15 7.13 4.91 2/210 14531
/proc/meminfo: memFree=30601900/32770624 swapFree=66997532/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28231644 memory=46756 CPUtime=0.47 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 10601 0 0 0 44 3 0 0 20 0 20 0 418156354 28909203456 11689 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7057911 11689 3291 1 0 7019032 0
[pid=14512/tid=14513] ppid=14510 vsize=28231644 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) R 14510 14510 12749 0 -1 4202560 7625 0 0 0 25 2 0 0 20 0 20 0 418156354 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092103553968 140092099333526 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14517] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14517/stat : 14517 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092048784144 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14518] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14518/stat : 14518 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092047731344 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14519] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14519/stat : 14519 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092046678544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14520] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14520/stat : 14520 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092045625744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14521] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14521/stat : 14521 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28909203456 11689 33554432000 4194304 4196468 140730337156752 140092044572944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14522] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14522/stat : 14522 (java) S 14510 14510 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418156357 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091416578928 140092099332738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14523] ppid=14510 vsize=28231644 memory=279655924047232 CPUtime=0 cores=0-7
/proc/14512/task/14523/stat : 14523 (java) S 14510 14510 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418156357 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091415524896 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14524] ppid=14510 vsize=28231644 memory=279655924051840 CPUtime=0 cores=0-7
/proc/14512/task/14524/stat : 14524 (java) S 14510 14510 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418156357 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091414472048 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14525] ppid=14510 vsize=28231644 memory=279655924056448 CPUtime=0 cores=0-7
/proc/14512/task/14525/stat : 14525 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156360 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091413420368 140092099340187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14526] ppid=14510 vsize=28231644 memory=279655924061056 CPUtime=0.03 cores=0-7
/proc/14512/task/14526/stat : 14526 (java) S 14510 14510 12749 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 20 0 418156362 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091412367728 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14527] ppid=14510 vsize=28231644 memory=279655924065664 CPUtime=0.01 cores=0-7
/proc/14512/task/14527/stat : 14527 (java) S 14510 14510 12749 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 418156362 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091411314928 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14528] ppid=14510 vsize=28231644 memory=279655924070272 CPUtime=0.02 cores=0-7
/proc/14512/task/14528/stat : 14528 (java) S 14510 14510 12749 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 418156362 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091410262128 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14529] ppid=14510 vsize=28231644 memory=279655924074880 CPUtime=0.11 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) R 14510 14510 12749 0 -1 4202560 826 0 0 0 11 0 0 0 20 0 20 0 418156362 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091409207344 140092099342938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156362 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156363 28909203456 11689 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48208 KiB
[startup+0.700959 s]
/proc/loadavg: 8.15 7.13 4.91 4/210 14531
/proc/meminfo: memFree=30592528/32770624 swapFree=66997532/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28233768 memory=88544 CPUtime=1.57 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 15912 0 0 0 152 5 0 0 20 0 20 0 418156354 28911378432 22136 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7058442 22136 3453 1 0 7019544 0
[pid=14512/tid=14513] ppid=14510 vsize=28233768 memory=4580 CPUtime=0.65 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) R 14510 14510 12749 0 -1 4202560 9155 0 0 0 62 3 0 0 20 0 20 0 418156354 28911378432 22136 33554432000 4194304 4196468 140730337156752 140092103559824 140091720725121 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418156355 28911378432 22136 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418156355 28911378432 22136 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418156355 28911378432 22136 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
################
# More data... #
################
[pid=14512/tid=14529] ppid=14510 vsize=28769356 memory=5924 CPUtime=1.08 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) S 14510 14510 12749 0 -1 1077944384 21855 0 0 0 105 3 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091409209328 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28769356 memory=14012 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28769356 memory=2116 CPUtime=0.15 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 2838 0 0 0 7 8 0 0 20 0 28 0 418156363 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14743] ppid=14510 vsize=28769356 memory=10392 CPUtime=406.59 cores=0-7
/proc/14512/task/14743/stat : 14743 (java) S 14510 14510 12749 0 -1 1077944384 9974 0 0 0 40649 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091394977712 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14744] ppid=14510 vsize=28769356 memory=12024 CPUtime=407.63 cores=0-7
/proc/14512/task/14744/stat : 14744 (java) S 14510 14510 12749 0 -1 1077944384 9043 0 0 0 40750 13 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091392873616 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14745] ppid=14510 vsize=28769356 memory=1556 CPUtime=406.9 cores=0-7
/proc/14512/task/14745/stat : 14745 (java) S 14510 14510 12749 0 -1 1077944384 30084 0 0 0 40653 37 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091398136848 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14746] ppid=14510 vsize=28769356 memory=500 CPUtime=406.64 cores=0-7
/proc/14512/task/14746/stat : 14746 (java) S 14510 14510 12749 0 -1 1077944384 69552 0 0 0 40554 110 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091391820688 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14747] ppid=14510 vsize=28769356 memory=928 CPUtime=417.09 cores=0-7
/proc/14512/task/14747/stat : 14747 (java) R 14510 14510 12749 0 -1 4202560 34243 0 0 0 41677 32 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091387612816 140091724188835 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14748] ppid=14510 vsize=28769356 memory=1528 CPUtime=405.71 cores=0-7
/proc/14512/task/14748/stat : 14748 (java) S 14510 14510 12749 0 -1 1077944384 42543 0 0 0 40520 51 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091396031120 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14749] ppid=14510 vsize=28769356 memory=8317482817917895235 CPUtime=407.09 cores=0-7
/proc/14512/task/14749/stat : 14749 (java) S 14510 14510 12749 0 -1 1077944384 9117 0 0 0 40699 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091390768656 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14750] ppid=14510 vsize=28769356 memory=8317482817917895235 CPUtime=406.45 cores=0-7
/proc/14512/task/14750/stat : 14750 (java) S 14510 14510 12749 0 -1 1077944384 95554 0 0 0 40494 151 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091397084560 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 3645.69 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 4648880 KiB
[startup+472.001 s]*
/proc/loadavg: 6.94 7.74 6.17 2/220 14812
/proc/meminfo: memFree=25993736/32770624 swapFree=66997544/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3646.5 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 560613 0 0 0 363951 699 0 0 20 0 28 0 418156354 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7192339 1161857 3551 1 0 7153441 0
[pid=14512/tid=14513] ppid=14510 vsize=28769356 memory=1448 CPUtime=0.77 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) S 14510 14510 12749 0 -1 1077944384 9783 0 0 0 73 4 0 0 20 0 28 0 418156354 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092103562368 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28769356 memory=876 CPUtime=3.13 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 10177 0 0 0 286 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28769356 memory=1980 CPUtime=3.1 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 11442 0 0 0 283 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28769356 memory=8317482817917895235 CPUtime=3.1 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 8886 0 0 0 283 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14517] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.11 cores=0-7
/proc/14512/task/14517/stat : 14517 (java) S 14510 14510 12749 0 -1 1077944384 7645 0 0 0 283 28 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092048784144 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14518] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.12 cores=0-7
/proc/14512/task/14518/stat : 14518 (java) S 14510 14510 12749 0 -1 1077944384 8667 0 0 0 286 26 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092047731344 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14519] ppid=14510 vsize=28769356 memory=1556 CPUtime=3.11 cores=0-7
/proc/14512/task/14519/stat : 14519 (java) S 14510 14510 12749 0 -1 1077944384 10086 0 0 0 284 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092046678544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14520] ppid=14510 vsize=28769356 memory=500 CPUtime=3.07 cores=0-7
/proc/14512/task/14520/stat : 14520 (java) S 14510 14510 12749 0 -1 1077944384 7164 0 0 0 281 26 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092045625744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14521] ppid=14510 vsize=28769356 memory=928 CPUtime=3.11 cores=0-7
/proc/14512/task/14521/stat : 14521 (java) S 14510 14510 12749 0 -1 1077944384 10310 0 0 0 284 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092044572944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14522] ppid=14510 vsize=28769356 memory=1528 CPUtime=0.73 cores=0-7
/proc/14512/task/14522/stat : 14522 (java) S 14510 14510 12749 0 -1 1077944384 60408 0 0 0 56 17 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091416578928 140092099332738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14523] ppid=14510 vsize=28769356 memory=1448 CPUtime=0 cores=0-7
/proc/14512/task/14523/stat : 14523 (java) S 14510 14510 12749 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091415524960 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14524] ppid=14510 vsize=28769356 memory=876 CPUtime=0 cores=0-7
/proc/14512/task/14524/stat : 14524 (java) S 14510 14510 12749 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091414472064 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14525] ppid=14510 vsize=28769356 memory=279655925501440 CPUtime=0 cores=0-7
/proc/14512/task/14525/stat : 14525 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418156360 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091413420368 140092099340187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14526] ppid=14510 vsize=28769356 memory=5787213827080217956 CPUtime=2.82 cores=0-7
/proc/14512/task/14526/stat : 14526 (java) S 14510 14510 12749 0 -1 1077944384 34501 0 0 0 276 6 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091412367728 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14527] ppid=14510 vsize=28769356 memory=1452 CPUtime=2.7 cores=0-7
/proc/14512/task/14527/stat : 14527 (java) S 14510 14510 12749 0 -1 1077944384 17689 0 0 0 266 4 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091411314928 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14528] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.01 cores=0-7
/proc/14512/task/14528/stat : 14528 (java) S 14510 14510 12749 0 -1 1077944384 21551 0 0 0 298 3 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091410262128 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14529] ppid=14510 vsize=28769356 memory=8292148131930887879 CPUtime=1.08 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) S 14510 14510 12749 0 -1 1077944384 21855 0 0 0 105 3 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091409209328 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28769356 memory=-2970219127293634922 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28769356 memory=1414353297708861353 CPUtime=0.15 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 2838 0 0 0 7 8 0 0 20 0 28 0 418156363 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14743] ppid=14510 vsize=28769356 memory=0 CPUtime=406.59 cores=0-7
/proc/14512/task/14743/stat : 14743 (java) S 14510 14510 12749 0 -1 1077944384 9974 0 0 0 40649 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091394977712 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14744] ppid=14510 vsize=28769356 memory=0 CPUtime=407.63 cores=0-7
/proc/14512/task/14744/stat : 14744 (java) S 14510 14510 12749 0 -1 1077944384 9043 0 0 0 40750 13 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091392873616 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14745] ppid=14510 vsize=28769356 memory=0 CPUtime=406.9 cores=0-7
/proc/14512/task/14745/stat : 14745 (java) S 14510 14510 12749 0 -1 1077944384 30084 0 0 0 40653 37 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091398136848 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14746] ppid=14510 vsize=28769356 memory=1452 CPUtime=406.64 cores=0-7
/proc/14512/task/14746/stat : 14746 (java) S 14510 14510 12749 0 -1 1077944384 69552 0 0 0 40554 110 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091391820688 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14747] ppid=14510 vsize=28769356 memory=4647428 CPUtime=417.89 cores=0-7
/proc/14512/task/14747/stat : 14747 (java) R 14510 14510 12749 0 -1 4202560 34243 0 0 0 41757 32 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091387612816 140091724188816 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14748] ppid=14510 vsize=28769356 memory=1556 CPUtime=405.71 cores=0-7
/proc/14512/task/14748/stat : 14748 (java) S 14510 14510 12749 0 -1 1077944384 42543 0 0 0 40520 51 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091396031120 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14749] ppid=14510 vsize=28769356 memory=5924 CPUtime=407.09 cores=0-7
/proc/14512/task/14749/stat : 14749 (java) S 14510 14510 12749 0 -1 1077944384 9117 0 0 0 40699 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091390768656 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14750] ppid=14510 vsize=28769356 memory=14012 CPUtime=406.45 cores=0-7
/proc/14512/task/14750/stat : 14750 (java) S 14510 14510 12749 0 -1 1077944384 95554 0 0 0 40494 151 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091397084560 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 3646.5 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 4648880 KiB
[startup+472.401 s]
/proc/loadavg: 6.94 7.74 6.17 2/220 14812
/proc/meminfo: memFree=25993736/32770624 swapFree=66997544/67108860
[pid=14510] ppid=14507 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14510/stat : 14510 (xcsp3-exec) S 14507 14510 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418156354 115843072 363 33554432000 4194304 5098028 140732476780064 140732476778168 140408533750396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32145408 140732476781430 140732476781673 140732476781673 140732476784586 0
/proc/14510/statm: 28282 363 305 221 0 87 0
[pid=14512] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3646.89 cores=0-7
/proc/14512/stat : 14512 (java) S 14510 14510 12749 0 -1 1077944320 560613 0 0 0 363990 699 0 0 20 0 28 0 418156354 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140730337139296 140092099321591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
/proc/14512/statm: 7192339 1161857 3551 1 0 7153441 0
[pid=14512/tid=14513] ppid=14510 vsize=28769356 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/14512/task/14513/stat : 14513 (java) S 14510 14510 12749 0 -1 1077944384 9783 0 0 0 73 4 0 0 20 0 28 0 418156354 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092103562368 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14514] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.13 cores=0-7
/proc/14512/task/14514/stat : 14514 (java) S 14510 14510 12749 0 -1 1077944384 10177 0 0 0 286 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092051942544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14515] ppid=14510 vsize=28769356 memory=7596606704736799290 CPUtime=3.1 cores=0-7
/proc/14512/task/14515/stat : 14515 (java) S 14510 14510 12749 0 -1 1077944384 11442 0 0 0 283 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092050889744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14516] ppid=14510 vsize=28769356 memory=2319692681874586471 CPUtime=3.1 cores=0-7
/proc/14512/task/14516/stat : 14516 (java) S 14510 14510 12749 0 -1 1077944384 8886 0 0 0 283 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092049836944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14517] ppid=14510 vsize=28769356 memory=1452 CPUtime=3.11 cores=0-7
/proc/14512/task/14517/stat : 14517 (java) S 14510 14510 12749 0 -1 1077944384 7645 0 0 0 283 28 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092048784144 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14518] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.12 cores=0-7
/proc/14512/task/14518/stat : 14518 (java) S 14510 14510 12749 0 -1 1077944384 8667 0 0 0 286 26 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092047731344 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14519] ppid=14510 vsize=28769356 memory=4647428 CPUtime=3.11 cores=0-7
/proc/14512/task/14519/stat : 14519 (java) S 14510 14510 12749 0 -1 1077944384 10086 0 0 0 284 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092046678544 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14520] ppid=14510 vsize=28769356 memory=1164 CPUtime=3.07 cores=0-7
/proc/14512/task/14520/stat : 14520 (java) S 14510 14510 12749 0 -1 1077944384 7164 0 0 0 281 26 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092045625744 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14521] ppid=14510 vsize=28769356 memory=8317482817917895235 CPUtime=3.11 cores=0-7
/proc/14512/task/14521/stat : 14521 (java) S 14510 14510 12749 0 -1 1077944384 10310 0 0 0 284 27 0 0 20 0 28 0 418156355 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140092044572944 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14522] ppid=14510 vsize=28769356 memory=14012 CPUtime=0.73 cores=0-7
/proc/14512/task/14522/stat : 14522 (java) S 14510 14510 12749 0 -1 1077944384 60408 0 0 0 56 17 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091416578928 140092099332738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14523] ppid=14510 vsize=28769356 memory=2116 CPUtime=0 cores=0-7
/proc/14512/task/14523/stat : 14523 (java) S 14510 14510 12749 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091415524960 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14524] ppid=14510 vsize=28769356 memory=10392 CPUtime=0 cores=0-7
/proc/14512/task/14524/stat : 14524 (java) S 14510 14510 12749 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 418156357 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091414472064 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14525] ppid=14510 vsize=28769356 memory=12024 CPUtime=0 cores=0-7
/proc/14512/task/14525/stat : 14525 (java) S 14510 14510 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418156360 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091413420368 140092099340187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14526] ppid=14510 vsize=28769356 memory=1556 CPUtime=2.82 cores=0-7
/proc/14512/task/14526/stat : 14526 (java) S 14510 14510 12749 0 -1 1077944384 34501 0 0 0 276 6 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091412367728 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14527] ppid=14510 vsize=28769356 memory=500 CPUtime=2.7 cores=0-7
/proc/14512/task/14527/stat : 14527 (java) S 14510 14510 12749 0 -1 1077944384 17689 0 0 0 266 4 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091411314928 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14528] ppid=14510 vsize=28769356 memory=288230574492221466 CPUtime=3.01 cores=0-7
/proc/14512/task/14528/stat : 14528 (java) S 14510 14510 12749 0 -1 1077944384 21551 0 0 0 298 3 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091410262128 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14529] ppid=14510 vsize=28769356 memory=288230617509003574 CPUtime=1.08 cores=0-7
/proc/14512/task/14529/stat : 14529 (java) S 14510 14510 12749 0 -1 1077944384 21855 0 0 0 105 3 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091409209328 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14530] ppid=14510 vsize=28769356 memory=15252636593031516 CPUtime=0 cores=0-7
/proc/14512/task/14530/stat : 14530 (java) S 14510 14510 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418156362 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091408157792 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14531] ppid=14510 vsize=28769356 memory=282 CPUtime=0.15 cores=0-7
/proc/14512/task/14531/stat : 14531 (java) S 14510 14510 12749 0 -1 1077944384 2838 0 0 0 7 8 0 0 20 0 28 0 418156363 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091407105072 140092099332738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14743] ppid=14510 vsize=28769356 memory=270 CPUtime=406.59 cores=0-7
/proc/14512/task/14743/stat : 14743 (java) S 14510 14510 12749 0 -1 1077944384 9974 0 0 0 40649 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091394977712 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14744] ppid=14510 vsize=28769356 memory=301 CPUtime=407.63 cores=0-7
/proc/14512/task/14744/stat : 14744 (java) S 14510 14510 12749 0 -1 1077944384 9043 0 0 0 40750 13 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091392873616 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14745] ppid=14510 vsize=28769356 memory=108 CPUtime=406.9 cores=0-7
/proc/14512/task/14745/stat : 14745 (java) S 14510 14510 12749 0 -1 1077944384 30084 0 0 0 40653 37 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091398136848 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14746] ppid=14510 vsize=28769356 memory=0 CPUtime=406.64 cores=0-7
/proc/14512/task/14746/stat : 14746 (java) S 14510 14510 12749 0 -1 1077944384 69552 0 0 0 40554 110 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091391820688 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14747] ppid=14510 vsize=28769356 memory=15 CPUtime=418.29 cores=0-7
/proc/14512/task/14747/stat : 14747 (java) R 14510 14510 12749 0 -1 4202560 34243 0 0 0 41797 32 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091387612816 140091724188830 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14748] ppid=14510 vsize=28769356 memory=40659 CPUtime=405.71 cores=0-7
/proc/14512/task/14748/stat : 14748 (java) S 14510 14510 12749 0 -1 1077944384 42543 0 0 0 40520 51 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091396031120 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14749] ppid=14510 vsize=28769356 memory=40763 CPUtime=407.09 cores=0-7
/proc/14512/task/14749/stat : 14749 (java) S 14510 14510 12749 0 -1 1077944384 9117 0 0 0 40699 10 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091390768656 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
[pid=14512/tid=14750] ppid=14510 vsize=28769356 memory=40690 CPUtime=406.45 cores=0-7
/proc/14512/task/14750/stat : 14750 (java) S 14510 14510 12749 0 -1 1077944384 95554 0 0 0 40494 151 0 0 20 0 28 0 418161260 29459820544 1161857 33554432000 4194304 4196468 140730337156752 140091397084560 140092099331797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 8900608 140730337158122 140730337158294 140730337158294 140730337161167 0
Current children cumulated CPU time: 3646.89 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 4648880 KiB
Child status: 0
Real time (s): 472.467
CPU time (s): 3646.98
CPU user time (s): 3639.95
CPU system time (s): 7.03721
CPU usage (%): 771.902
Max. virtual memory (cumulated for all children) (KiB): 28886744
Max. memory (cumulated for all children) (KiB): 4648880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3639.95
system time used= 7.03721
maximum resident set size= 4647428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561629
page faults= 0
swaps= 0
block input operations= 8
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44004
involuntary context switches= 39971
# summary of solver processes directly reported to runsolver:
# pid: 14510
# total CPU time (s): 3646.98
# total CPU user time (s): 3639.95
# total CPU system time (s): 7.03721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0369 second user time and 5.64115 second system time
The end
Begin job on node106 at 2019-09-14 00:55:40 IDJOB=4393923 IDBENCH=115968 IDSOLVER=2841 FILE ID=node106/4393923-1568419017 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-15.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-4393923-1568419017/watcher-4393923-1568419017 -o /tmp/evaluation-result-4393923-1568419017/solver-4393923-1568419017 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 289336931 HOME/instance-4393923-1568419017.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 194a9771da43b175c5c48a6f0c769610 RANDOM SEED=289336931 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30637040 kB MemAvailable: 31903008 kB Buffers: 177176 kB Cached: 1369624 kB SwapCached: 9408 kB Active: 484120 kB Inactive: 1077976 kB Active(anon): 14840 kB Inactive(anon): 33832 kB Active(file): 469280 kB Inactive(file): 1044144 kB Unevictable: 107756 kB Mlocked: 107756 kB SwapTotal: 67108860 kB SwapFree: 66997532 kB Dirty: 26072 kB Writeback: 0 kB AnonPages: 112356 kB Mapped: 38004 kB Shmem: 25148 kB Slab: 165824 kB SReclaimable: 136760 kB SUnreclaim: 29064 kB KernelStack: 3744 kB PageTables: 5828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 01:03:32