Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 832 | 187.32 | 24.2391 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-4.xml |
MD5SUM | 6d883eab13fdde7c2f2cac6b4a0af40c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 832 |
Best CPU time to get the best result obtained on this benchmark | 83.6236 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 53 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":8},{"size":30,"count":52}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
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-4394468-1568432738.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394468-1568432738.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.26/0.84 c solve instance... 2.80/0.96 o 0 2.80/0.97 o 0 3.52/1.02 o 3 3.52/1.04 o 27 3.52/1.04 o 50 3.52/1.05 o 80 3.52/1.05 o 107 3.52/1.05 o 113 3.52/1.05 o 132 3.52/1.08 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (174/176) 3.52/1.08 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 3.52/1.08 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 3.52/1.08 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 3.52/1.08 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 3.52/1.08 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 3.52/1.08 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (174/176) 3.52/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 3.52/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 3.52/1.08 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 3.52/1.08 at org.chocosolver.solver.Solver.repair(Solver.java:443) 3.52/1.08 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 3.52/1.08 at org.chocosolver.solver.Solver.solve(Solver.java:262) 3.52/1.08 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 3.52/1.08 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 3.52/1.08 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 3.52/1.08 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 3.52/1.08 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 3.52/1.08 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 3.52/1.08 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 3.52/1.08 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 3.52/1.08 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 3.52/1.08 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 3.52/1.08 o 268 4.14/1.11 o 272 4.14/1.12 o 351 4.14/1.19 o 353 4.89/1.24 o 410 4.89/1.25 o 479 5.56/1.31 o 540 14.29/2.41 o 559 15.06/2.59 o 645 19.09/3.04 o 668 19.87/3.19 o 692 19.87/3.20 o 708 20.60/3.24 o 768 24.50/3.78 o 776 123.76/16.29 o 788 126.85/16.61 o 799 136.40/17.85 o 832 187.15/24.22 s OPTIMUM FOUND 187.15/24.22 v <instantiation> 187.15/24.22 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 187.15/24.22 v <values>6 0 15 17 18 5 26 7 9 12 10 11 16 4 2 8 21 14 28 19 20 13 22 23 24 25 3 27 1 29 52 0 54 45 179 0 14 0 47 215 0 0 279 141 18 6 154 274 29 0 0 146 0 0 0 0 196 0 91 0 0 0 3 58 67 0 11 0 62 27 0 0 52 60 62 52 69 76 62 0 0 69 0 0 0 0 33 0 69 0 </values> 187.15/24.22 v </instantiation>
OK 832
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 (14841 MiB free) memory of node 1: 16384 MiB (15305 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394468-1568432738/watcher-4394468-1568432738 -o /tmp/evaluation-result-4394468-1568432738/solver-4394468-1568432738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 986806941 HOME/instance-4394468-1568432738.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=15109, runsolver pid=15106 Current StackSize limit: 8192 KiB [startup+0.100163 s]* /proc/loadavg: 8.13 7.96 8.01 2/212 15130 /proc/meminfo: memFree=30853484/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28227388 memory=29684 CPUtime=0.12 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 5831 0 0 0 10 2 0 0 20 0 20 0 419512550 28904845312 7421 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7056847 7421 3150 1 0 7019032 0 [pid=15111/tid=15112] ppid=15109 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) R 15109 15109 11963 0 -1 4202560 3780 0 0 0 8 1 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140028266254592 140028262044250 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28227388 memory=140311583639168 CPUtime=0 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15116] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15116/stat : 15116 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140027810142864 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15117] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15117/stat : 15117 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140027809090320 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15118] ppid=15109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15118/stat : 15118 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140027808037776 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15119] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15119/stat : 15119 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140027806985232 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15120] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15120/stat : 15120 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 7421 33554432000 4194304 4196468 140733000382992 140027805932688 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15121] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15121/stat : 15121 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512553 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026457303024 140028262034050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15122] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15122/stat : 15122 (java) S 15109 15109 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419512553 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026456249248 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15123] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15123/stat : 15123 (java) S 15109 15109 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419512554 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026455196656 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15124] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15124/stat : 15124 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026454145232 140028262041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15125] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15125/stat : 15125 (java) R 15109 15109 11963 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026453092848 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15126] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15126/stat : 15126 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026452040304 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15127] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15127/stat : 15127 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026450987760 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15128] ppid=15109 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) R 15109 15109 11963 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026449935216 140028254260030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512557 28904845312 7421 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31136 KiB [startup+0.210466 s]* /proc/loadavg: 8.13 7.96 8.01 1/212 15130 /proc/meminfo: memFree=30840708/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28227388 memory=41416 CPUtime=0.34 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 9552 0 0 0 30 4 0 0 20 0 20 0 419512550 28904845312 10354 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7056847 10354 3313 1 0 7019032 0 [pid=15111/tid=15112] ppid=15109 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) R 15109 15109 11963 0 -1 4202560 6646 0 0 0 18 2 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140028266257600 140028262034838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28227388 memory=329 CPUtime=0 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28227388 memory=3978007565897156256 CPUtime=0 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15116] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15116/stat : 15116 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140027810142864 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15117] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15117/stat : 15117 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140027809090320 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15118] ppid=15109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15118/stat : 15118 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140027808037776 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15119] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15119/stat : 15119 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140027806985232 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15120] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15120/stat : 15120 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28904845312 10354 33554432000 4194304 4196468 140733000382992 140027805932688 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15121] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15121/stat : 15121 (java) S 15109 15109 11963 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419512553 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026457303024 140028262034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15122] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15122/stat : 15122 (java) S 15109 15109 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419512553 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026456249248 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15123] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15123/stat : 15123 (java) S 15109 15109 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419512554 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026455196656 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15124] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15124/stat : 15124 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026454145232 140028262041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15125] ppid=15109 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/15111/task/15125/stat : 15125 (java) S 15109 15109 11963 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026453092848 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15126] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15126/stat : 15126 (java) S 15109 15109 11963 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026452040304 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15127] ppid=15109 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/15111/task/15127/stat : 15127 (java) S 15109 15109 11963 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026450987760 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15128] ppid=15109 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) R 15109 15109 11963 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026449935216 140028254260030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512556 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512557 28904845312 10354 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42868 KiB [startup+0.310245 s]* /proc/loadavg: 8.13 7.96 8.01 4/212 15130 /proc/meminfo: memFree=30833408/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28231644 memory=50288 CPUtime=0.52 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 10904 0 0 0 47 5 0 0 20 0 20 0 419512550 28909203456 12572 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7057911 12572 3367 1 0 7019032 0 [pid=15111/tid=15112] ppid=15109 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) R 15109 15109 11963 0 -1 4202560 7784 0 0 0 26 3 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140028266254016 140028246103390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15116] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15116/stat : 15116 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140027810142864 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15117] ppid=15109 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/15111/task/15117/stat : 15117 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140027809090320 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15118] ppid=15109 vsize=28231644 memory=140311481381807 CPUtime=0 cores=0-7 /proc/15111/task/15118/stat : 15118 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140027808037776 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15119] ppid=15109 vsize=28231644 memory=140311481384112 CPUtime=0 cores=0-7 /proc/15111/task/15119/stat : 15119 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140027806985232 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15120] ppid=15109 vsize=28231644 memory=140311481386416 CPUtime=0 cores=0-7 /proc/15111/task/15120/stat : 15120 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28909203456 12572 33554432000 4194304 4196468 140733000382992 140027805932688 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15121] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15121/stat : 15121 (java) S 15109 15109 11963 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419512553 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026457303024 140028262034050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15122] ppid=15109 vsize=28231644 memory=280622962779792 CPUtime=0 cores=0-7 /proc/15111/task/15122/stat : 15122 (java) S 15109 15109 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419512553 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026456249248 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15123] ppid=15109 vsize=28231644 memory=280622962786704 CPUtime=0 cores=0-7 /proc/15111/task/15123/stat : 15123 (java) S 15109 15109 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419512554 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026455196656 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15124] ppid=15109 vsize=28231644 memory=280622962727856 CPUtime=0 cores=0-7 /proc/15111/task/15124/stat : 15124 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026454145232 140028262041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15125] ppid=15109 vsize=28231644 memory=280622962800528 CPUtime=0.03 cores=0-7 /proc/15111/task/15125/stat : 15125 (java) R 15109 15109 11963 0 -1 4202560 576 0 0 0 3 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026453083232 140028247130574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15126] ppid=15109 vsize=28231644 memory=280622962807440 CPUtime=0.01 cores=0-7 /proc/15111/task/15126/stat : 15126 (java) S 15109 15109 11963 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026452040304 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15127] ppid=15109 vsize=28231644 memory=280622962805136 CPUtime=0.03 cores=0-7 /proc/15111/task/15127/stat : 15127 (java) S 15109 15109 11963 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026450987760 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15128] ppid=15109 vsize=28231644 memory=280622962821296 CPUtime=0.12 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) S 15109 15109 11963 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026449935216 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512556 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512557 28909203456 12572 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51740 KiB [startup+0.706691 s] /proc/loadavg: 8.13 7.96 8.01 3/212 15130 /proc/meminfo: memFree=30810644/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28233768 memory=102024 CPUtime=1.81 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 16132 0 0 0 173 8 0 0 20 0 20 0 419512550 28911378432 25506 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7058442 25506 3452 1 0 7019544 0 [pid=15111/tid=15112] ppid=15109 vsize=28233768 memory=280622963179184 CPUtime=0.67 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) R 15109 15109 11963 0 -1 4202560 9404 0 0 0 63 4 0 0 20 0 20 0 419512551 28911378432 25506 33554432000 4194304 4196468 140733000382992 140028266258336 140027896144901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28233768 memory=140311481590640 CPUtime=0 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419512551 28911378432 25506 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419512551 28911378432 25506 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28233768 memory=5980 CPUtime=0 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419512551 28911378432 25506 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 ################ # More data... # ################ [pid=15111/tid=15128] ppid=15109 vsize=28769356 memory=1280932 CPUtime=1.3 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) S 15109 15109 11963 0 -1 1077944384 11200 0 0 0 128 2 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026449935216 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28769356 memory=1764 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28769356 memory=111628 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1316 0 0 0 0 0 0 0 20 0 28 0 419512557 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15338] ppid=15109 vsize=28769356 memory=800 CPUtime=5.19 cores=0-7 /proc/15111/task/15338/stat : 15338 (java) R 15109 15109 11963 0 -1 4202560 729 0 0 0 519 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026429390264 140027903082750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15339] ppid=15109 vsize=28769356 memory=4108 CPUtime=5.22 cores=0-7 /proc/15111/task/15339/stat : 15339 (java) R 15109 15109 11963 0 -1 4202560 305 0 0 0 522 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026436759944 140027908003497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15340] ppid=15109 vsize=28769356 memory=1808 CPUtime=5.28 cores=0-7 /proc/15111/task/15340/stat : 15340 (java) R 15109 15109 11963 0 -1 4202560 3321 0 0 0 511 17 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026428340120 140027899679862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15341] ppid=15109 vsize=28769356 memory=924 CPUtime=5.31 cores=0-7 /proc/15111/task/15341/stat : 15341 (java) R 15109 15109 11963 0 -1 4202560 675 0 0 0 531 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026435707672 140028246399920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15342] ppid=15109 vsize=28769356 memory=4448 CPUtime=5.23 cores=0-7 /proc/15111/task/15342/stat : 15342 (java) R 15109 15109 11963 0 -1 4202560 402 0 0 0 523 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026434655224 140027901493964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15343] ppid=15109 vsize=28769356 memory=1280928 CPUtime=5.31 cores=0-7 /proc/15111/task/15343/stat : 15343 (java) R 15109 15109 11963 0 -1 4202560 273 0 0 0 531 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026431497016 140027905870580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15344] ppid=15109 vsize=28769356 memory=0 CPUtime=5.11 cores=0-7 /proc/15111/task/15344/stat : 15344 (java) R 15109 15109 11963 0 -1 4202560 368 0 0 0 511 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026432549896 140027905638575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15345] ppid=15109 vsize=28769356 memory=0 CPUtime=5.13 cores=0-7 /proc/15111/task/15345/stat : 15345 (java) R 15109 15109 11963 0 -1 4202560 356 0 0 0 513 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026430443576 140027903351995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 179.18 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1282384 KiB [startup+24.0017 s]* /proc/loadavg: 8.44 8.06 8.05 9/219 15345 /proc/meminfo: memFree=29601556/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28769356 memory=1280932 CPUtime=185.63 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 103728 0 0 0 18439 124 0 0 20 0 28 0 419512550 29459820544 320233 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7192339 320233 3534 1 0 7153441 0 [pid=15111/tid=15112] ppid=15109 vsize=28769356 memory=6791534058613427641 CPUtime=0.85 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) S 15109 15109 11963 0 -1 1077944384 9887 0 0 0 80 5 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028266263680 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28769356 memory=4126316290023845779 CPUtime=0.18 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 297 0 0 0 12 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28769356 memory=1532 CPUtime=0.17 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 427 0 0 0 10 7 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28769356 memory=1088 CPUtime=0.17 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 272 0 0 0 10 7 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15116] ppid=15109 vsize=28769356 memory=988 CPUtime=0.13 cores=0-7 /proc/15111/task/15116/stat : 15116 (java) S 15109 15109 11963 0 -1 1077944384 477 0 0 0 9 4 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027810142864 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15117] ppid=15109 vsize=28769356 memory=780 CPUtime=0.15 cores=0-7 /proc/15111/task/15117/stat : 15117 (java) S 15109 15109 11963 0 -1 1077944384 2129 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027809090320 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15118] ppid=15109 vsize=28769356 memory=5980 CPUtime=0.15 cores=0-7 /proc/15111/task/15118/stat : 15118 (java) S 15109 15109 11963 0 -1 1077944384 1401 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027808037776 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15119] ppid=15109 vsize=28769356 memory=624 CPUtime=0.15 cores=0-7 /proc/15111/task/15119/stat : 15119 (java) S 15109 15109 11963 0 -1 1077944384 873 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027806985232 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15120] ppid=15109 vsize=28769356 memory=3996 CPUtime=0.16 cores=0-7 /proc/15111/task/15120/stat : 15120 (java) S 15109 15109 11963 0 -1 1077944384 295 0 0 0 10 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027805932688 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15121] ppid=15109 vsize=28769356 memory=2832 CPUtime=0.02 cores=0-7 /proc/15111/task/15121/stat : 15121 (java) S 15109 15109 11963 0 -1 1077944384 2246 0 0 0 2 0 0 0 20 0 28 0 419512553 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026457303024 140028262034050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15122] ppid=15109 vsize=28769356 memory=14012 CPUtime=0 cores=0-7 /proc/15111/task/15122/stat : 15122 (java) S 15109 15109 11963 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419512553 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026456249312 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15123] ppid=15109 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/15111/task/15123/stat : 15123 (java) S 15109 15109 11963 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419512554 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026455196672 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15124] ppid=15109 vsize=28769356 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/15111/task/15124/stat : 15124 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026454145232 140028262041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15125] ppid=15109 vsize=28769356 memory=14698482732632482 CPUtime=4.42 cores=0-7 /proc/15111/task/15125/stat : 15125 (java) S 15109 15109 11963 0 -1 1077944384 16198 0 0 0 439 3 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026453092848 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15126] ppid=15109 vsize=28769356 memory=280622963642496 CPUtime=4.48 cores=0-7 /proc/15111/task/15126/stat : 15126 (java) S 15109 15109 11963 0 -1 1077944384 15826 0 0 0 443 5 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026452040304 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15127] ppid=15109 vsize=28769356 memory=280622963642560 CPUtime=3.9 cores=0-7 /proc/15111/task/15127/stat : 15127 (java) S 15109 15109 11963 0 -1 1077944384 14282 0 0 0 387 3 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026450987760 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15128] ppid=15109 vsize=28769356 memory=280622963642624 CPUtime=1.3 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) S 15109 15109 11963 0 -1 1077944384 11203 0 0 0 128 2 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026449935216 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28769356 memory=280622963642688 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28769356 memory=280622963642752 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1332 0 0 0 0 0 0 0 20 0 28 0 419512557 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15338] ppid=15109 vsize=28769356 memory=280622962903200 CPUtime=6 cores=0-7 /proc/15111/task/15338/stat : 15338 (java) R 15109 15109 11963 0 -1 4202560 861 0 0 0 600 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026429389392 140027908291951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15339] ppid=15109 vsize=28769356 memory=280622962903264 CPUtime=6.03 cores=0-7 /proc/15111/task/15339/stat : 15339 (java) R 15109 15109 11963 0 -1 4202560 351 0 0 0 603 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026436759560 140027903256281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15340] ppid=15109 vsize=28769356 memory=280622962903328 CPUtime=6.1 cores=0-7 /proc/15111/task/15340/stat : 15340 (java) R 15109 15109 11963 0 -1 4202560 4405 0 0 0 590 20 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026428338360 140027899680361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15341] ppid=15109 vsize=28769356 memory=280622962688224 CPUtime=6.12 cores=0-7 /proc/15111/task/15341/stat : 15341 (java) R 15109 15109 11963 0 -1 4202560 808 0 0 0 612 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026435707176 140027903256990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15342] ppid=15109 vsize=28769356 memory=280622962688416 CPUtime=6.04 cores=0-7 /proc/15111/task/15342/stat : 15342 (java) R 15109 15109 11963 0 -1 4202560 476 0 0 0 604 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026434654760 140027902768313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15343] ppid=15109 vsize=28769356 memory=280622962688560 CPUtime=6.12 cores=0-7 /proc/15111/task/15343/stat : 15343 (java) R 15109 15109 11963 0 -1 4202560 328 0 0 0 612 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026431497000 140027911057203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15344] ppid=15109 vsize=28769356 memory=1532 CPUtime=5.89 cores=0-7 /proc/15111/task/15344/stat : 15344 (java) R 15109 15109 11963 0 -1 4202560 442 0 0 0 589 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026432550064 140027905870733 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15345] ppid=15109 vsize=28769356 memory=1088 CPUtime=5.93 cores=0-7 /proc/15111/task/15345/stat : 15345 (java) R 15109 15109 11963 0 -1 4202560 464 0 0 0 593 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026430442584 140027907606935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 185.63 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1282384 KiB [startup+24.2017 s] /proc/loadavg: 8.44 8.06 8.05 9/219 15345 /proc/meminfo: memFree=29601556/32770624 swapFree=66940952/67108860 [pid=15109] ppid=15106 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15109/stat : 15109 (xcsp3-exec) S 15106 15109 11963 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419512550 115843072 363 33554432000 4194304 5098028 140735920876320 140735920874424 139844268974716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39538688 140735920878454 140735920878697 140735920878697 140735920881610 0 /proc/15109/statm: 28282 363 305 221 0 87 0 [pid=15111] ppid=15109 vsize=28769356 memory=1280932 CPUtime=187.15 cores=0-7 /proc/15111/stat : 15111 (java) S 15109 15109 11963 0 -1 1077944320 103947 0 0 0 18591 124 0 0 20 0 28 0 419512550 29459820544 320233 33554432000 4194304 4196468 140733000382992 140733000365536 140028262022903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 /proc/15111/statm: 7192339 320233 3534 1 0 7153441 0 [pid=15111/tid=15112] ppid=15109 vsize=28769356 memory=5980 CPUtime=0.85 cores=0-7 /proc/15111/task/15112/stat : 15112 (java) S 15109 15109 11963 0 -1 1077944384 9887 0 0 0 80 5 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028266263680 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15113] ppid=15109 vsize=28769356 memory=624 CPUtime=0.18 cores=0-7 /proc/15111/task/15113/stat : 15113 (java) S 15109 15109 11963 0 -1 1077944384 297 0 0 0 12 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028218575120 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15114] ppid=15109 vsize=28769356 memory=3996 CPUtime=0.17 cores=0-7 /proc/15111/task/15114/stat : 15114 (java) S 15109 15109 11963 0 -1 1077944384 427 0 0 0 10 7 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028217522576 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15115] ppid=15109 vsize=28769356 memory=2832 CPUtime=0.17 cores=0-7 /proc/15111/task/15115/stat : 15115 (java) S 15109 15109 11963 0 -1 1077944384 272 0 0 0 10 7 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140028216470032 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15116] ppid=15109 vsize=28769356 memory=14012 CPUtime=0.13 cores=0-7 /proc/15111/task/15116/stat : 15116 (java) S 15109 15109 11963 0 -1 1077944384 477 0 0 0 9 4 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027810142864 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15117] ppid=15109 vsize=28769356 memory=2112 CPUtime=0.15 cores=0-7 /proc/15111/task/15117/stat : 15117 (java) S 15109 15109 11963 0 -1 1077944384 2129 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027809090320 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15118] ppid=15109 vsize=28769356 memory=12040 CPUtime=0.15 cores=0-7 /proc/15111/task/15118/stat : 15118 (java) S 15109 15109 11963 0 -1 1077944384 1401 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027808037776 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15119] ppid=15109 vsize=28769356 memory=24104 CPUtime=0.15 cores=0-7 /proc/15111/task/15119/stat : 15119 (java) S 15109 15109 11963 0 -1 1077944384 873 0 0 0 9 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027806985232 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15120] ppid=15109 vsize=28769356 memory=1556 CPUtime=0.16 cores=0-7 /proc/15111/task/15120/stat : 15120 (java) S 15109 15109 11963 0 -1 1077944384 295 0 0 0 10 6 0 0 20 0 28 0 419512551 29459820544 320233 33554432000 4194304 4196468 140733000382992 140027805932688 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15121] ppid=15109 vsize=28769356 memory=532 CPUtime=0.02 cores=0-7 /proc/15111/task/15121/stat : 15121 (java) S 15109 15109 11963 0 -1 1077944384 2246 0 0 0 2 0 0 0 20 0 28 0 419512553 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026457303024 140028262034050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15122] ppid=15109 vsize=28769356 memory=303430223234596890 CPUtime=0 cores=0-7 /proc/15111/task/15122/stat : 15122 (java) S 15109 15109 11963 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419512553 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026456249312 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15123] ppid=15109 vsize=28769356 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/15111/task/15123/stat : 15123 (java) S 15109 15109 11963 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419512554 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026455196672 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15124] ppid=15109 vsize=28769356 memory=14698482732632482 CPUtime=0 cores=0-7 /proc/15111/task/15124/stat : 15124 (java) S 15109 15109 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026454145232 140028262041499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15125] ppid=15109 vsize=28769356 memory=4126316290023845779 CPUtime=4.42 cores=0-7 /proc/15111/task/15125/stat : 15125 (java) S 15109 15109 11963 0 -1 1077944384 16198 0 0 0 439 3 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026453092848 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15126] ppid=15109 vsize=28769356 memory=1764 CPUtime=4.48 cores=0-7 /proc/15111/task/15126/stat : 15126 (java) S 15109 15109 11963 0 -1 1077944384 15826 0 0 0 443 5 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026452040304 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15127] ppid=15109 vsize=28769356 memory=-6520471753822164382 CPUtime=3.9 cores=0-7 /proc/15111/task/15127/stat : 15127 (java) S 15109 15109 11963 0 -1 1077944384 14282 0 0 0 387 3 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026450987760 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15128] ppid=15109 vsize=28769356 memory=-8253362762722141311 CPUtime=1.3 cores=0-7 /proc/15111/task/15128/stat : 15128 (java) S 15109 15109 11963 0 -1 1077944384 11203 0 0 0 128 2 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026449935216 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15129] ppid=15109 vsize=28769356 memory=-8412656567318647667 CPUtime=0 cores=0-7 /proc/15111/task/15129/stat : 15129 (java) S 15109 15109 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419512556 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026448881888 140028262033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15130] ppid=15109 vsize=28769356 memory=-8707038579349950309 CPUtime=0 cores=0-7 /proc/15111/task/15130/stat : 15130 (java) S 15109 15109 11963 0 -1 1077944384 1332 0 0 0 0 0 0 0 20 0 28 0 419512557 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026447829424 140028262034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15338] ppid=15109 vsize=28769356 memory=8514701219730522529 CPUtime=6.19 cores=0-7 /proc/15111/task/15338/stat : 15338 (java) R 15109 15109 11963 0 -1 4202560 863 0 0 0 619 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026429389392 140027905580336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15339] ppid=15109 vsize=28769356 memory=8514726395714825349 CPUtime=6.22 cores=0-7 /proc/15111/task/15339/stat : 15339 (java) R 15109 15109 11963 0 -1 4202560 352 0 0 0 622 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026436759560 140027903096059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15340] ppid=15109 vsize=28769356 memory=-8341965534556230502 CPUtime=6.28 cores=0-7 /proc/15111/task/15340/stat : 15340 (java) R 15109 15109 11963 0 -1 4202560 4592 0 0 0 608 20 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026428338360 140027907111593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15341] ppid=15109 vsize=28769356 memory=9047017150487036571 CPUtime=6.31 cores=0-7 /proc/15111/task/15341/stat : 15341 (java) R 15109 15109 11963 0 -1 4202560 823 0 0 0 631 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026435707176 140027902734848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15342] ppid=15109 vsize=28769356 memory=4427205132082312746 CPUtime=6.23 cores=0-7 /proc/15111/task/15342/stat : 15342 (java) R 15109 15109 11963 0 -1 4202560 483 0 0 0 623 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026434654760 140027899678513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15343] ppid=15109 vsize=28769356 memory=-7023579799431922829 CPUtime=6.31 cores=0-7 /proc/15111/task/15343/stat : 15343 (java) R 15109 15109 11963 0 -1 4202560 329 0 0 0 631 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026431497000 140027903083206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15344] ppid=15109 vsize=28769356 memory=-8486080722631693414 CPUtime=6.08 cores=0-7 /proc/15111/task/15344/stat : 15344 (java) R 15109 15109 11963 0 -1 4202560 444 0 0 0 608 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026432550064 140027903096269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 [pid=15111/tid=15345] ppid=15109 vsize=28769356 memory=4715435516538746410 CPUtime=6.12 cores=0-7 /proc/15111/task/15345/stat : 15345 (java) R 15109 15109 11963 0 -1 4202560 468 0 0 0 612 0 0 0 20 0 28 0 419514335 29459820544 320233 33554432000 4194304 4196468 140733000382992 140026430442584 140027901493952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10518528 140733000385514 140733000385686 140733000385686 140733000388559 0 Current children cumulated CPU time: 187.15 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1282384 KiB Child status: 0 Real time (s): 24.2391 CPU time (s): 187.32 CPU user time (s): 186.061 CPU system time (s): 1.25815 CPU usage (%): 772.8 Max. virtual memory (cumulated for all children) (KiB): 28884488 Max. memory (cumulated for all children) (KiB): 1282384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 186.061 system time used= 1.25815 maximum resident set size= 1280932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106026 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7798 involuntary context switches= 4007 # summary of solver processes directly reported to runsolver: # pid: 15109 # total CPU time (s): 187.32 # total CPU user time (s): 186.061 # total CPU system time (s): 1.25815 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.24371 second user time and 0.303584 second system time The end
Begin job on node149 at 2019-09-14 05:45:01 IDJOB=4394468 IDBENCH=133281 IDSOLVER=2843 FILE ID=node149/4394468-1568432738 RUNJOBID= node149-1568429993-11990 PBS_JOBID= 21702308 Free space on /tmp= 61424 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-4.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-4394468-1568432738/watcher-4394468-1568432738 -o /tmp/evaluation-result-4394468-1568432738/solver-4394468-1568432738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 986806941 HOME/instance-4394468-1568432738.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d883eab13fdde7c2f2cac6b4a0af40c RANDOM SEED=986806941 node149.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.81 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.81 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.81 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.81 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: 30870140 kB MemAvailable: 31851340 kB Buffers: 190772 kB Cached: 1085832 kB SwapCached: 61296 kB Active: 622336 kB Inactive: 717088 kB Active(anon): 30316 kB Inactive(anon): 72468 kB Active(file): 592020 kB Inactive(file): 644620 kB Unevictable: 111244 kB Mlocked: 111244 kB SwapTotal: 67108860 kB SwapFree: 66940952 kB Dirty: 26088 kB Writeback: 0 kB AnonPages: 113780 kB Mapped: 44656 kB Shmem: 31376 kB Slab: 150036 kB SReclaimable: 120792 kB SUnreclaim: 29244 kB KernelStack: 3456 kB PageTables: 5956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498584 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-14 05:45:25