Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 55 | 63.9398 | 8.6235 |
Name | GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml |
MD5SUM | 769ec0f26c47f1b96bb609b2e4d8d5d6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 31.0004 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] |
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-4393825-1568448726.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393825-1568448726.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.28/0.66 c solve instance... 1.60/0.78 o 80 1.60/0.79 o 75 2.24/0.80 o 73 2.24/0.82 o 72 2.24/0.87 o 70 2.24/0.89 o 68 2.93/0.94 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (9/34) 2.93/0.94 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2.93/0.94 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2.93/0.94 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2.93/0.94 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2.93/0.94 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2.93/0.94 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (9/34) 2.93/0.94 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 2.93/0.94 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 2.93/0.94 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 2.93/0.94 at org.chocosolver.solver.Solver.repair(Solver.java:443) 2.93/0.94 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 2.93/0.94 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2.93/0.94 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2.93/0.94 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2.93/0.94 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2.93/0.94 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2.93/0.94 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2.93/0.94 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2.93/0.94 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2.93/0.94 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2.93/0.94 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2.93/0.94 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2.93/0.94 o 66 2.93/0.99 o 62 7.59/1.59 o 60 14.69/2.43 o 55 63.85/8.61 s OPTIMUM FOUND 63.85/8.61 v <instantiation> 63.85/8.61 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 63.85/8.61 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 63.85/8.61 v </instantiation>
OK 55
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 (12439 MiB free) memory of node 1: 16384 MiB (11663 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393825-1568448726/watcher-4393825-1568448726 -o /tmp/evaluation-result-4393825-1568448726/solver-4393825-1568448726 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1249473297 HOME/instance-4393825-1568448726.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=30076, runsolver pid=30073 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 6.13 6.57 6.75 2/212 30097 /proc/meminfo: memFree=24664416/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28227388 memory=30076 CPUtime=0.12 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 420787537 28904845312 7519 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7056847 7519 3118 1 0 7019032 0 [pid=30078/tid=30079] ppid=30076 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) R 30076 30076 28228 0 -1 4202560 3395 0 0 0 8 1 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140241266191296 140241261976982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28227388 memory=140595230963328 CPUtime=0 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30083] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30083/stat : 30083 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240810519056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30084] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30084/stat : 30084 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240809466768 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30085] ppid=30076 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30085/stat : 30085 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240808413968 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30086] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30086/stat : 30086 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240807361680 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30087] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30087/stat : 30087 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240806308880 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30088] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30088/stat : 30088 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787540 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240646695024 140241261976194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30089] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30089/stat : 30089 (java) S 30076 30076 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420787540 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240645640992 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30090] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30090/stat : 30090 (java) S 30076 30076 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420787541 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240644588656 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30091] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30091/stat : 30091 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240643536976 140241261983643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30092] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30092/stat : 30092 (java) S 30076 30076 28228 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240642484848 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30093] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30093/stat : 30093 (java) S 30076 30076 28228 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240641432048 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30094] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30094/stat : 30094 (java) S 30076 30076 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240640379760 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30095] ppid=30076 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) R 30076 30076 28228 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787544 28904845312 7519 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31528 KiB [startup+0.210796 s]* /proc/loadavg: 6.13 6.57 6.75 3/212 30097 /proc/meminfo: memFree=24651820/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28227388 memory=41296 CPUtime=0.34 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 9052 0 0 0 31 3 0 0 20 0 20 0 420787537 28904845312 10324 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7056847 10324 3297 1 0 7019032 0 [pid=30078/tid=30079] ppid=30076 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) R 30076 30076 28228 0 -1 4202560 6193 0 0 0 17 2 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140241266194768 140241261976982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28227388 memory=140595230991720 CPUtime=0 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30083] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30083/stat : 30083 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240810519056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30084] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30084/stat : 30084 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240809466768 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30085] ppid=30076 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30085/stat : 30085 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240808413968 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30086] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30086/stat : 30086 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240807361680 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30087] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30087/stat : 30087 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240806308880 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30088] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30088/stat : 30088 (java) S 30076 30076 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420787540 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240646695024 140241261976194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30089] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30089/stat : 30089 (java) S 30076 30076 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420787540 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240645640992 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30090] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30090/stat : 30090 (java) S 30076 30076 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420787541 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240644588656 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30091] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30091/stat : 30091 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240643536976 140241261983643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30092] ppid=30076 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30078/task/30092/stat : 30092 (java) S 30076 30076 28228 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240642484848 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30093] ppid=30076 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30078/task/30093/stat : 30093 (java) S 30076 30076 28228 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240641432048 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30094] ppid=30076 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/30078/task/30094/stat : 30094 (java) S 30076 30076 28228 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240640379760 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30095] ppid=30076 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) R 30076 30076 28228 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787543 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787544 28904845312 10324 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42748 KiB [startup+0.31071 s]* /proc/loadavg: 6.13 6.57 6.75 4/212 30097 /proc/meminfo: memFree=24644920/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28231644 memory=50144 CPUtime=0.52 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 10412 0 0 0 48 4 0 0 20 0 20 0 420787537 28909203456 12536 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7057911 12536 3333 1 0 7019032 0 [pid=30078/tid=30079] ppid=30076 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) R 30076 30076 28228 0 -1 4202560 7309 0 0 0 26 3 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140241266198832 140241246045534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30083] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30083/stat : 30083 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240810519056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30084] ppid=30076 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/30078/task/30084/stat : 30084 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240809466768 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30085] ppid=30076 vsize=28231644 memory=140595083441071 CPUtime=0 cores=0-7 /proc/30078/task/30085/stat : 30085 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240808413968 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30086] ppid=30076 vsize=28231644 memory=140595083443376 CPUtime=0 cores=0-7 /proc/30078/task/30086/stat : 30086 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240807361680 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30087] ppid=30076 vsize=28231644 memory=140595083445680 CPUtime=0 cores=0-7 /proc/30078/task/30087/stat : 30087 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420787538 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240806308880 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30088] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30088/stat : 30088 (java) S 30076 30076 28228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420787540 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240646695024 140241261976194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30089] ppid=30076 vsize=28231644 memory=281190166898320 CPUtime=0 cores=0-7 /proc/30078/task/30089/stat : 30089 (java) S 30076 30076 28228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420787540 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240645640992 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30090] ppid=30076 vsize=28231644 memory=281190166905232 CPUtime=0 cores=0-7 /proc/30078/task/30090/stat : 30090 (java) S 30076 30076 28228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420787541 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240644588656 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30091] ppid=30076 vsize=28231644 memory=281190166846512 CPUtime=0 cores=0-7 /proc/30078/task/30091/stat : 30091 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240643536976 140241261983643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30092] ppid=30076 vsize=28231644 memory=281190166919056 CPUtime=0.02 cores=0-7 /proc/30078/task/30092/stat : 30092 (java) R 30076 30076 28228 0 -1 4202560 419 0 0 0 2 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240642475232 140241239560288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30093] ppid=30076 vsize=28231644 memory=281190166925968 CPUtime=0.02 cores=0-7 /proc/30078/task/30093/stat : 30093 (java) S 30076 30076 28228 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240641432048 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30094] ppid=30076 vsize=28231644 memory=281190166923664 CPUtime=0.03 cores=0-7 /proc/30078/task/30094/stat : 30094 (java) S 30076 30076 28228 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240640379760 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30095] ppid=30076 vsize=28231644 memory=281190166939824 CPUtime=0.12 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) S 30076 30076 28228 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420787543 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420787544 28909203456 12536 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51596 KiB [startup+0.700928 s] /proc/loadavg: 6.13 6.57 6.75 2/212 30097 /proc/meminfo: memFree=24628100/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28766280 memory=100084 CPUtime=1.6 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 14891 0 0 0 152 8 0 0 20 0 28 0 420787537 29456670720 25021 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7191570 25021 3450 1 0 7152672 0 [pid=30078/tid=30079] ppid=30076 vsize=28766280 memory=281190167297712 CPUtime=0.65 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) S 30076 30076 28228 0 -1 1077944384 8990 0 0 0 61 4 0 0 20 0 28 0 420787538 29456670720 25021 33554432000 4194304 4196468 140721360334320 140241266205824 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28766280 memory=140595083649904 CPUtime=0 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420787538 29456670720 25021 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420787538 29456670720 25021 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28766280 memory=668 CPUtime=0 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420787538 29456670720 25021 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 ################ # More data... # ################ [pid=30078/tid=30095] ppid=30076 vsize=28769356 memory=0 CPUtime=0.95 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) S 30076 30076 28228 0 -1 1077944384 4011 0 0 0 94 1 0 0 20 0 28 0 420787543 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28769356 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420787543 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28769356 memory=1076 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 420787544 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30178] ppid=30076 vsize=28769356 memory=14008 CPUtime=5.28 cores=0-7 /proc/30078/task/30178/stat : 30178 (java) R 30076 30076 28228 0 -1 4202560 195 0 0 0 528 0 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240620641368 140240907473805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30179] ppid=30076 vsize=28769356 memory=22820 CPUtime=5.26 cores=0-7 /proc/30078/task/30179/stat : 30179 (java) R 30076 30076 28228 0 -1 4202560 169 0 0 0 525 1 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240617493224 140240906379917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30180] ppid=30076 vsize=28769356 memory=14056 CPUtime=4.72 cores=0-7 /proc/30078/task/30180/stat : 30180 (java) R 30076 30076 28228 0 -1 4202560 1012 0 0 0 471 1 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240624853560 140240908790420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30181] ppid=30076 vsize=28769356 memory=2116 CPUtime=5.02 cores=0-7 /proc/30078/task/30181/stat : 30181 (java) R 30076 30076 28228 0 -1 4202560 229 0 0 0 502 0 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240628011272 140240904572877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30182] ppid=30076 vsize=28769356 memory=520 CPUtime=5.05 cores=0-7 /proc/30078/task/30182/stat : 30182 (java) R 30076 30076 28228 0 -1 4202560 292 0 0 0 505 0 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240622751056 140240906192712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30183] ppid=30076 vsize=28769356 memory=1560 CPUtime=5.36 cores=0-7 /proc/30078/task/30183/stat : 30183 (java) R 30076 30076 28228 0 -1 4202560 263 0 0 0 536 0 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240626959112 140240904700642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30184] ppid=30076 vsize=28769356 memory=924 CPUtime=5.06 cores=0-7 /proc/30078/task/30184/stat : 30184 (java) R 30076 30076 28228 0 -1 4202560 132 0 0 0 506 0 0 0 20 0 28 0 420787780 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240621694624 140240905752497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30185] ppid=30076 vsize=28769356 memory=3688 CPUtime=5.13 cores=0-7 /proc/30078/task/30185/stat : 30185 (java) R 30076 30076 28228 0 -1 4202560 188 0 0 0 513 0 0 0 20 0 28 0 420787783 29459820544 59841 33554432000 4194304 4196468 140721360334320 140240625905160 140240904700281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 59.15 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 240816 KiB [startup+8.40209 s] /proc/loadavg: 7.02 6.75 6.81 9/220 30185 /proc/meminfo: memFree=24457164/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28769356 memory=240988 CPUtime=62.25 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 41760 0 0 0 6200 25 0 0 20 0 28 0 420787537 29459820544 60247 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7192339 60247 3519 1 0 7153441 0 [pid=30078/tid=30079] ppid=30076 vsize=28769356 memory=6944656575208382560 CPUtime=0.66 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) S 30076 30076 28228 0 -1 1077944384 8995 0 0 0 62 4 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140241266205824 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28769356 memory=8514726395715349638 CPUtime=0.04 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28769356 memory=8514726395714820750 CPUtime=0.02 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28769356 memory=3047711462688066934 CPUtime=0.04 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30083] ppid=30076 vsize=28769356 memory=281190167486176 CPUtime=0.02 cores=0-7 /proc/30078/task/30083/stat : 30083 (java) S 30076 30076 28228 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240810519056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30084] ppid=30076 vsize=28769356 memory=6224928397200680801 CPUtime=0.03 cores=0-7 /proc/30078/task/30084/stat : 30084 (java) S 30076 30076 28228 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240809466768 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30085] ppid=30076 vsize=28769356 memory=3504 CPUtime=0.03 cores=0-7 /proc/30078/task/30085/stat : 30085 (java) S 30076 30076 28228 0 -1 1077944384 1175 0 0 0 3 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240808413968 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30086] ppid=30076 vsize=28769356 memory=41492 CPUtime=0.02 cores=0-7 /proc/30078/task/30086/stat : 30086 (java) S 30076 30076 28228 0 -1 1077944384 1223 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240807361680 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30087] ppid=30076 vsize=28769356 memory=988 CPUtime=0.02 cores=0-7 /proc/30078/task/30087/stat : 30087 (java) S 30076 30076 28228 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240806308880 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30088] ppid=30076 vsize=28769356 memory=281190167629568 CPUtime=0.02 cores=0-7 /proc/30078/task/30088/stat : 30088 (java) S 30076 30076 28228 0 -1 1077944384 607 0 0 0 2 0 0 0 20 0 28 0 420787540 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240646695024 140241261976194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30089] ppid=30076 vsize=28769356 memory=6493990552776 CPUtime=0 cores=0-7 /proc/30078/task/30089/stat : 30089 (java) S 30076 30076 28228 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 420787540 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240645641056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30090] ppid=30076 vsize=28769356 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/30078/task/30090/stat : 30090 (java) S 30076 30076 28228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 420787541 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240644588656 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30091] ppid=30076 vsize=28769356 memory=15816698942985535 CPUtime=0 cores=0-7 /proc/30078/task/30091/stat : 30091 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240643536976 140241261983643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30092] ppid=30076 vsize=28769356 memory=1256 CPUtime=2.27 cores=0-7 /proc/30078/task/30092/stat : 30092 (java) S 30076 30076 28228 0 -1 1077944384 7039 0 0 0 226 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240642484848 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30093] ppid=30076 vsize=28769356 memory=17828 CPUtime=2.02 cores=0-7 /proc/30078/task/30093/stat : 30093 (java) S 30076 30076 28228 0 -1 1077944384 4893 0 0 0 200 2 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240641432048 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30094] ppid=30076 vsize=28769356 memory=8315171486948655189 CPUtime=2.27 cores=0-7 /proc/30078/task/30094/stat : 30094 (java) S 30076 30076 28228 0 -1 1077944384 7148 0 0 0 226 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240640379760 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30095] ppid=30076 vsize=28769356 memory=19326 CPUtime=0.95 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) R 30076 30076 28228 0 -1 1077944384 4016 0 0 0 94 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976194 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28769356 memory=7810481330031191145 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28769356 memory=281190166692080 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 420787544 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30178] ppid=30076 vsize=28769356 memory=7810481330031191145 CPUtime=5.66 cores=0-7 /proc/30078/task/30178/stat : 30178 (java) R 30076 30076 28228 0 -1 4202560 195 0 0 0 566 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240620641880 140240906191636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30179] ppid=30076 vsize=28769356 memory=7234860527353358695 CPUtime=5.64 cores=0-7 /proc/30078/task/30179/stat : 30179 (java) R 30076 30076 28228 0 -1 4202560 171 0 0 0 563 1 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240617492304 140240904572929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30180] ppid=30076 vsize=28769356 memory=42017 CPUtime=5.1 cores=0-7 /proc/30078/task/30180/stat : 30180 (java) R 30076 30076 28228 0 -1 4202560 1020 0 0 0 509 1 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240624853528 140241261976982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30181] ppid=30076 vsize=28769356 memory=315815152341745973 CPUtime=5.38 cores=0-7 /proc/30078/task/30181/stat : 30181 (java) R 30076 30076 28228 0 -1 4202560 234 0 0 0 538 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240628011192 140240904572751 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30182] ppid=30076 vsize=28769356 memory=13573682337417643 CPUtime=5.41 cores=0-7 /proc/30078/task/30182/stat : 30182 (java) R 30076 30076 28228 0 -1 4202560 295 0 0 0 541 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240622748872 140240905240159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30183] ppid=30076 vsize=28769356 memory=0 CPUtime=5.74 cores=0-7 /proc/30078/task/30183/stat : 30183 (java) R 30076 30076 28228 0 -1 4202560 267 0 0 0 574 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240626958600 140240906194566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30184] ppid=30076 vsize=28769356 memory=0 CPUtime=5.44 cores=0-7 /proc/30078/task/30184/stat : 30184 (java) R 30076 30076 28228 0 -1 4202560 134 0 0 0 544 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240621695464 140240904700508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30185] ppid=30076 vsize=28769356 memory=140595083556464 CPUtime=5.51 cores=0-7 /proc/30078/task/30185/stat : 30185 (java) R 30076 30076 28228 0 -1 4202560 190 0 0 0 551 0 0 0 20 0 28 0 420787783 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240625905768 140240906007775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 62.25 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 242440 KiB [startup+8.60209 s] /proc/loadavg: 7.02 6.75 6.81 9/220 30185 /proc/meminfo: memFree=24457164/32770624 swapFree=66939852/67108860 [pid=30076] ppid=30073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30076/stat : 30076 (xcsp3-exec) S 30073 30076 28228 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420787537 115843072 363 33554432000 4194304 5098028 140733624423168 140733624421272 140703942062716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39854080 140733624431477 140733624431721 140733624431721 140733624434634 0 /proc/30076/statm: 28282 363 304 221 0 87 0 [pid=30078] ppid=30076 vsize=28769356 memory=240988 CPUtime=63.85 cores=0-7 /proc/30078/stat : 30078 (java) S 30076 30076 28228 0 -1 1077944320 41769 0 0 0 6360 25 0 0 20 0 28 0 420787537 29459820544 60247 33554432000 4194304 4196468 140721360334320 140721360316864 140241261965047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 /proc/30078/statm: 7192339 60247 3519 1 0 7153441 0 [pid=30078/tid=30079] ppid=30076 vsize=28769356 memory=0 CPUtime=0.66 cores=0-7 /proc/30078/task/30079/stat : 30079 (java) S 30076 30076 28228 0 -1 1077944384 8995 0 0 0 62 4 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140241266205824 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30080] ppid=30076 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30078/task/30080/stat : 30080 (java) S 30076 30076 28228 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240813676944 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30081] ppid=30076 vsize=28769356 memory=140595084042209 CPUtime=0.02 cores=0-7 /proc/30078/task/30081/stat : 30081 (java) S 30076 30076 28228 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240812624144 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30082] ppid=30076 vsize=28769356 memory=7379830113591973475 CPUtime=0.04 cores=0-7 /proc/30078/task/30082/stat : 30082 (java) S 30076 30076 28228 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240811571856 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30083] ppid=30076 vsize=28769356 memory=7444825561389879400 CPUtime=0.02 cores=0-7 /proc/30078/task/30083/stat : 30083 (java) S 30076 30076 28228 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240810519056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30084] ppid=30076 vsize=28769356 memory=7236842964334241616 CPUtime=0.03 cores=0-7 /proc/30078/task/30084/stat : 30084 (java) S 30076 30076 28228 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240809466768 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30085] ppid=30076 vsize=28769356 memory=140595230963328 CPUtime=0.03 cores=0-7 /proc/30078/task/30085/stat : 30085 (java) S 30076 30076 28228 0 -1 1077944384 1175 0 0 0 3 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240808413968 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30086] ppid=30076 vsize=28769356 memory=281190167843648 CPUtime=0.02 cores=0-7 /proc/30078/task/30086/stat : 30086 (java) S 30076 30076 28228 0 -1 1077944384 1223 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240807361680 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30087] ppid=30076 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/30078/task/30087/stat : 30087 (java) S 30076 30076 28228 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 28 0 420787538 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240806308880 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30088] ppid=30076 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/30078/task/30088/stat : 30088 (java) S 30076 30076 28228 0 -1 1077944384 607 0 0 0 2 0 0 0 20 0 28 0 420787540 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240646695024 140241261976194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30089] ppid=30076 vsize=28769356 memory=3504 CPUtime=0 cores=0-7 /proc/30078/task/30089/stat : 30089 (java) S 30076 30076 28228 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 420787540 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240645641056 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30090] ppid=30076 vsize=28769356 memory=41492 CPUtime=0 cores=0-7 /proc/30078/task/30090/stat : 30090 (java) S 30076 30076 28228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 420787541 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240644588656 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30091] ppid=30076 vsize=28769356 memory=988 CPUtime=0 cores=0-7 /proc/30078/task/30091/stat : 30091 (java) S 30076 30076 28228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240643536976 140241261983643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30092] ppid=30076 vsize=28769356 memory=2008 CPUtime=2.28 cores=0-7 /proc/30078/task/30092/stat : 30092 (java) S 30076 30076 28228 0 -1 1077944384 7041 0 0 0 227 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240642484848 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30093] ppid=30076 vsize=28769356 memory=1436 CPUtime=2.03 cores=0-7 /proc/30078/task/30093/stat : 30093 (java) S 30076 30076 28228 0 -1 1077944384 4900 0 0 0 201 2 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240641432048 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30094] ppid=30076 vsize=28769356 memory=4164 CPUtime=2.28 cores=0-7 /proc/30078/task/30094/stat : 30094 (java) S 30076 30076 28228 0 -1 1077944384 7148 0 0 0 227 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240640379760 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30095] ppid=30076 vsize=28769356 memory=1548 CPUtime=0.95 cores=0-7 /proc/30078/task/30095/stat : 30095 (java) S 30076 30076 28228 0 -1 1077944384 4016 0 0 0 94 1 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240639326960 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30096] ppid=30076 vsize=28769356 memory=1728 CPUtime=0 cores=0-7 /proc/30078/task/30096/stat : 30096 (java) S 30076 30076 28228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420787543 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240638273888 140241261975253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30097] ppid=30076 vsize=28769356 memory=7992 CPUtime=0 cores=0-7 /proc/30078/task/30097/stat : 30097 (java) S 30076 30076 28228 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 420787544 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240637221168 140241261976194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30178] ppid=30076 vsize=28769356 memory=9580 CPUtime=5.86 cores=0-7 /proc/30078/task/30178/stat : 30178 (java) R 30076 30076 28228 0 -1 4202560 195 0 0 0 586 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240620641880 140240906191570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30179] ppid=30076 vsize=28769356 memory=1052 CPUtime=5.84 cores=0-7 /proc/30078/task/30179/stat : 30179 (java) R 30076 30076 28228 0 -1 4202560 171 0 0 0 583 1 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240617492304 140240906192547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30180] ppid=30076 vsize=28769356 memory=776 CPUtime=5.29 cores=0-7 /proc/30078/task/30180/stat : 30180 (java) R 30076 30076 28228 0 -1 4202560 1020 0 0 0 528 1 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240624853704 140240906193980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30181] ppid=30076 vsize=28769356 memory=2832 CPUtime=5.56 cores=0-7 /proc/30078/task/30181/stat : 30181 (java) R 30076 30076 28228 0 -1 4202560 234 0 0 0 556 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240628011192 140240907301506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30182] ppid=30076 vsize=28769356 memory=668 CPUtime=5.61 cores=0-7 /proc/30078/task/30182/stat : 30182 (java) R 30076 30076 28228 0 -1 4202560 295 0 0 0 561 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240622748872 140240904700375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30183] ppid=30076 vsize=28769356 memory=0 CPUtime=5.94 cores=0-7 /proc/30078/task/30183/stat : 30183 (java) R 30076 30076 28228 0 -1 4202560 267 0 0 0 594 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240626958600 140240906191527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30184] ppid=30076 vsize=28769356 memory=0 CPUtime=5.64 cores=0-7 /proc/30078/task/30184/stat : 30184 (java) R 30076 30076 28228 0 -1 4202560 134 0 0 0 564 0 0 0 20 0 28 0 420787780 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240621695464 140240906191846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 [pid=30078/tid=30185] ppid=30076 vsize=28769356 memory=4580 CPUtime=5.71 cores=0-7 /proc/30078/task/30185/stat : 30185 (java) R 30076 30076 28228 0 -1 4202560 190 0 0 0 571 0 0 0 20 0 28 0 420787783 29459820544 60247 33554432000 4194304 4196468 140721360334320 140240625905768 140240904700363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12345344 140721360335850 140721360336022 140721360336022 140721360338895 0 Current children cumulated CPU time: 63.85 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 242440 KiB Child status: 0 Real time (s): 8.6235 CPU time (s): 63.9398 CPU user time (s): 63.6686 CPU system time (s): 0.271179 CPU usage (%): 741.46 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 242440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.6686 system time used= 0.271179 maximum resident set size= 243544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42810 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5874 involuntary context switches= 1611 # summary of solver processes directly reported to runsolver: # pid: 30076 # total CPU time (s): 63.9398 # total CPU user time (s): 63.6686 # total CPU system time (s): 0.271179 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.101434 second user time and 0.139202 second system time The end
Begin job on node119 at 2019-09-14 10:11:27 IDJOB=4393825 IDBENCH=141365 IDSOLVER=2841 FILE ID=node119/4393825-1568448726 RUNJOBID= node119-1568442536-28255 PBS_JOBID= 21702345 Free space on /tmp= 61504 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393825-1568448726/watcher-4393825-1568448726 -o /tmp/evaluation-result-4393825-1568448726/solver-4393825-1568448726 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568442536-28255 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1249473297 HOME/instance-4393825-1568448726.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6 RANDOM SEED=1249473297 node119.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.47 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.47 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.47 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.47 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: 24681492 kB MemAvailable: 31821460 kB Buffers: 194032 kB Cached: 7213992 kB SwapCached: 61128 kB Active: 2836544 kB Inactive: 4637164 kB Active(anon): 3960 kB Inactive(anon): 102744 kB Active(file): 2832584 kB Inactive(file): 4534420 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66939852 kB Dirty: 26092 kB Writeback: 0 kB AnonPages: 124676 kB Mapped: 44952 kB Shmem: 32816 kB Slab: 206756 kB SReclaimable: 177600 kB SUnreclaim: 29156 kB KernelStack: 3744 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498172 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61476 MiB End job on node119 at 2019-09-14 10:11:35