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 | 96 | 149.077 | 43.3195 |
| Name | Tal/ Tal-03_c18.xml |
| MD5SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 33.2263 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 404 |
| Number of constraints | 286 |
| Number of domains | 10 |
| Minimum domain size | 1 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] |
| Number of extensional constraints | 49 |
| Number of intensional constraints | 225 |
| Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393869-1568447572.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393869-1568447572.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 52.86/29.03 c solve instance... 54.03/29.23 o 180 54.03/29.26 o 172 54.03/29.26 o 168 54.03/29.26 o 164 54.03/29.27 o 160 57.08/29.65 o 156 57.08/29.65 o 152 57.08/29.65 o 148 57.08/29.66 o 144 57.08/29.66 o 140 57.08/29.66 o 136 57.08/29.67 o 132 57.08/29.68 o 128 57.80/29.78 o 116 59.28/29.93 o 112 60.66/30.25 o 108 74.79/32.68 o 104 93.23/35.22 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (273/275) 93.23/35.22 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 93.23/35.22 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 93.23/35.22 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 93.23/35.22 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 93.23/35.22 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 93.23/35.22 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (273/275) 93.23/35.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 93.23/35.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 93.23/35.22 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 93.23/35.22 at org.chocosolver.solver.Solver.repair(Solver.java:443) 93.23/35.22 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 93.23/35.22 at org.chocosolver.solver.Solver.solve(Solver.java:262) 93.23/35.22 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 93.23/35.22 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 93.23/35.22 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 93.23/35.22 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 93.23/35.22 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 93.23/35.22 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 93.23/35.22 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 93.23/35.22 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 93.23/35.22 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 93.23/35.22 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 93.23/35.22 o 96 148.36/43.28 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 148.36/43.28 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 148.36/43.28 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 148.36/43.28 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 148.36/43.28 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 148.36/43.28 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 148.36/43.28 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 148.36/43.28 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 148.36/43.28 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 148.36/43.28 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 148.36/43.28 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 148.36/43.28 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 148.36/43.28 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 148.36/43.28 ... 4 more 148.36/43.28 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 148.36/43.28 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 148.36/43.28 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 148.36/43.28 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 148.36/43.28 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 148.36/43.28 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 148.36/43.28 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 148.36/43.28 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 148.36/43.28 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 148.36/43.28 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 148.36/43.28 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 148.36/43.28 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 148.36/43.28 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 148.36/43.28 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 148.36/43.28 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 148.36/43.28 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 148.36/43.28 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 148.36/43.28 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 148.36/43.28 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 148.36/43.28 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 148.36/43.28 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 148.36/43.28 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 148.36/43.28 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 148.36/43.28 at org.chocosolver.solver.Solver.restart(Solver.java:596) 148.36/43.28 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 148.36/43.28 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 148.36/43.28 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 148.36/43.28 at org.chocosolver.solver.Solver.extend(Solver.java:421) 148.36/43.28 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 148.36/43.28 at org.chocosolver.solver.Solver.solve(Solver.java:262) 148.36/43.28 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 148.36/43.28 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 148.36/43.28 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 148.36/43.28 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 148.36/43.28 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 148.36/43.28 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 148.36/43.28 ... 4 more 148.36/43.28 s OPTIMUM FOUND 148.36/43.28 v <instantiation> 148.36/43.28 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[7][0] l[7][1] l[7][2] l[7][3] l[8][0] l[8][1] l[8][2] l[8][3] l[9][0] l[9][1] l[9][2] l[10][0] l[10][1] l[10][2] l[11][0] l[11][1] l[12][0] l[12][1] l[13][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[7][0] a[7][1] a[7][2] a[7][3] a[9][0] a[9][1] a[9][2] a[11][0] a[11][1] a[13][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[8][0] i[8][1] i[8][2] i[8][3] i[10][0] i[10][1] i[10][2] i[12][0] i[12][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] </list> 148.36/43.28 v <values>0 0 0 0 0 0 0 0 16 0 0 4 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 10 12 13 4 16 8 9 7 0 13 5 4 8 9 7 13 5 4 8 0 9 7 13 8 0 8 9 7 13 8 8 0 9 7 13 3 3 9 7 13 3 3 7 7 2 0 7 7 2 0 4 4 3 4 4 3 6 0 6 0 6 1 2 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 3 0 1 1 1 3 0 1 0 1 3 4 5 6 6 0 1 2 3 5 5 0 1 2 3 4 0 1 2 3 0 1 2 0 1 1 1 1 1 0 0 1 1 0 0 1 1 </values> 148.36/43.28 v </instantiation>
OK 96
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 (15409 MiB free)
memory of node 1: 16384 MiB (13457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393869-1568447572/watcher-4393869-1568447572 -o /tmp/evaluation-result-4393869-1568447572/solver-4393869-1568447572 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 874461389 HOME/instance-4393869-1568447572.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=5092, runsolver pid=5089
Current StackSize limit: 8192 KiB
[startup+0.100183 s]*
/proc/loadavg: 1.84 1.60 3.08 3/213 5113
/proc/meminfo: memFree=29541784/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=28227388 memory=29724 CPUtime=0.12 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 5899 0 0 0 10 2 0 0 20 0 20 0 420693765 28904845312 7431 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7056847 7431 3124 1 0 7019032 0
[pid=5094/tid=5095] ppid=5092 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) R 5092 5092 3667 0 -1 4202560 3855 0 0 0 8 1 0 0 20 0 20 0 420693765 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047356694688 140047352487318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=28227388 memory=140315640632960 CPUtime=0 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5099] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5099/stat : 5099 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047301937680 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5100] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5100/stat : 5100 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047300885392 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5101] ppid=5092 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5101/stat : 5101 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047299832592 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5102] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5102/stat : 5102 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047298780304 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5103] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5103/stat : 5103 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 7431 33554432000 4194304 4196468 140726794703408 140047297727504 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5104] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5104/stat : 5104 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046468376688 140047352486530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5105] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5105/stat : 5105 (java) S 5092 5092 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046467322656 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5106] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5106/stat : 5106 (java) S 5092 5092 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046466270320 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5107] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5107/stat : 5107 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046465218640 140047352493979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5108] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5108/stat : 5108 (java) S 5092 5092 3667 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046464166512 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5109] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5109/stat : 5109 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046463113712 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5110] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5110/stat : 5110 (java) S 5092 5092 3667 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046462061424 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5111] ppid=5092 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5094/task/5111/stat : 5111 (java) R 5092 5092 3667 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046461008624 140047331611143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5112] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5112/stat : 5112 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046459955552 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5113] ppid=5092 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5113/stat : 5113 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 7431 33554432000 4194304 4196468 140726794703408 140046458902832 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31176 KiB
[startup+0.210727 s]*
/proc/loadavg: 1.84 1.60 3.08 2/213 5113
/proc/meminfo: memFree=29528904/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=28227388 memory=40840 CPUtime=0.34 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 9421 0 0 0 30 4 0 0 20 0 20 0 420693765 28904845312 10210 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7056847 10210 3289 1 0 7019032 0
[pid=5094/tid=5095] ppid=5092 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) R 5092 5092 3667 0 -1 4202560 6656 0 0 0 17 2 0 0 20 0 20 0 420693765 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047356706032 140046955059140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=28227388 memory=329 CPUtime=0 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=28227388 memory=140315640638311 CPUtime=0 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5099] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5099/stat : 5099 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047301937680 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5100] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5100/stat : 5100 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047300885392 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5101] ppid=5092 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5101/stat : 5101 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047299832592 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5102] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5102/stat : 5102 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047298780304 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5103] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5103/stat : 5103 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28904845312 10210 33554432000 4194304 4196468 140726794703408 140047297727504 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5104] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5104/stat : 5104 (java) S 5092 5092 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046468376688 140047352486530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5105] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5105/stat : 5105 (java) S 5092 5092 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046467322656 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5106] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5106/stat : 5106 (java) S 5092 5092 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420693768 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046466270320 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5107] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5107/stat : 5107 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046465218640 140047352493979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5108] ppid=5092 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5094/task/5108/stat : 5108 (java) S 5092 5092 3667 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046464166512 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5109] ppid=5092 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5094/task/5109/stat : 5109 (java) S 5092 5092 3667 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046463113712 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5110] ppid=5092 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5094/task/5110/stat : 5110 (java) S 5092 5092 3667 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046462061424 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5111] ppid=5092 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/5094/task/5111/stat : 5111 (java) R 5092 5092 3667 0 -1 4202560 794 0 0 0 7 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046461008432 140047352496730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5112] ppid=5092 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5112/stat : 5112 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046459955552 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5113] ppid=5092 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5113/stat : 5113 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28904845312 10210 33554432000 4194304 4196468 140726794703408 140046458902832 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42292 KiB
[startup+0.310607 s]*
/proc/loadavg: 1.84 1.60 3.08 4/213 5113
/proc/meminfo: memFree=29521884/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=28231644 memory=50100 CPUtime=0.52 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 10862 0 0 0 48 4 0 0 20 0 20 0 420693765 28909203456 12525 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7057911 12525 3360 1 0 7019032 0
[pid=5094/tid=5095] ppid=5092 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) R 5092 5092 3667 0 -1 4202560 7765 0 0 0 26 3 0 0 20 0 20 0 420693765 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047356706496 140047352497309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5099] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5099/stat : 5099 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047301937680 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5100] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5100/stat : 5100 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047300885392 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5101] ppid=5092 vsize=28231644 memory=140315507911343 CPUtime=0 cores=0-7
/proc/5094/task/5101/stat : 5101 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047299832592 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5102] ppid=5092 vsize=28231644 memory=140315507913648 CPUtime=0 cores=0-7
/proc/5094/task/5102/stat : 5102 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047298780304 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5103] ppid=5092 vsize=28231644 memory=140315507915952 CPUtime=0 cores=0-7
/proc/5094/task/5103/stat : 5103 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693766 28909203456 12554 33554432000 4194304 4196468 140726794703408 140047297727504 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5104] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5104/stat : 5104 (java) S 5092 5092 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420693768 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046468376688 140047352486530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5105] ppid=5092 vsize=28231644 memory=280631015845776 CPUtime=0 cores=0-7
/proc/5094/task/5105/stat : 5105 (java) S 5092 5092 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420693768 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046467322656 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5106] ppid=5092 vsize=28231644 memory=280631015843472 CPUtime=0 cores=0-7
/proc/5094/task/5106/stat : 5106 (java) S 5092 5092 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420693768 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046466270320 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5107] ppid=5092 vsize=28231644 memory=280631015850384 CPUtime=0 cores=0-7
/proc/5094/task/5107/stat : 5107 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046465218640 140047352493979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5108] ppid=5092 vsize=28231644 memory=280631015791632 CPUtime=0.02 cores=0-7
/proc/5094/task/5108/stat : 5108 (java) S 5092 5092 3667 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046464166512 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5109] ppid=5092 vsize=28231644 memory=280631015864208 CPUtime=0.02 cores=0-7
/proc/5094/task/5109/stat : 5109 (java) S 5092 5092 3667 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046463113712 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5110] ppid=5092 vsize=28231644 memory=280631015871120 CPUtime=0.03 cores=0-7
/proc/5094/task/5110/stat : 5110 (java) R 5092 5092 3667 0 -1 4202560 338 0 0 0 3 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046462051808 140047331721231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5111] ppid=5092 vsize=28231644 memory=280631015868816 CPUtime=0.12 cores=0-7
/proc/5094/task/5111/stat : 5111 (java) S 5092 5092 3667 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046461008624 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5112] ppid=5092 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5112/stat : 5112 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046459955552 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5113] ppid=5092 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5094/task/5113/stat : 5113 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420693771 28909203456 12554 33554432000 4194304 4196468 140726794703408 140046458902832 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51552 KiB
[startup+0.701009 s]
/proc/loadavg: 1.84 1.60 3.08 6/213 5113
/proc/meminfo: memFree=29497184/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=28233768 memory=97924 CPUtime=1.88 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 16617 0 0 0 181 7 0 0 20 0 20 0 420693765 28911378432 24481 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7058442 24481 3452 1 0 7019544 0
[pid=5094/tid=5095] ppid=5092 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) R 5092 5092 3667 0 -1 4202560 9165 0 0 0 64 4 0 0 20 0 20 0 420693765 28911378432 24481 33554432000 4194304 4196468 140726794703408 140047356712288 140047345153397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=28233768 memory=140315508122480 CPUtime=0 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28911378432 24481 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420693766 28911378432 24481 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=28233768 memory=8004 CPUtime=0 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420693766 28911378432 24481 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
################
# More data... #
################
[pid=5094/tid=5263] ppid=5092 vsize=29367404 memory=9123308429200974039 CPUtime=3.95 cores=0-7
/proc/5094/task/5263/stat : 5263 (java) R 5092 5092 3667 0 -1 4202560 597 0 0 0 395 0 0 0 20 0 29 0 420697288 30072221696 1048862 33554432000 4194304 4196468 140726794703408 140046445728264 140046963612776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5264] ppid=5092 vsize=29367404 memory=-2746958450906831424 CPUtime=3.75 cores=0-7
/proc/5094/task/5264/stat : 5264 (java) R 5092 5092 3667 0 -1 4202560 664 0 0 0 375 0 0 0 20 0 29 0 420697288 30072221696 1048862 33554432000 4194304 4196468 140726794703408 140046434148824 140046964216464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5265] ppid=5092 vsize=29367404 memory=-4546129931942301728 CPUtime=3.84 cores=0-7
/proc/5094/task/5265/stat : 5265 (java) R 5092 5092 3667 0 -1 4202560 361 0 0 0 383 1 0 0 20 0 29 0 420697288 30072221696 1048862 33554432000 4194304 4196468 140726794703408 140046439411416 140046964217207 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5266] ppid=5092 vsize=29367404 memory=1452 CPUtime=0 cores=0-7
/proc/5094/task/5266/stat : 5266 (java) S 5092 5092 3667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 420697288 30072221696 1048862 33554432000 4194304 4196468 140726794703408 140046430995088 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 138 s
Current children cumulated vsize: 29480532 KiB
Current children cumulated memory: 4196900 KiB
[startup+42.7011 s]
/proc/loadavg: 2.62 1.81 3.09 9/221 5268
/proc/meminfo: memFree=25369228/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=29367404 memory=4195452 CPUtime=144.37 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 169030 0 0 0 13478 959 0 0 20 0 29 0 420693765 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7341851 1048863 3561 1 0 7302953 0
[pid=5094/tid=5095] ppid=5092 vsize=29367404 memory=1560 CPUtime=24.45 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) S 5092 5092 3667 0 -1 1077944384 16578 0 0 0 2431 14 0 0 20 0 29 0 420693765 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047356716160 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=29367404 memory=932 CPUtime=4.41 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 5352 0 0 0 331 110 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=29367404 memory=1568 CPUtime=4.39 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 4166 0 0 0 325 114 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=29367404 memory=1444 CPUtime=4.4 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 4637 0 0 0 334 106 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5099] ppid=5092 vsize=29367404 memory=880 CPUtime=4.35 cores=0-7
/proc/5094/task/5099/stat : 5099 (java) S 5092 5092 3667 0 -1 1077944384 4214 0 0 0 324 111 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047301937680 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5100] ppid=5092 vsize=29367404 memory=1976 CPUtime=4.37 cores=0-7
/proc/5094/task/5100/stat : 5100 (java) S 5092 5092 3667 0 -1 1077944384 4338 0 0 0 329 108 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047300885392 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5101] ppid=5092 vsize=29367404 memory=2496 CPUtime=4.4 cores=0-7
/proc/5094/task/5101/stat : 5101 (java) S 5092 5092 3667 0 -1 1077944384 4823 0 0 0 327 113 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047299832592 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5102] ppid=5092 vsize=29367404 memory=257 CPUtime=4.4 cores=0-7
/proc/5094/task/5102/stat : 5102 (java) S 5092 5092 3667 0 -1 1077944384 3291 0 0 0 335 105 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047298780304 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5103] ppid=5092 vsize=29367404 memory=7739264888428258649 CPUtime=4.4 cores=0-7
/proc/5094/task/5103/stat : 5103 (java) S 5092 5092 3667 0 -1 1077944384 5869 0 0 0 326 114 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047297727504 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5104] ppid=5092 vsize=29367404 memory=7160841490555430502 CPUtime=2.82 cores=0-7
/proc/5094/task/5104/stat : 5104 (java) S 5092 5092 3667 0 -1 1077944384 14175 0 0 0 278 4 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046468376688 140047352486530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5105] ppid=5092 vsize=29367404 memory=7594867027229435731 CPUtime=0 cores=0-7
/proc/5094/task/5105/stat : 5105 (java) S 5092 5092 3667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046467322720 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5106] ppid=5092 vsize=29367404 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5106/stat : 5106 (java) S 5092 5092 3667 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046466270336 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5107] ppid=5092 vsize=29367404 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5094/task/5107/stat : 5107 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046465218640 140047352493979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5108] ppid=5092 vsize=29367404 memory=280631017910768 CPUtime=5.03 cores=0-7
/proc/5094/task/5108/stat : 5108 (java) S 5092 5092 3667 0 -1 1077944384 26782 0 0 0 499 4 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046464166512 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5109] ppid=5092 vsize=29367404 memory=0 CPUtime=4.35 cores=0-7
/proc/5094/task/5109/stat : 5109 (java) S 5092 5092 3667 0 -1 1077944384 20280 0 0 0 430 5 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046463113712 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5110] ppid=5092 vsize=29367404 memory=0 CPUtime=4.79 cores=0-7
/proc/5094/task/5110/stat : 5110 (java) S 5092 5092 3667 0 -1 1077944384 23401 0 0 0 476 3 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046462061424 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5111] ppid=5092 vsize=29367404 memory=0 CPUtime=1.32 cores=0-7
/proc/5094/task/5111/stat : 5111 (java) S 5092 5092 3667 0 -1 1077944384 11677 0 0 0 128 4 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046461008624 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5112] ppid=5092 vsize=29367404 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5112/stat : 5112 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046459955552 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5113] ppid=5092 vsize=29367404 memory=3612 CPUtime=0.02 cores=0-7
/proc/5094/task/5113/stat : 5113 (java) S 5092 5092 3667 0 -1 1077944384 2051 0 0 0 1 1 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046458902832 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5258] ppid=5092 vsize=29367404 memory=40788 CPUtime=7.23 cores=0-7
/proc/5094/task/5258/stat : 5258 (java) R 5092 5092 3667 0 -1 4202560 528 0 0 0 722 1 0 0 20 0 29 0 420697034 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046433094656 140046958086484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5259] ppid=5092 vsize=29367404 memory=988 CPUtime=4.55 cores=0-7
/proc/5094/task/5259/stat : 5259 (java) R 5092 5092 3667 0 -1 4202560 764 0 0 0 453 2 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046432041712 140046963929940 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5260] ppid=5092 vsize=29367404 memory=8112282956445269571 CPUtime=4.91 cores=0-7
/proc/5094/task/5260/stat : 5260 (java) R 5092 5092 3667 0 -1 4202560 469 0 0 0 490 1 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046441516936 140046963611704 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5261] ppid=5092 vsize=29367404 memory=1432 CPUtime=4.53 cores=0-7
/proc/5094/task/5261/stat : 5261 (java) R 5092 5092 3667 0 -1 4202560 4286 0 0 0 445 8 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046440467128 140046968185536 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5262] ppid=5092 vsize=29367404 memory=776 CPUtime=4.65 cores=0-7
/proc/5094/task/5262/stat : 5262 (java) R 5092 5092 3667 0 -1 4202560 780 0 0 0 463 2 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046447833016 140046963745925 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5263] ppid=5092 vsize=29367404 memory=1056 CPUtime=4.75 cores=0-7
/proc/5094/task/5263/stat : 5263 (java) R 5092 5092 3667 0 -1 4202560 659 0 0 0 475 0 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046445728208 140046963893896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5264] ppid=5092 vsize=29367404 memory=4000 CPUtime=4.53 cores=0-7
/proc/5094/task/5264/stat : 5264 (java) R 5092 5092 3667 0 -1 4202560 701 0 0 0 453 0 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046434148744 140046964433932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5265] ppid=5092 vsize=29367404 memory=1552 CPUtime=4.63 cores=0-7
/proc/5094/task/5265/stat : 5265 (java) R 5092 5092 3667 0 -1 4202560 407 0 0 0 462 1 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046439411416 140046964355760 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5266] ppid=5092 vsize=29367404 memory=1556 CPUtime=0 cores=0-7
/proc/5094/task/5266/stat : 5266 (java) S 5092 5092 3667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046430995088 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 144.37 s
Current children cumulated vsize: 29480532 KiB
Current children cumulated memory: 4196904 KiB
[startup+43.1011 s]
/proc/loadavg: 2.62 1.81 3.09 9/221 5268
/proc/meminfo: memFree=25369228/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
[pid=5094] ppid=5092 vsize=29367404 memory=4195452 CPUtime=147.56 cores=0-7
/proc/5094/stat : 5094 (java) S 5092 5092 3667 0 -1 1077944320 170046 0 0 0 13795 961 0 0 20 0 29 0 420693765 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140726794685952 140047352475383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
/proc/5094/statm: 7341851 1048863 3561 1 0 7302953 0
[pid=5094/tid=5095] ppid=5092 vsize=29367404 memory=-3535470213243961690 CPUtime=24.45 cores=0-7
/proc/5094/task/5095/stat : 5095 (java) S 5092 5092 3667 0 -1 1077944384 16578 0 0 0 2431 14 0 0 20 0 29 0 420693765 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047356716160 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5096] ppid=5092 vsize=29367404 memory=9126232286719478932 CPUtime=4.41 cores=0-7
/proc/5094/task/5096/stat : 5096 (java) S 5092 5092 3667 0 -1 1077944384 5352 0 0 0 331 110 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047305095568 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5097] ppid=5092 vsize=29367404 memory=-7751062316387021378 CPUtime=4.39 cores=0-7
/proc/5094/task/5097/stat : 5097 (java) S 5092 5092 3667 0 -1 1077944384 4166 0 0 0 325 114 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047304042768 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5098] ppid=5092 vsize=29367404 memory=-2023959437020729679 CPUtime=4.4 cores=0-7
/proc/5094/task/5098/stat : 5098 (java) S 5092 5092 3667 0 -1 1077944384 4637 0 0 0 334 106 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047302990480 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5099] ppid=5092 vsize=29367404 memory=-6800859132029471843 CPUtime=4.35 cores=0-7
/proc/5094/task/5099/stat : 5099 (java) S 5092 5092 3667 0 -1 1077944384 4214 0 0 0 324 111 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047301937680 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5100] ppid=5092 vsize=29367404 memory=-7880843606118635149 CPUtime=4.37 cores=0-7
/proc/5094/task/5100/stat : 5100 (java) S 5092 5092 3667 0 -1 1077944384 4338 0 0 0 329 108 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047300885392 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5101] ppid=5092 vsize=29367404 memory=-1189914978686163229 CPUtime=4.4 cores=0-7
/proc/5094/task/5101/stat : 5101 (java) S 5092 5092 3667 0 -1 1077944384 4823 0 0 0 327 113 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047299832592 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5102] ppid=5092 vsize=29367404 memory=7014751519700899428 CPUtime=4.4 cores=0-7
/proc/5094/task/5102/stat : 5102 (java) S 5092 5092 3667 0 -1 1077944384 3291 0 0 0 335 105 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047298780304 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5103] ppid=5092 vsize=29367404 memory=140315508936401 CPUtime=4.4 cores=0-7
/proc/5094/task/5103/stat : 5103 (java) S 5092 5092 3667 0 -1 1077944384 5869 0 0 0 326 114 0 0 20 0 29 0 420693766 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140047297727504 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5104] ppid=5092 vsize=29367404 memory=1452 CPUtime=2.82 cores=0-7
/proc/5094/task/5104/stat : 5104 (java) S 5092 5092 3667 0 -1 1077944384 14175 0 0 0 278 4 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046468376688 140047352486530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5105] ppid=5092 vsize=29367404 memory=4195452 CPUtime=0 cores=0-7
/proc/5094/task/5105/stat : 5105 (java) S 5092 5092 3667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046467322720 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5106] ppid=5092 vsize=29367404 memory=15815620889413925 CPUtime=0 cores=0-7
/proc/5094/task/5106/stat : 5106 (java) S 5092 5092 3667 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 29 0 420693768 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046466270336 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5107] ppid=5092 vsize=29367404 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5107/stat : 5107 (java) S 5092 5092 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046465218640 140047352493979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5108] ppid=5092 vsize=29367404 memory=0 CPUtime=5.08 cores=0-7
/proc/5094/task/5108/stat : 5108 (java) S 5092 5092 3667 0 -1 1077944384 27402 0 0 0 504 4 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046464166512 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5109] ppid=5092 vsize=29367404 memory=0 CPUtime=4.35 cores=0-7
/proc/5094/task/5109/stat : 5109 (java) S 5092 5092 3667 0 -1 1077944384 20363 0 0 0 430 5 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046463113712 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5110] ppid=5092 vsize=29367404 memory=0 CPUtime=4.82 cores=0-7
/proc/5094/task/5110/stat : 5110 (java) S 5092 5092 3667 0 -1 1077944384 23481 0 0 0 479 3 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046462061424 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5111] ppid=5092 vsize=29367404 memory=14012 CPUtime=1.32 cores=0-7
/proc/5094/task/5111/stat : 5111 (java) S 5092 5092 3667 0 -1 1077944384 11759 0 0 0 128 4 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046461008624 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5112] ppid=5092 vsize=29367404 memory=14080 CPUtime=0 cores=0-7
/proc/5094/task/5112/stat : 5112 (java) S 5092 5092 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046459955552 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5113] ppid=5092 vsize=29367404 memory=22188 CPUtime=0.02 cores=0-7
/proc/5094/task/5113/stat : 5113 (java) S 5092 5092 3667 0 -1 1077944384 2051 0 0 0 1 1 0 0 20 0 29 0 420693771 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046458902832 140047352486530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5258] ppid=5092 vsize=29367404 memory=2120 CPUtime=7.63 cores=0-7
/proc/5094/task/5258/stat : 5258 (java) R 5092 5092 3667 0 -1 4202560 528 0 0 0 762 1 0 0 20 0 29 0 420697034 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046433094656 140046958086893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5259] ppid=5092 vsize=29367404 memory=0 CPUtime=4.95 cores=0-7
/proc/5094/task/5259/stat : 5259 (java) R 5092 5092 3667 0 -1 4202560 768 0 0 0 493 2 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046432041848 140046963676544 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5260] ppid=5092 vsize=29367404 memory=280631017707568 CPUtime=5.31 cores=0-7
/proc/5094/task/5260/stat : 5260 (java) R 5092 5092 3667 0 -1 4202560 472 0 0 0 529 2 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046441516936 140046963612717 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5261] ppid=5092 vsize=29367404 memory=140315508682028 CPUtime=4.9 cores=0-7
/proc/5094/task/5261/stat : 5261 (java) R 5092 5092 3667 0 -1 4202560 4396 0 0 0 480 10 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046440464128 140046968686465 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5262] ppid=5092 vsize=29367404 memory=4856988398319052910 CPUtime=5.04 cores=0-7
/proc/5094/task/5262/stat : 5262 (java) R 5092 5092 3667 0 -1 4202560 783 0 0 0 502 2 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046447833016 140046961166912 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5263] ppid=5092 vsize=29367404 memory=3472350165392697455 CPUtime=5.12 cores=0-7
/proc/5094/task/5263/stat : 5263 (java) R 5092 5092 3667 0 -1 4202560 668 0 0 0 511 1 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046445730760 140046963612776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5264] ppid=5092 vsize=29367404 memory=7587581558320539760 CPUtime=4.94 cores=0-7
/proc/5094/task/5264/stat : 5264 (java) R 5092 5092 3667 0 -1 4202560 719 0 0 0 493 1 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046434148744 140046964186827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5265] ppid=5092 vsize=29367404 memory=0 CPUtime=5.03 cores=0-7
/proc/5094/task/5265/stat : 5265 (java) R 5092 5092 3667 0 -1 4202560 410 0 0 0 502 1 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046439411416 140046963612776 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
[pid=5094/tid=5266] ppid=5092 vsize=29367404 memory=0 CPUtime=0 cores=0-7
/proc/5094/task/5266/stat : 5266 (java) S 5092 5092 3667 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 420697288 30072221696 1048863 33554432000 4194304 4196468 140726794703408 140046430995088 140047352485589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140726794712042 140726794712214 140726794712214 140726794715087 0
Current children cumulated CPU time: 147.56 s
Current children cumulated vsize: 29480532 KiB
Current children cumulated memory: 4196904 KiB
[startup+43.3012 s]*
/proc/loadavg: 2.62 1.81 3.09 2/194 5268
/proc/meminfo: memFree=28027332/32770624 swapFree=66958260/67108860
[pid=5092] ppid=5089 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5092/stat : 5092 (xcsp3-exec) S 5089 5092 3667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420693765 115843072 363 33554432000 4194304 5098028 140726774033744 140726774031848 139698357158524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14970880 140726774039414 140726774039657 140726774039657 140726774042570 0
/proc/5092/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 43.3195
CPU time (s): 149.077
CPU user time (s): 139.427
CPU system time (s): 9.64982
CPU usage (%): 344.133
Max. virtual memory (cumulated for all children) (KiB): 29482296
Max. memory (cumulated for all children) (KiB): 4196904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.427
system time used= 9.64982
maximum resident set size= 4195452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10723
involuntary context switches= 2355
# summary of solver processes directly reported to runsolver:
# pid: 5092
# total CPU time (s): 149.077
# total CPU user time (s): 139.427
# total CPU system time (s): 9.64982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.339374 second user time and 0.524213 second system time
The end
Begin job on node145 at 2019-09-14 09:52:11 IDJOB=4393869 IDBENCH=141106 IDSOLVER=2841 FILE ID=node145/4393869-1568447572 RUNJOBID= node145-1568439892-3694 PBS_JOBID= 21702338 Free space on /tmp= 59504 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/Tal/Tal-03_c18.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-4393869-1568447572/watcher-4393869-1568447572 -o /tmp/evaluation-result-4393869-1568447572/solver-4393869-1568447572 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 874461389 HOME/instance-4393869-1568447572.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=874461389 node145.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.59 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.59 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.59 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.59 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: 29558180 kB MemAvailable: 31858036 kB Buffers: 141480 kB Cached: 2442608 kB SwapCached: 41120 kB Active: 1247528 kB Inactive: 1381220 kB Active(anon): 7124 kB Inactive(anon): 78528 kB Active(file): 1240404 kB Inactive(file): 1302692 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66958260 kB Dirty: 26332 kB Writeback: 0 kB AnonPages: 160324 kB Mapped: 44676 kB Shmem: 32372 kB Slab: 173804 kB SReclaimable: 145192 kB SUnreclaim: 28612 kB KernelStack: 3744 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59480 MiB End job on node145 at 2019-09-14 09:52:54