Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 39 | 988.986 | 125.868 |
Name | StillLife/StillLife-m1-s1/ StillLife-07-10.xml |
MD5SUM | ebe39bf25244fda615bb1bf8fe88192a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 31.4095 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 166 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":70},{"size":9,"count":70}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":40}] |
Number of extensional constraints | 96 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":96},{"type":"sum","count":70}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394520-1568419301.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394520-1568419301.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.71/0.75 c solve instance... 2.23/0.81 o 0 2.23/0.82 o 4 2.23/0.82 o 6 2.23/0.83 o 8 2.23/0.85 o 10 2.23/0.88 o 12 2.23/0.89 o 33 4.46/1.17 o 35 4.46/1.18 o 36 8.09/1.75 o 37 36.64/5.87 o 38 40.41/6.42 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (44/46) 40.41/6.42 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 40.41/6.42 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 40.41/6.42 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 40.41/6.42 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 40.41/6.42 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 40.41/6.42 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (44/46) 40.41/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 40.41/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 40.41/6.42 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 40.41/6.42 at org.chocosolver.solver.Solver.repair(Solver.java:443) 40.41/6.42 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 40.41/6.42 at org.chocosolver.solver.Solver.solve(Solver.java:262) 40.41/6.42 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 40.41/6.42 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 40.41/6.42 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 40.41/6.42 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 40.41/6.42 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 40.41/6.42 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 40.41/6.42 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 40.41/6.42 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 40.41/6.42 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 40.41/6.42 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 40.41/6.42 o 39 988.58/125.84 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 988.58/125.84 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 988.58/125.84 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 988.58/125.84 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 988.58/125.84 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 988.58/125.84 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 988.58/125.84 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 988.58/125.84 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95) 988.58/125.84 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64) 988.58/125.84 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 988.58/125.84 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 988.58/125.84 at org.chocosolver.solver.Solver.extend(Solver.java:421) 988.58/125.84 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 988.58/125.84 at org.chocosolver.solver.Solver.solve(Solver.java:262) 988.58/125.84 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 988.58/125.84 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 988.58/125.84 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 988.58/125.84 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 988.58/125.84 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 988.58/125.84 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 988.58/125.84 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 988.58/125.84 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 988.58/125.84 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 988.58/125.84 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 988.58/125.85 s OPTIMUM FOUND 988.58/125.85 v <instantiation> 988.58/125.85 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] </list> 988.58/125.85 v <values>1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 2 2 4 2 4 3 2 4 2 2 4 3 4 2 3 5 3 5 3 4 3 5 5 5 5 5 3 5 5 3 2 3 2 2 2 3 4 3 3 2 4 6 6 6 5 5 3 5 5 4 2 3 3 3 3 5 3 5 3 3 2 4 4 3 4 3 2 4 3 3 </values> 988.58/125.85 v </instantiation>
OK 39
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 (10741 MiB free) memory of node 1: 16384 MiB (15215 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394520-1568419301/watcher-4394520-1568419301 -o /tmp/evaluation-result-4394520-1568419301/solver-4394520-1568419301 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1329705844 HOME/instance-4394520-1568419301.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=13808, runsolver pid=13805 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 6.41 7.34 7.00 2/211 13829 /proc/meminfo: memFree=26562620/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28227388 memory=30180 CPUtime=0.12 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 5952 0 0 0 11 1 0 0 20 0 20 0 418187304 28904845312 7545 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7056847 7545 3135 1 0 7019032 0 [pid=13810/tid=13811] ppid=13808 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) R 13808 13808 12970 0 -1 4202560 3861 0 0 0 8 1 0 0 20 0 20 0 418187304 28904845312 7545 33554432000 4194304 4196468 140736434102592 139906333289504 139906329076893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28227388 memory=139958490573942 CPUtime=0 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13815] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13815/stat : 13815 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905877269520 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13816] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13816/stat : 13816 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905876216208 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13817] ppid=13808 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13817/stat : 13817 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905875163408 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13818] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13818/stat : 13818 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905874111120 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13819] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13819/stat : 13819 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905873058320 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13820] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13820/stat : 13820 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905713826416 139906329066114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13821] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13821/stat : 13821 (java) S 13808 13808 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905712772384 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13822] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13822/stat : 13822 (java) S 13808 13808 12970 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905711720048 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13823] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13823/stat : 13823 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905710668368 139906329073563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13824] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13824/stat : 13824 (java) S 13808 13808 12970 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905709615216 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13825] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13825/stat : 13825 (java) R 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905708562416 139906329066114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13826] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13826/stat : 13826 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905707510128 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13827] ppid=13808 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/13810/task/13827/stat : 13827 (java) R 13808 13808 12970 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905706457328 139906329066114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13828] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13828/stat : 13828 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905705405280 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13829] ppid=13808 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13829/stat : 13829 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 7545 33554432000 4194304 4196468 140736434102592 139905704352560 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31632 KiB [startup+0.210269 s]* /proc/loadavg: 6.41 7.34 7.00 2/211 13829 /proc/meminfo: memFree=26549304/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28227388 memory=41248 CPUtime=0.34 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 9516 0 0 0 31 3 0 0 20 0 20 0 418187304 28904845312 10312 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7056847 10312 3288 1 0 7019032 0 [pid=13810/tid=13811] ppid=13808 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) R 13808 13808 12970 0 -1 4202560 6670 0 0 0 18 2 0 0 20 0 20 0 418187304 28904845312 10312 33554432000 4194304 4196468 140736434102592 139906333289664 139906329066902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28227388 memory=288370334642271872 CPUtime=0 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13815] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13815/stat : 13815 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905877269520 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13816] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13816/stat : 13816 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905876216208 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13817] ppid=13808 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13817/stat : 13817 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905875163408 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13818] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13818/stat : 13818 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905874111120 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13819] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13819/stat : 13819 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905873058320 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13820] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13820/stat : 13820 (java) S 13808 13808 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905713826416 139906329066114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13821] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13821/stat : 13821 (java) S 13808 13808 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905712772384 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13822] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13822/stat : 13822 (java) S 13808 13808 12970 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418187307 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905711720048 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13823] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13823/stat : 13823 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905710668368 139906329073563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13824] ppid=13808 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/13810/task/13824/stat : 13824 (java) S 13808 13808 12970 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905709615216 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13825] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13825/stat : 13825 (java) S 13808 13808 12970 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905708562416 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13826] ppid=13808 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/13810/task/13826/stat : 13826 (java) S 13808 13808 12970 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905707510128 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13827] ppid=13808 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/13810/task/13827/stat : 13827 (java) R 13808 13808 12970 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905706457328 139906307984304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13828] ppid=13808 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13828/stat : 13828 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905705405280 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13829] ppid=13808 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13829/stat : 13829 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28904845312 10312 33554432000 4194304 4196468 140736434102592 139905704352560 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42700 KiB [startup+0.30965 s]* /proc/loadavg: 6.41 7.34 7.00 4/211 13829 /proc/meminfo: memFree=26541796/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28231644 memory=50064 CPUtime=0.52 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 10874 0 0 0 48 4 0 0 20 0 20 0 418187304 28909203456 12516 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7057911 12516 3342 1 0 7019032 0 [pid=13810/tid=13811] ppid=13808 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) R 13808 13808 12970 0 -1 4202560 7782 0 0 0 26 3 0 0 20 0 20 0 418187304 28909203456 12547 33554432000 4194304 4196468 140736434102592 139906333286080 139906313135454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13815] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13815/stat : 13815 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905877269520 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13816] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13816/stat : 13816 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905876216208 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13817] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13817/stat : 13817 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905875163408 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13818] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13818/stat : 13818 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905874111120 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13819] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13819/stat : 13819 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905873058320 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13820] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13820/stat : 13820 (java) S 13808 13808 12970 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418187307 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905713826416 139906329066114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13821] ppid=13808 vsize=28231644 memory=279916709092736 CPUtime=0 cores=0-7 /proc/13810/task/13821/stat : 13821 (java) S 13808 13808 12970 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418187307 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905712772384 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13822] ppid=13808 vsize=28231644 memory=279916709097344 CPUtime=0 cores=0-7 /proc/13810/task/13822/stat : 13822 (java) S 13808 13808 12970 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418187307 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905711720048 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13823] ppid=13808 vsize=28231644 memory=279916709101952 CPUtime=0 cores=0-7 /proc/13810/task/13823/stat : 13823 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905710668368 139906329073563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13824] ppid=13808 vsize=28231644 memory=279916709106560 CPUtime=0.03 cores=0-7 /proc/13810/task/13824/stat : 13824 (java) R 13808 13808 12970 0 -1 4202560 617 0 0 0 3 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905709605600 139906310576163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13825] ppid=13808 vsize=28231644 memory=279916709111168 CPUtime=0.01 cores=0-7 /proc/13810/task/13825/stat : 13825 (java) S 13808 13808 12970 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905708562416 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13826] ppid=13808 vsize=28231644 memory=279916709115776 CPUtime=0.02 cores=0-7 /proc/13810/task/13826/stat : 13826 (java) S 13808 13808 12970 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905707510128 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13827] ppid=13808 vsize=28231644 memory=279916709120384 CPUtime=0.12 cores=0-7 /proc/13810/task/13827/stat : 13827 (java) S 13808 13808 12970 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905706457328 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13828] ppid=13808 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13828/stat : 13828 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905705405280 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13829] ppid=13808 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/13810/task/13829/stat : 13829 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187310 28909203456 12547 33554432000 4194304 4196468 140736434102592 139905704352560 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51516 KiB [startup+0.700854 s] /proc/loadavg: 6.41 7.34 7.00 2/211 13829 /proc/meminfo: memFree=26528868/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28233768 memory=93396 CPUtime=1.71 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 16592 0 0 0 163 8 0 0 20 0 20 0 418187304 28911378432 23349 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7058442 23349 3457 1 0 7019544 0 [pid=13810/tid=13811] ppid=13808 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) R 13808 13808 12970 0 -1 4202560 9177 0 0 0 63 4 0 0 20 0 20 0 418187304 28911378432 23349 33554432000 4194304 4196468 140736434102592 139906333291616 139905962951491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28911378432 23349 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418187305 28911378432 23349 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418187305 28911378432 23349 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 ################ # More data... # ################ [pid=13810/tid=13924] ppid=13808 vsize=28834892 memory=5972 CPUtime=116.65 cores=0-7 /proc/13810/task/13924/stat : 13924 (java) R 13808 13808 12970 0 -1 4202560 1517 0 0 0 11664 1 0 0 20 0 29 0 418187892 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905690931248 139905967251297 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13926] ppid=13808 vsize=28834892 memory=3616 CPUtime=116.46 cores=0-7 /proc/13810/task/13926/stat : 13926 (java) R 13808 13808 12970 0 -1 4202560 3224 0 0 0 11645 1 0 0 20 0 29 0 418187946 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905688825688 139905959323344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13927] ppid=13808 vsize=28834892 memory=40988 CPUtime=116.7 cores=0-7 /proc/13810/task/13927/stat : 13927 (java) R 13808 13808 12970 0 -1 4202560 2889 0 0 0 11668 2 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905691984712 139905965347361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13928] ppid=13808 vsize=28834892 memory=988 CPUtime=116.3 cores=0-7 /proc/13810/task/13928/stat : 13928 (java) R 13808 13808 12970 0 -1 4202560 12558 0 0 0 11624 6 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905687772808 139905970058417 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13929] ppid=13808 vsize=28834892 memory=2004 CPUtime=116.39 cores=0-7 /proc/13810/task/13929/stat : 13929 (java) R 13808 13808 12970 0 -1 4202560 16399 0 0 0 11631 8 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905693038976 139905968834051 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13930] ppid=13808 vsize=28834892 memory=1428 CPUtime=0.63 cores=0-7 /proc/13810/task/13930/stat : 13930 (java) S 13808 13808 12970 0 -1 1077944384 18 0 0 0 63 0 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905694094416 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13931] ppid=13808 vsize=28834892 memory=1452 CPUtime=116.68 cores=0-7 /proc/13810/task/13931/stat : 13931 (java) R 13808 13808 12970 0 -1 4202560 7683 0 0 0 11664 4 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905695145752 139905965346675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13932] ppid=13808 vsize=28834892 memory=754464 CPUtime=116.57 cores=0-7 /proc/13810/task/13932/stat : 13932 (java) R 13808 13808 12970 0 -1 4202560 8129 0 0 0 11655 2 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905689882760 139905959334220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13933] ppid=13808 vsize=28834892 memory=1428 CPUtime=116.59 cores=0-7 /proc/13810/task/13933/stat : 13933 (java) R 13808 13808 12970 0 -1 4202560 10194 0 0 0 11656 3 0 0 20 0 29 0 418187947 29526929408 192280 33554432000 4194304 4196468 140736434102592 139905684623112 139905965674586 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 980.62 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 770572 KiB [startup+125.601 s] /proc/loadavg: 7.94 7.68 7.18 9/221 13941 /proc/meminfo: memFree=25823184/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28834892 memory=769212 CPUtime=986.99 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 156099 0 0 0 98555 144 0 0 20 0 29 0 418187304 29526929408 192303 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7208723 192303 3540 1 0 7169825 0 [pid=13810/tid=13811] ppid=13808 vsize=28834892 memory=1452 CPUtime=0.76 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) S 13808 13808 12970 0 -1 1077944384 9520 0 0 0 72 4 0 0 20 0 29 0 418187304 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906333295744 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28834892 memory=755484 CPUtime=0.78 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 2340 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28834892 memory=1452 CPUtime=0.78 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 2718 0 0 0 68 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28834892 memory=769120 CPUtime=0.77 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2515 0 0 0 68 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13815] ppid=13808 vsize=28834892 memory=8317482817917895235 CPUtime=0.78 cores=0-7 /proc/13810/task/13815/stat : 13815 (java) S 13808 13808 12970 0 -1 1077944384 2814 0 0 0 68 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905877269520 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13816] ppid=13808 vsize=28834892 memory=532 CPUtime=0.81 cores=0-7 /proc/13810/task/13816/stat : 13816 (java) S 13808 13808 12970 0 -1 1077944384 2804 0 0 0 71 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905876216208 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13817] ppid=13808 vsize=28834892 memory=988 CPUtime=0.78 cores=0-7 /proc/13810/task/13817/stat : 13817 (java) S 13808 13808 12970 0 -1 1077944384 3150 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905875163408 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13818] ppid=13808 vsize=28834892 memory=2004 CPUtime=0.78 cores=0-7 /proc/13810/task/13818/stat : 13818 (java) S 13808 13808 12970 0 -1 1077944384 1606 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905874111120 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13819] ppid=13808 vsize=28834892 memory=1428 CPUtime=0.73 cores=0-7 /proc/13810/task/13819/stat : 13819 (java) S 13808 13808 12970 0 -1 1077944384 2689 0 0 0 65 8 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905873058320 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13820] ppid=13808 vsize=28834892 memory=1724 CPUtime=0.29 cores=0-7 /proc/13810/task/13820/stat : 13820 (java) S 13808 13808 12970 0 -1 1077944384 6708 0 0 0 20 9 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905713826416 139906329066114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13821] ppid=13808 vsize=28834892 memory=704 CPUtime=0 cores=0-7 /proc/13810/task/13821/stat : 13821 (java) S 13808 13808 12970 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905712772448 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13822] ppid=13808 vsize=28834892 memory=1056 CPUtime=0 cores=0-7 /proc/13810/task/13822/stat : 13822 (java) S 13808 13808 12970 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905711720064 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13823] ppid=13808 vsize=28834892 memory=1556 CPUtime=0 cores=0-7 /proc/13810/task/13823/stat : 13823 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905710668368 139906329073563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13824] ppid=13808 vsize=28834892 memory=780 CPUtime=2.49 cores=0-7 /proc/13810/task/13824/stat : 13824 (java) S 13808 13808 12970 0 -1 1077944384 12778 0 0 0 246 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905709615216 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13825] ppid=13808 vsize=28834892 memory=3252 CPUtime=2.43 cores=0-7 /proc/13810/task/13825/stat : 13825 (java) S 13808 13808 12970 0 -1 1077944384 9227 0 0 0 240 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905708562416 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13826] ppid=13808 vsize=28834892 memory=1112 CPUtime=2.69 cores=0-7 /proc/13810/task/13826/stat : 13826 (java) S 13808 13808 12970 0 -1 1077944384 13778 0 0 0 266 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905707510128 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13827] ppid=13808 vsize=28834892 memory=5972 CPUtime=1.12 cores=0-7 /proc/13810/task/13827/stat : 13827 (java) S 13808 13808 12970 0 -1 1077944384 12758 0 0 0 109 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905706457328 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13828] ppid=13808 vsize=28834892 memory=7552 CPUtime=0 cores=0-7 /proc/13810/task/13828/stat : 13828 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905705405280 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13829] ppid=13808 vsize=28834892 memory=2832 CPUtime=0.04 cores=0-7 /proc/13810/task/13829/stat : 13829 (java) S 13808 13808 12970 0 -1 1077944384 1255 0 0 0 0 4 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905704352560 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13924] ppid=13808 vsize=28834892 memory=1084 CPUtime=117.43 cores=0-7 /proc/13810/task/13924/stat : 13924 (java) R 13808 13808 12970 0 -1 4202560 1535 0 0 0 11742 1 0 0 20 0 29 0 418187892 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905690931360 139905967251241 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13926] ppid=13808 vsize=28834892 memory=14012 CPUtime=117.25 cores=0-7 /proc/13810/task/13926/stat : 13926 (java) R 13808 13808 12970 0 -1 4202560 3354 0 0 0 11724 1 0 0 20 0 29 0 418187946 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905688825688 139905968430605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13927] ppid=13808 vsize=28834892 memory=14048 CPUtime=117.49 cores=0-7 /proc/13810/task/13927/stat : 13927 (java) R 13808 13808 12970 0 -1 4202560 2991 0 0 0 11747 2 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905691988024 139905967662472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13928] ppid=13808 vsize=28834892 memory=21640 CPUtime=117.09 cores=0-7 /proc/13810/task/13928/stat : 13928 (java) R 13808 13808 12970 0 -1 4202560 13062 0 0 0 11703 6 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905687774816 139905969983847 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13929] ppid=13808 vsize=28834892 memory=2120 CPUtime=117.18 cores=0-7 /proc/13810/task/13929/stat : 13929 (java) R 13808 13808 12970 0 -1 4202560 16849 0 0 0 11710 8 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905693038976 139905967310680 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13930] ppid=13808 vsize=28834892 memory=532 CPUtime=0.63 cores=0-7 /proc/13810/task/13930/stat : 13930 (java) S 13808 13808 12970 0 -1 1077944384 18 0 0 0 63 0 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905694094416 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13931] ppid=13808 vsize=28834892 memory=1564 CPUtime=117.48 cores=0-7 /proc/13810/task/13931/stat : 13931 (java) R 13808 13808 12970 0 -1 4202560 7840 0 0 0 11744 4 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905695142168 139905967821956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13932] ppid=13808 vsize=28834892 memory=924 CPUtime=117.37 cores=0-7 /proc/13810/task/13932/stat : 13932 (java) R 13808 13808 12970 0 -1 4202560 8381 0 0 0 11734 3 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905689878344 139905965026700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13933] ppid=13808 vsize=28834892 memory=1756 CPUtime=117.38 cores=0-7 /proc/13810/task/13933/stat : 13933 (java) R 13808 13808 12970 0 -1 4202560 10599 0 0 0 11735 3 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905684623944 139905968490442 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 986.99 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 770664 KiB [startup+125.801 s] /proc/loadavg: 7.94 7.68 7.18 9/221 13941 /proc/meminfo: memFree=25823184/32770624 swapFree=66977616/67108860 [pid=13808] ppid=13805 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13808/stat : 13808 (xcsp3-exec) S 13805 13808 12970 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418187304 115843072 363 33554432000 4194304 5098028 140720698592944 140720698591048 140492337885820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30449664 140720698598261 140720698598505 140720698598505 140720698601418 0 /proc/13808/statm: 28282 363 304 221 0 87 0 [pid=13810] ppid=13808 vsize=28834892 memory=769212 CPUtime=988.58 cores=0-7 /proc/13810/stat : 13810 (java) S 13808 13808 12970 0 -1 1077944320 157158 0 0 0 98714 144 0 0 20 0 29 0 418187304 29526929408 192303 33554432000 4194304 4196468 140736434102592 140736434085136 139906329054967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 /proc/13810/statm: 7208723 192303 3540 1 0 7169825 0 [pid=13810/tid=13811] ppid=13808 vsize=28834892 memory=0 CPUtime=0.76 cores=0-7 /proc/13810/task/13811/stat : 13811 (java) S 13808 13808 12970 0 -1 1077944384 9520 0 0 0 72 4 0 0 20 0 29 0 418187304 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906333295744 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13812] ppid=13808 vsize=28834892 memory=0 CPUtime=0.78 cores=0-7 /proc/13810/task/13812/stat : 13812 (java) S 13808 13808 12970 0 -1 1077944384 2340 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906281675664 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13813] ppid=13808 vsize=28834892 memory=1768 CPUtime=0.78 cores=0-7 /proc/13810/task/13813/stat : 13813 (java) S 13808 13808 12970 0 -1 1077944384 2718 0 0 0 68 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906280622864 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13814] ppid=13808 vsize=28834892 memory=111632 CPUtime=0.77 cores=0-7 /proc/13810/task/13814/stat : 13814 (java) S 13808 13808 12970 0 -1 1077944384 2515 0 0 0 68 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139906279570576 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13815] ppid=13808 vsize=28834892 memory=796 CPUtime=0.78 cores=0-7 /proc/13810/task/13815/stat : 13815 (java) S 13808 13808 12970 0 -1 1077944384 2814 0 0 0 68 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905877269520 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13816] ppid=13808 vsize=28834892 memory=1804 CPUtime=0.81 cores=0-7 /proc/13810/task/13816/stat : 13816 (java) S 13808 13808 12970 0 -1 1077944384 2804 0 0 0 71 10 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905876216208 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13817] ppid=13808 vsize=28834892 memory=916 CPUtime=0.78 cores=0-7 /proc/13810/task/13817/stat : 13817 (java) S 13808 13808 12970 0 -1 1077944384 3150 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905875163408 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13818] ppid=13808 vsize=28834892 memory=4420 CPUtime=0.78 cores=0-7 /proc/13810/task/13818/stat : 13818 (java) S 13808 13808 12970 0 -1 1077944384 1606 0 0 0 69 9 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905874111120 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13819] ppid=13808 vsize=28834892 memory=4100 CPUtime=0.73 cores=0-7 /proc/13810/task/13819/stat : 13819 (java) S 13808 13808 12970 0 -1 1077944384 2689 0 0 0 65 8 0 0 20 0 29 0 418187305 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905873058320 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13820] ppid=13808 vsize=28834892 memory=1412 CPUtime=0.29 cores=0-7 /proc/13810/task/13820/stat : 13820 (java) S 13808 13808 12970 0 -1 1077944384 6708 0 0 0 20 9 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905713826416 139906329066114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13821] ppid=13808 vsize=28834892 memory=3552 CPUtime=0 cores=0-7 /proc/13810/task/13821/stat : 13821 (java) S 13808 13808 12970 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905712772448 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13822] ppid=13808 vsize=28834892 memory=1452 CPUtime=0 cores=0-7 /proc/13810/task/13822/stat : 13822 (java) S 13808 13808 12970 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 29 0 418187307 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905711720064 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13823] ppid=13808 vsize=28834892 memory=769120 CPUtime=0 cores=0-7 /proc/13810/task/13823/stat : 13823 (java) S 13808 13808 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905710668368 139906329073563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13824] ppid=13808 vsize=28834892 memory=1164 CPUtime=2.49 cores=0-7 /proc/13810/task/13824/stat : 13824 (java) S 13808 13808 12970 0 -1 1077944384 12778 0 0 0 246 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905709615216 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13825] ppid=13808 vsize=28834892 memory=8317482817917895235 CPUtime=2.43 cores=0-7 /proc/13810/task/13825/stat : 13825 (java) S 13808 13808 12970 0 -1 1077944384 9227 0 0 0 240 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905708562416 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13826] ppid=13808 vsize=28834892 memory=1412 CPUtime=2.69 cores=0-7 /proc/13810/task/13826/stat : 13826 (java) S 13808 13808 12970 0 -1 1077944384 13778 0 0 0 266 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905707510128 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13827] ppid=13808 vsize=28834892 memory=3552 CPUtime=1.12 cores=0-7 /proc/13810/task/13827/stat : 13827 (java) S 13808 13808 12970 0 -1 1077944384 12758 0 0 0 109 3 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905706457328 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13828] ppid=13808 vsize=28834892 memory=1452 CPUtime=0 cores=0-7 /proc/13810/task/13828/stat : 13828 (java) S 13808 13808 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905705405280 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13829] ppid=13808 vsize=28834892 memory=754972 CPUtime=0.04 cores=0-7 /proc/13810/task/13829/stat : 13829 (java) S 13808 13808 12970 0 -1 1077944384 1255 0 0 0 0 4 0 0 20 0 29 0 418187310 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905704352560 139906329066114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13924] ppid=13808 vsize=28834892 memory=1164 CPUtime=117.63 cores=0-7 /proc/13810/task/13924/stat : 13924 (java) R 13808 13808 12970 0 -1 4202560 1536 0 0 0 11762 1 0 0 20 0 29 0 418187892 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905690931496 139905967251454 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13926] ppid=13808 vsize=28834892 memory=754760 CPUtime=117.45 cores=0-7 /proc/13810/task/13926/stat : 13926 (java) R 13808 13808 12970 0 -1 4202560 3425 0 0 0 11744 1 0 0 20 0 29 0 418187946 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905688825688 139906314265280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13927] ppid=13808 vsize=28834892 memory=8317482817917895235 CPUtime=117.68 cores=0-7 /proc/13810/task/13927/stat : 13927 (java) R 13808 13808 12970 0 -1 4202560 3086 0 0 0 11766 2 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905691988024 139905960688317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13928] ppid=13808 vsize=28834892 memory=4126316290023845779 CPUtime=117.29 cores=0-7 /proc/13810/task/13928/stat : 13928 (java) R 13808 13808 12970 0 -1 4202560 13213 0 0 0 11723 6 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905687774816 139905969983847 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13929] ppid=13808 vsize=28834892 memory=757004 CPUtime=117.37 cores=0-7 /proc/13810/task/13929/stat : 13929 (java) R 13808 13808 12970 0 -1 4202560 17371 0 0 0 11729 8 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905693038976 139906310894667 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13930] ppid=13808 vsize=28834892 memory=14048 CPUtime=0.63 cores=0-7 /proc/13810/task/13930/stat : 13930 (java) S 13808 13808 12970 0 -1 1077944384 18 0 0 0 63 0 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905694094416 139906329065173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13931] ppid=13808 vsize=28834892 memory=21640 CPUtime=117.68 cores=0-7 /proc/13810/task/13931/stat : 13931 (java) R 13808 13808 12970 0 -1 4202560 7932 0 0 0 11764 4 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905695142168 139906308132432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13932] ppid=13808 vsize=28834892 memory=2120 CPUtime=117.57 cores=0-7 /proc/13810/task/13932/stat : 13932 (java) R 13808 13808 12970 0 -1 4202560 8500 0 0 0 11754 3 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905689878344 139905959271813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 [pid=13810/tid=13933] ppid=13808 vsize=28834892 memory=532 CPUtime=117.58 cores=0-7 /proc/13810/task/13933/stat : 13933 (java) R 13808 13808 12970 0 -1 4202560 10607 0 0 0 11755 3 0 0 20 0 29 0 418187947 29526929408 192303 33554432000 4194304 4196468 140736434102592 139905684623944 139905965003319 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19488768 140736434107370 140736434107542 140736434107542 140736434110415 0 Current children cumulated CPU time: 988.58 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 770664 KiB Child status: 0 Real time (s): 125.868 CPU time (s): 988.986 CPU user time (s): 987.518 CPU system time (s): 1.46808 CPU usage (%): 785.731 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 770664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 987.518 system time used= 1.46808 maximum resident set size= 770348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159324 page faults= 0 swaps= 0 block input operations= 0 block output operations= 328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18384 involuntary context switches= 12064 # summary of solver processes directly reported to runsolver: # pid: 13808 # total CPU time (s): 988.986 # total CPU user time (s): 987.518 # total CPU system time (s): 1.46808 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.10356 second user time and 1.56923 second system time The end
Begin job on node104 at 2019-09-14 00:51:23 IDJOB=4394520 IDBENCH=116014 IDSOLVER=2843 FILE ID=node104/4394520-1568419301 RUNJOBID= node104-1568412551-12997 PBS_JOBID= 21702262 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-07-10.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-4394520-1568419301/watcher-4394520-1568419301 -o /tmp/evaluation-result-4394520-1568419301/solver-4394520-1568419301 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1329705844 HOME/instance-4394520-1568419301.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ebe39bf25244fda615bb1bf8fe88192a RANDOM SEED=1329705844 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26579508 kB MemAvailable: 31835648 kB Buffers: 174992 kB Cached: 5335036 kB SwapCached: 31860 kB Active: 1797136 kB Inactive: 3750184 kB Active(anon): 4304 kB Inactive(anon): 74492 kB Active(file): 1792832 kB Inactive(file): 3675692 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66977616 kB Dirty: 25900 kB Writeback: 0 kB AnonPages: 115180 kB Mapped: 44072 kB Shmem: 32780 kB Slab: 236952 kB SReclaimable: 206900 kB SUnreclaim: 30052 kB KernelStack: 3408 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58988 MiB End job on node104 at 2019-09-14 00:53:29