Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 68 | 11.4272 | 2.06396 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml |
MD5SUM | 54f28c2036fc278050695a3bd6f2d6a5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 37.1418 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 363 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":363,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394530-1568431287.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394530-1568431287.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.68/0.79 c solve instance... 3.55/1.02 o 83 3.55/1.07 o 81 3.55/1.10 o 74 4.26/1.14 o 72 4.81/1.28 o 71 5.52/1.36 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (170/222) 5.52/1.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 5.52/1.36 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 5.52/1.36 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 5.52/1.36 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 5.52/1.36 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 5.52/1.36 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (170/222) 5.52/1.36 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 5.52/1.36 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 5.52/1.36 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 5.52/1.36 at org.chocosolver.solver.Solver.repair(Solver.java:443) 5.52/1.36 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 5.52/1.36 at org.chocosolver.solver.Solver.solve(Solver.java:262) 5.52/1.36 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 5.52/1.36 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 5.52/1.36 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 5.52/1.36 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 5.52/1.36 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 5.52/1.36 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 5.52/1.36 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 5.52/1.36 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 5.52/1.36 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 5.52/1.36 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 5.52/1.36 o 70 7.10/1.53 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 7.10/1.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 7.10/1.53 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 7.10/1.53 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 7.10/1.53 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 7.10/1.53 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 7.10/1.53 Caused by: java.lang.ArrayIndexOutOfBoundsException 7.10/1.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 7.10/1.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 7.10/1.53 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 7.10/1.53 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 7.10/1.53 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 7.10/1.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 7.10/1.53 ... 4 more 7.10/1.53 Caused by: java.lang.ArrayIndexOutOfBoundsException 7.10/1.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 7.10/1.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 7.10/1.53 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 7.10/1.53 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 7.10/1.53 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 7.10/1.53 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 7.10/1.53 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 7.10/1.53 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 7.10/1.53 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 7.10/1.53 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 7.10/1.53 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 7.10/1.53 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 7.10/1.53 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 7.10/1.53 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 7.10/1.53 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 7.10/1.53 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 7.10/1.53 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 7.10/1.53 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 7.10/1.53 Caused by: java.lang.ArrayIndexOutOfBoundsException: -1 7.10/1.53 at org.chocosolver.solver.variables.impl.AbstractVariable.getDindex(AbstractVariable.java:309) 7.10/1.53 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:289) 7.10/1.53 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 7.10/1.53 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181) 7.10/1.53 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 7.10/1.53 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 7.10/1.53 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 7.10/1.53 at org.chocosolver.solver.Solver.solve(Solver.java:262) 7.10/1.53 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 7.10/1.53 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 7.10/1.53 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 7.10/1.53 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 7.10/1.53 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 7.10/1.53 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 7.10/1.53 ... 4 more 7.10/1.53 o 69 11.15/2.04 java.util.concurrent.ExecutionException: java.lang.NullPointerException 11.15/2.04 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 11.15/2.04 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 11.15/2.04 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 11.15/2.04 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 11.15/2.04 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 11.15/2.04 Caused by: java.lang.NullPointerException 11.15/2.04 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 11.15/2.04 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 11.15/2.04 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 11.15/2.04 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 11.15/2.04 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 11.15/2.04 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 11.15/2.04 ... 4 more 11.15/2.04 Caused by: java.lang.NullPointerException 11.15/2.04 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 11.15/2.04 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 11.15/2.04 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 11.15/2.04 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 11.15/2.04 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 11.15/2.04 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 11.15/2.04 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 11.15/2.04 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 11.15/2.04 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 11.15/2.04 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 11.15/2.04 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 11.15/2.04 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 11.15/2.04 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 11.15/2.04 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 11.15/2.04 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 11.15/2.04 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 11.15/2.04 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 11.15/2.04 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 11.15/2.04 Caused by: java.lang.NullPointerException 11.15/2.04 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 11.15/2.04 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 11.15/2.04 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181) 11.15/2.04 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 11.15/2.04 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 11.15/2.04 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 11.15/2.04 at org.chocosolver.solver.Solver.solve(Solver.java:262) 11.15/2.04 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 11.15/2.04 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 11.15/2.04 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 11.15/2.04 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 11.15/2.04 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 11.15/2.04 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 11.15/2.04 ... 4 more 11.15/2.04 o 68 11.15/2.04 s OPTIMUM FOUND 11.15/2.04 v <instantiation> 11.15/2.04 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 11.15/2.04 v <values>0 0 0 0 5 10 10 5 4 5 16 7 7 19 9 25 9 10 7 10 11 12 15 23 19 21 23 20 20 38 32 42 29 32 25 31 38 43 31 17 28 40 47 30 46 40 37 55 43 46 52 50 51 56 58 54 57 59 58 59 64 68 </values> 11.15/2.04 v </instantiation>
OK 68
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 (14086 MiB free) memory of node 1: 16384 MiB (14084 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394530-1568431287/watcher-4394530-1568431287 -o /tmp/evaluation-result-4394530-1568431287/solver-4394530-1568431287 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 794949901 HOME/instance-4394530-1568431287.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 solver pid=tchdog thread7.x86_64 , 24269, runsolver pid=24266 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 7.89 8.19 8.14 2/213 24290 /proc/meminfo: memFree=28830996/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=28227388 memory=28916 CPUtime=0.12 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 5706 0 0 0 11 1 0 0 20 0 20 0 419397538 28904845312 7229 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7056847 7229 3120 1 0 7019032 0 [pid=24271/tid=24272] ppid=24269 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) R 24269 24269 22865 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 20 0 419397538 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554611912352 140554607699101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=28227388 memory=140175448559373 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24276] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24276/stat : 24276 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554557139600 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24277] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 7229 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) S 24269 24269 22865 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552732031472 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) S 24269 24269 22865 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552730978928 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552729926384 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) R 24269 24269 22865 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552728873840 140554586811083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 7229 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30372 KiB [startup+0.210723 s]* /proc/loadavg: 7.89 8.19 8.14 2/213 24290 /proc/meminfo: memFree=28817348/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=28227388 memory=40952 CPUtime=0.33 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 419397538 28904845312 10238 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7056847 10238 3309 1 0 7019032 0 [pid=24271/tid=24272] ppid=24269 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) R 24269 24269 22865 0 -1 4202560 6634 0 0 0 17 2 0 0 20 0 20 0 419397538 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554611911232 140554593358502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=28227388 memory=288370551600248448 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24276] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24276/stat : 24276 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554557139600 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24277] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397539 28904845312 10238 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419397541 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) S 24269 24269 22865 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552732031472 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) S 24269 24269 22865 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552730978928 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) S 24269 24269 22865 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552729926384 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) R 24269 24269 22865 0 -1 4202560 766 0 0 0 7 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552728873840 140554587110261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28904845312 10238 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42408 KiB [startup+0.310983 s]* /proc/loadavg: 7.89 8.19 8.14 4/213 24290 /proc/meminfo: memFree=28810464/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=28231644 memory=50188 CPUtime=0.53 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 10933 0 0 0 48 5 0 0 20 0 20 0 419397538 28909203456 12547 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7057911 12547 3364 1 0 7019032 0 [pid=24271/tid=24272] ppid=24269 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) R 24269 24269 22865 0 -1 4202560 7796 0 0 0 27 3 0 0 20 0 20 0 419397538 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554611908288 140554591757662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24276] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24276/stat : 24276 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554557139600 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24277] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397539 28909203456 12547 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419397541 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=28231644 memory=280350635007360 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419397541 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=28231644 memory=280350635011968 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419397541 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=28231644 memory=280350635016576 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=28231644 memory=280350635021184 CPUtime=0.02 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) S 24269 24269 22865 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552732031472 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=28231644 memory=280350635025792 CPUtime=0.04 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) R 24269 24269 22865 0 -1 4202560 516 0 0 0 4 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552730959944 140554589221760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=28231644 memory=280350635030400 CPUtime=0.02 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) S 24269 24269 22865 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552729926384 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=28231644 memory=280350635035008 CPUtime=0.12 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) S 24269 24269 22865 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552728873840 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397544 28909203456 12547 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51644 KiB [startup+0.700938 s] /proc/loadavg: 7.89 8.19 8.14 6/213 24290 /proc/meminfo: memFree=28794232/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=28233768 memory=88768 CPUtime=1.68 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 15363 0 0 0 160 8 0 0 20 0 20 0 419397538 28911378432 22192 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7058442 22192 3452 1 0 7019544 0 [pid=24271/tid=24272] ppid=24269 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) R 24269 24269 22865 0 -1 4202560 9339 0 0 0 63 4 0 0 20 0 20 0 419397538 28911378432 22192 33554432000 4194304 4196468 140720357315744 140554611914560 140554233406782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28911378432 22192 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419397539 28911378432 22192 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=28233768 memory=1204 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419397539 28911378432 22192 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 ################ # More data... # ################ [pid=24271/tid=24277] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 32 0 419397539 29731414016 56333 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=29034584 memory=91488209 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 32 0 419397539 29731414016 56333 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 32 0 419397539 29731414016 56333 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 32 0 419397539 29731414016 56333 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 32 0 419397541 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=29034584 memory=140175317539744 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 32 0 419397541 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 32 0 419397541 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=29034584 memory=0 CPUtime=0.81 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) R 24269 24269 22865 0 -1 4202560 3940 0 0 0 80 1 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552732018080 140554589221775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=29034584 memory=1056 CPUtime=0.85 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) R 24269 24269 22865 0 -1 4202560 4373 0 0 0 84 1 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552730964944 140554592605563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=29034584 memory=1204 CPUtime=0.82 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) R 24269 24269 22865 0 -1 4202560 3880 0 0 0 81 1 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552729912640 140554589220898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=29034584 memory=1536 CPUtime=0.7 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) S 24269 24269 22865 0 -1 1077944384 4184 0 0 0 69 1 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552728873840 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=29034584 memory=9592 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=29034584 memory=2828 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) R 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 32 0 419397544 29731414016 56333 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 7.1 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 226788 KiB [startup+2.0639 s] # the end of solver process 24269 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.2551 s, system=0.172051 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60129 s] /proc/loadavg: 7.89 8.19 8.14 10/221 24298 /proc/meminfo: memFree=28713204/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=29034584 memory=225952 CPUtime=7.9 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 29371 0 0 0 775 15 0 0 20 0 29 0 419397538 29731414016 56488 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7258646 56488 3477 1 0 7219748 0 [pid=24271/tid=24272] ppid=24269 vsize=29034584 memory=7079764443835426641 CPUtime=0.79 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) S 24269 24269 22865 0 -1 1077944384 9514 0 0 0 75 4 0 0 20 0 29 0 419397538 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554611917952 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=29034584 memory=6935649255895294528 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=29034584 memory=5787213827046467687 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=29034584 memory=-6168368575958768251 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24276] ppid=24269 vsize=29034584 memory=-9109189289656491381 CPUtime=0 cores=0-7 /proc/24271/task/24276/stat : 24276 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554557139600 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24277] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 56488 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=29034584 memory=4580 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=29034584 memory=0 CPUtime=0.89 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) R 24269 24269 22865 0 -1 4202560 3951 0 0 0 88 1 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552732015440 140554586894335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=29034584 memory=0 CPUtime=0.95 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) R 24269 24269 22865 0 -1 4202560 4398 0 0 0 94 1 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552730972120 140554607698522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=29034584 memory=0 CPUtime=0.92 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) R 24269 24269 22865 0 -1 4202560 3916 0 0 0 91 1 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552729919408 140554607698522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=29034584 memory=0 CPUtime=0.71 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) S 24269 24269 22865 0 -1 1077944384 4198 0 0 0 70 1 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552728873840 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 56488 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 7.9 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 227408 KiB [startup+2.00129 s]* /proc/loadavg: 7.89 8.19 8.14 9/222 24353 /proc/meminfo: memFree=28630536/32770624 swapFree=66998528/67108860 [pid=24269] ppid=24266 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24269/stat : 24269 (xcsp3-exec) S 24266 24269 22865 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419397538 115843072 364 33554432000 4194304 5098028 140731378714848 140731378712952 140337686413948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32509952 140731378721654 140731378721897 140731378721897 140731378724810 0 /proc/24269/statm: 28282 364 305 221 0 87 0 [pid=24271] ppid=24269 vsize=29034584 memory=228288 CPUtime=11.15 cores=0-7 /proc/24271/stat : 24271 (java) S 24269 24269 22865 0 -1 1077944320 31357 0 0 0 1100 15 0 0 20 0 29 0 419397538 29731414016 57072 33554432000 4194304 4196468 140720357315744 140720357298288 140554607677175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 /proc/24271/statm: 7258646 57072 3489 1 0 7219748 0 [pid=24271/tid=24272] ppid=24269 vsize=29034584 memory=8317482817917895235 CPUtime=0.79 cores=0-7 /proc/24271/task/24272/stat : 24272 (java) S 24269 24269 22865 0 -1 1077944384 9514 0 0 0 75 4 0 0 20 0 29 0 419397538 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554611917952 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24273] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24273/stat : 24273 (java) S 24269 24269 22865 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554560297232 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24274] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24274/stat : 24274 (java) S 24269 24269 22865 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554559244688 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24275] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24275/stat : 24275 (java) S 24269 24269 22865 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554558192144 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24276] ppid=24269 vsize=29034584 memory=8303054830060986464 CPUtime=0 cores=0-7 /proc/24271/task/24276/stat : 24276 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554557139600 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24277] ppid=24269 vsize=29034584 memory=-6861001314482542224 CPUtime=0 cores=0-7 /proc/24271/task/24277/stat : 24277 (java) S 24269 24269 22865 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554556087056 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24278] ppid=24269 vsize=29034584 memory=6877961337776517937 CPUtime=0 cores=0-7 /proc/24271/task/24278/stat : 24278 (java) S 24269 24269 22865 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554555034512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24279] ppid=24269 vsize=29034584 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/24271/task/24279/stat : 24279 (java) S 24269 24269 22865 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554553981968 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24280] ppid=24269 vsize=29034584 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/24271/task/24280/stat : 24280 (java) S 24269 24269 22865 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 29 0 419397539 29731414016 57072 33554432000 4194304 4196468 140720357315744 140554552929424 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24281] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24281/stat : 24281 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552736241648 140554607688322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24282] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24282/stat : 24282 (java) S 24269 24269 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552735187872 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24283] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24283/stat : 24283 (java) S 24269 24269 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 29 0 419397541 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552734135280 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24284] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24284/stat : 24284 (java) S 24269 24269 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552733083856 140554607695771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24285] ppid=24269 vsize=29034584 memory=0 CPUtime=1.29 cores=0-7 /proc/24271/task/24285/stat : 24285 (java) R 24269 24269 22865 0 -1 4202560 5810 0 0 0 128 1 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552732017680 140554589195074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24286] ppid=24269 vsize=29034584 memory=0 CPUtime=1.35 cores=0-7 /proc/24271/task/24286/stat : 24286 (java) R 24269 24269 22865 0 -1 4202560 4450 0 0 0 134 1 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552730964720 140554607698522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24287] ppid=24269 vsize=29034584 memory=3472464072690537170 CPUtime=1.31 cores=0-7 /proc/24271/task/24287/stat : 24287 (java) R 24269 24269 22865 0 -1 4202560 3960 0 0 0 130 1 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552729912928 140554607698522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24288] ppid=24269 vsize=29034584 memory=0 CPUtime=0.73 cores=0-7 /proc/24271/task/24288/stat : 24288 (java) S 24269 24269 22865 0 -1 1077944384 4215 0 0 0 72 1 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552728873840 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24289] ppid=24269 vsize=29034584 memory=3467829025926295864 CPUtime=0 cores=0-7 /proc/24271/task/24289/stat : 24289 (java) S 24269 24269 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552727820512 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24290] ppid=24269 vsize=29034584 memory=3617579288504579121 CPUtime=0 cores=0-7 /proc/24271/task/24290/stat : 24290 (java) S 24269 24269 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 29 0 419397544 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552726768048 140554607688322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24336] ppid=24269 vsize=29034584 memory=3976735856566219575 CPUtime=0.68 cores=0-7 /proc/24271/task/24336/stat : 24336 (java) R 24269 24269 22865 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 29 0 419397667 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552712300304 140554238411065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24346] ppid=24269 vsize=29034584 memory=36753 CPUtime=0.47 cores=0-7 /proc/24271/task/24346/stat : 24346 (java) R 24269 24269 22865 0 -1 4202560 23 0 0 0 47 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552705984768 140554237275347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24347] ppid=24269 vsize=29034584 memory=0 CPUtime=0.47 cores=0-7 /proc/24271/task/24347/stat : 24347 (java) R 24269 24269 22865 0 -1 4202560 24 0 0 0 47 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552704932480 140554237277900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24348] ppid=24269 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/24271/task/24348/stat : 24348 (java) S 24269 24269 22865 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552711255120 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24349] ppid=24269 vsize=29034584 memory=5793995631964148836 CPUtime=0.45 cores=0-7 /proc/24271/task/24349/stat : 24349 (java) R 24269 24269 22865 0 -1 4202560 20 0 0 0 45 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552710196992 140554237276459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24350] ppid=24269 vsize=29034584 memory=8022150534094279521 CPUtime=0 cores=0-7 /proc/24271/task/24350/stat : 24350 (java) S 24269 24269 22865 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552709150032 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24351] ppid=24269 vsize=29034584 memory=0 CPUtime=0.46 cores=0-7 /proc/24271/task/24351/stat : 24351 (java) R 24269 24269 22865 0 -1 4202560 18 0 0 0 46 0 0 0 20 0 29 0 419397691 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552703881088 140554237275075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24352] ppid=24269 vsize=29034584 memory=280350635448416 CPUtime=0 cores=0-7 /proc/24271/task/24352/stat : 24352 (java) S 24269 24269 22865 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 419397692 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552708097616 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 [pid=24271/tid=24353] ppid=24269 vsize=29034584 memory=5931329028008465232 CPUtime=0 cores=0-7 /proc/24271/task/24353/stat : 24353 (java) S 24269 24269 22865 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 29 0 419397692 29731414016 57072 33554432000 4194304 4196468 140720357315744 140552707044048 140554607687381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36036608 140720357319658 140720357319830 140720357319830 140720357322703 0 Current children cumulated CPU time: 11.15 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 229744 KiB Child status: 0 Real time (s): 2.06396 CPU time (s): 11.4272 CPU user time (s): 11.2551 CPU system time (s): 0.172051 CPU usage (%): 553.653 Max. virtual memory (cumulated for all children) (KiB): 29149724 Max. memory (cumulated for all children) (KiB): 231448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.2551 system time used= 0.172051 maximum resident set size= 229992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32089 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4271 involuntary context switches= 259 # summary of solver processes directly reported to runsolver: # pid: 24269 # total CPU time (s): 11.4272 # total CPU user time (s): 11.2551 # total CPU system time (s): 0.172051 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.030851 second user time and 0.078043 second system time The end
Begin job on node127 at 2019-09-14 05:20:47 IDJOB=4394530 IDBENCH=128324 IDSOLVER=2843 FILE ID=node127/4394530-1568431287 RUNJOBID= node127-1568426152-22892 PBS_JOBID= 21702286 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-26-09.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-4394530-1568431287/watcher-4394530-1568431287 -o /tmp/evaluation-result-4394530-1568431287/solver-4394530-1568431287 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 794949901 HOME/instance-4394530-1568431287.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5 RANDOM SEED=794949901 node127.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.55 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.55 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.55 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.55 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: 28847320 kB MemAvailable: 31872520 kB Buffers: 184084 kB Cached: 3107468 kB SwapCached: 6772 kB Active: 1904412 kB Inactive: 1399192 kB Active(anon): 5060 kB Inactive(anon): 48308 kB Active(file): 1899352 kB Inactive(file): 1350884 kB Unevictable: 109300 kB Mlocked: 109300 kB SwapTotal: 67108860 kB SwapFree: 66998528 kB Dirty: 26012 kB Writeback: 236 kB AnonPages: 123272 kB Mapped: 45052 kB Shmem: 32700 kB Slab: 211272 kB SReclaimable: 181600 kB SUnreclaim: 29672 kB KernelStack: 3728 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61284 MiB End job on node127 at 2019-09-14 05:20:49