Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 115 | 10.7497 | 2.54144 |
Name | Tpp/Tpp-zinc-s1/ Tpp-4-5-20-1.xml |
MD5SUM | e6e5223db5de59749ca81141a6ec4e70 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 115 |
Best CPU time to get the best result obtained on this benchmark | 0.248867 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 442 |
Number of domains | 42 |
Minimum domain size | 3 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 401 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":401},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394410-1568427420.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4394410-1568427420.xml, -tl, 20160s, -p, 8] 0.34/0.24 c 8 solvers in parallel 0.34/0.31 c parse instance... 5.81/1.80 c solve instance... 7.63/2.02 o 175 7.63/2.03 o 170 7.63/2.04 o 169 7.63/2.05 o 167 7.63/2.07 o 166 7.63/2.07 o 165 7.63/2.08 o 164 7.63/2.10 o 163 7.63/2.11 o 154 8.21/2.11 o 153 8.21/2.12 o 152 8.21/2.15 o 150 8.21/2.15 o 149 8.21/2.15 o 148 8.21/2.15 o 146 8.21/2.16 o 145 8.21/2.16 o 143 8.21/2.17 o 142 8.21/2.17 o 140 8.21/2.17 o 139 8.21/2.17 o 137 8.68/2.21 o 136 8.68/2.21 o 135 8.68/2.22 o 134 8.68/2.23 o 133 8.68/2.23 o 132 8.68/2.24 o 131 8.68/2.27 o 130 8.68/2.28 o 129 9.23/2.32 o 128 9.23/2.36 o 126 9.23/2.37 o 125 9.23/2.37 o 124 9.23/2.38 o 123 9.23/2.39 o 122 9.90/2.40 o 121 9.90/2.41 o 120 9.90/2.41 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (74/76) 9.90/2.41 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 9.90/2.41 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 9.90/2.41 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 9.90/2.41 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 9.90/2.41 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 9.90/2.41 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (74/76) 9.90/2.41 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 9.90/2.41 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 9.90/2.41 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 9.90/2.41 at org.chocosolver.solver.Solver.repair(Solver.java:443) 9.90/2.41 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 9.90/2.41 at org.chocosolver.solver.Solver.solve(Solver.java:262) 9.90/2.41 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 9.90/2.41 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 9.90/2.41 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 9.90/2.41 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 9.90/2.41 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 9.90/2.41 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 9.90/2.41 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 9.90/2.41 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 9.90/2.41 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 9.90/2.41 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 9.90/2.41 o 119 9.90/2.43 o 118 9.90/2.43 o 117 9.90/2.44 o 116 9.90/2.44 o 115 10.60/2.52 s OPTIMUM FOUND 10.60/2.52 v <instantiation> 10.60/2.52 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] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] </list> 10.60/2.52 v <values>0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 14 11 15 18 18 9 15 14 11 15 10 11 9 9 9 9 13 11 15 18 4 2 3 2 1 3 6 3 2 1 1 9 9 5 2 3 1 2 2 5 </values> 10.60/2.52 v </instantiation>
OK 115
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: 16375 MiB (13558 MiB free) memory of node 1: 16384 MiB (15574 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394410-1568427420/watcher-4394410-1568427420 -o /tmp/evaluation-result-4394410-1568427420/solver-4394410-1568427420 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1595165093 HOME/instance-4394410-1568427420.xml running on 8 cores: 0-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=28716, runsolver pid=28713 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.45 7.12 7.08 2/211 28737 /proc/meminfo: memFree=29814740/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28227388 memory=30200 CPUtime=0.12 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 5503 0 0 0 11 1 0 0 20 0 20 0 418683656 28904845312 7550 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7056847 7550 3121 1 0 7019032 0 [pid=28718/tid=28719] ppid=28716 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) R 28716 28716 28528 0 -1 4202560 3415 0 0 0 8 0 0 0 20 0 20 0 418683656 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790491551744 139790125024853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28227388 memory=140432981943936 CPUtime=0 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 7550 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789870981920 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789869929584 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) S 28716 28716 28528 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789867825776 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) S 28716 28716 28528 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789866772976 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789865720688 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) S 28716 28716 28528 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789864667888 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683663 28904845312 7550 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31652 KiB [startup+0.211295 s]* /proc/loadavg: 7.45 7.12 7.08 2/211 28737 /proc/meminfo: memFree=29802640/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28227388 memory=40492 CPUtime=0.34 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 8896 0 0 0 31 3 0 0 20 0 20 0 418683656 28904845312 10123 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7056847 10123 3258 1 0 7019032 0 [pid=28718/tid=28719] ppid=28716 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) R 28716 28716 28528 0 -1 4202560 6163 0 0 0 18 2 0 0 20 0 20 0 418683656 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790491553744 139790487330198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28227388 memory=3905383866260842144 CPUtime=0 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28904845312 10123 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789870981920 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418683659 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789869929584 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) S 28716 28716 28528 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789867825776 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) S 28716 28716 28528 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789866772976 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) S 28716 28716 28528 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789865720688 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) R 28716 28716 28528 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789864667888 139790465928229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683662 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683663 28904845312 10123 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41944 KiB [startup+0.310625 s]* /proc/loadavg: 7.45 7.12 7.08 3/211 28737 /proc/meminfo: memFree=29797876/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28231644 memory=46328 CPUtime=0.52 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 10000 0 0 0 48 4 0 0 20 0 20 0 418683656 28909203456 11582 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7057911 11582 3306 1 0 7019032 0 [pid=28718/tid=28719] ppid=28716 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) R 28716 28716 28528 0 -1 4202560 7089 0 0 0 27 2 0 0 20 0 20 0 418683656 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790491540512 139790487340189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28231644 memory=140432881316783 CPUtime=0 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28231644 memory=140432881319088 CPUtime=0 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28231644 memory=140432881321392 CPUtime=0 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28909203456 11582 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418683659 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28231644 memory=280865762649744 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418683659 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789870981920 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28231644 memory=280865762656656 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418683659 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789869929584 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28231644 memory=280865762597904 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28231644 memory=280865762670480 CPUtime=0.03 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) S 28716 28716 28528 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789867825776 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28231644 memory=280865762677392 CPUtime=0.02 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) S 28716 28716 28528 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789866772976 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28231644 memory=280865762675088 CPUtime=0.02 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) S 28716 28716 28528 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789865720688 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28231644 memory=280865762691248 CPUtime=0.12 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) S 28716 28716 28528 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789864667888 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418683662 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683663 28909203456 11582 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 47780 KiB [startup+0.700941 s] /proc/loadavg: 7.45 7.12 7.08 6/211 28737 /proc/meminfo: memFree=29786636/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28233768 memory=79576 CPUtime=1.7 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 14085 0 0 0 164 6 0 0 20 0 20 0 418683656 28911378432 19894 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7058442 19894 3451 1 0 7019544 0 [pid=28718/tid=28719] ppid=28716 vsize=28233768 memory=280865763049136 CPUtime=0.67 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) R 28716 28716 28528 0 -1 4202560 8159 0 0 0 64 3 0 0 20 0 20 0 418683656 28911378432 19894 33554432000 4194304 4196468 140736691661744 139790491555568 139790129235960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28233768 memory=140432881525616 CPUtime=0 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28911378432 19894 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418683657 28911378432 19894 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418683657 28911378432 19894 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 ################ # More data... # ################ [pid=28718/tid=28719] ppid=28716 vsize=28768328 memory=6791534058613427641 CPUtime=1.73 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) S 28716 28716 28528 0 -1 1077944384 10353 0 0 0 167 6 0 0 20 0 28 0 418683656 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790491559040 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28768328 memory=4872558044660077418 CPUtime=0.03 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 22 0 0 0 2 1 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 125 0 0 0 2 2 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 86 0 0 0 2 3 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 99 0 0 0 2 3 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 75 0 0 0 2 3 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 65 0 0 0 2 2 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 103 0 0 0 3 2 0 0 20 0 28 0 418683657 29458767872 69133 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 418683659 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418683659 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789870981984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28768328 memory=3904965256907274031 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418683659 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789869929600 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28768328 memory=3976735856566350383 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28768328 memory=0 CPUtime=1.16 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) S 28716 28716 28528 0 -1 1077944384 3880 0 0 0 115 1 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789867814576 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28768328 memory=7230641710145498470 CPUtime=1.18 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) S 28716 28716 28528 0 -1 1077944384 3092 0 0 0 118 0 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789866773104 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28768328 memory=7590655979367786604 CPUtime=1.18 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) R 28716 28716 28528 0 -1 4202560 3235 0 0 0 118 0 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789865707200 139790465065742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28768328 memory=7236547281622689387 CPUtime=0.74 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) R 28716 28716 28528 0 -1 1077944384 3350 0 0 0 73 1 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789864663648 139790487328469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683662 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28768328 memory=-1 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683663 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28738] ppid=28716 vsize=28768328 memory=-1 CPUtime=0.13 cores=0-7 /proc/28718/task/28738/stat : 28738 (java) S 28716 28716 28528 0 -1 1077944384 54 0 0 0 13 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789851254080 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28739] ppid=28716 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/28718/task/28739/stat : 28739 (java) R 28716 28716 28528 0 -1 1077944384 42 0 0 0 14 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789850203872 139790487328469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28740] ppid=28716 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/28718/task/28740/stat : 28740 (java) S 28716 28716 28528 0 -1 1077944384 42 0 0 0 14 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789849149552 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28741] ppid=28716 vsize=28768328 memory=280865763089280 CPUtime=0.15 cores=0-7 /proc/28718/task/28741/stat : 28741 (java) R 28716 28716 28528 0 -1 4202560 90 0 0 0 15 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789848096384 139790125190528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28742] ppid=28716 vsize=28768328 memory=7599388386692169796 CPUtime=0.15 cores=0-7 /proc/28718/task/28742/stat : 28742 (java) R 28716 28716 28528 0 -1 4202560 36 0 0 0 15 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789847045600 139790124969280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28743] ppid=28716 vsize=28768328 memory=288293268213727926 CPUtime=0.15 cores=0-7 /proc/28718/task/28743/stat : 28743 (java) R 28716 28716 28528 0 -1 4202560 46 0 0 0 15 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789845991992 139790124969096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28744] ppid=28716 vsize=28768328 memory=3977020660441677856 CPUtime=0.12 cores=0-7 /proc/28718/task/28744/stat : 28744 (java) R 28716 28716 28528 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789642747264 139790124969280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28745] ppid=28716 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/28718/task/28745/stat : 28745 (java) R 28716 28716 28528 0 -1 4202560 42 0 0 0 14 0 0 0 20 0 28 0 418683838 29458767872 69133 33554432000 4194304 4196468 140736691661744 139789641695984 139790125016805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 7.63 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 277984 KiB [startup+2.40138 s] /proc/loadavg: 7.26 7.08 7.07 13/219 28745 /proc/meminfo: memFree=29569080/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28769356 memory=435048 CPUtime=9.9 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 32431 0 0 0 939 51 0 0 20 0 28 0 418683656 29459820544 108762 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7192339 108762 3510 1 0 7153441 0 [pid=28718/tid=28719] ppid=28716 vsize=28769356 memory=6791534058613427641 CPUtime=1.75 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) S 28716 28716 28528 0 -1 1077944384 10360 0 0 0 169 6 0 0 20 0 28 0 418683656 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790491559040 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28769356 memory=9316 CPUtime=0.06 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28769356 memory=19982 CPUtime=0.08 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 202 0 0 0 4 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 97 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 144 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 136 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 107 0 0 0 4 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28769356 memory=0 CPUtime=0.06 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 144 0 0 0 3 3 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28769356 memory=0 CPUtime=0.09 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 28 0 418683657 29459820544 108762 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 28 0 418683659 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418683659 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789870981984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418683659 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789869929600 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28769356 memory=1452 CPUtime=1.41 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) R 28716 28716 28528 0 -1 4202560 3952 0 0 0 140 1 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789867805264 139790466573258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28769356 memory=275020 CPUtime=1.43 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) R 28716 28716 28528 0 -1 4202560 3159 0 0 0 143 0 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789866754384 139790470872353 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28769356 memory=6944656591801717918 CPUtime=1.46 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) R 28716 28716 28528 0 -1 4202560 3298 0 0 0 146 0 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789865702096 139790470849783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28769356 memory=-7384994778349281184 CPUtime=0.93 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) R 28716 28716 28528 0 -1 4202560 3701 0 0 0 92 1 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789864667888 139790468728413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28769356 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683662 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28769356 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683663 29459820544 108762 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 9.9 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 436500 KiB [startup+2.50139 s] /proc/loadavg: 7.26 7.08 7.07 13/219 28745 /proc/meminfo: memFree=29569080/32770688 swapFree=66961108/67108860 [pid=28716] ppid=28713 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28716/stat : 28716 (xcsp3-exec) S 28713 28716 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418683656 115843072 363 33554432000 4194304 5098028 140725359173120 140725359171224 140180437447292 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21590016 140725359178613 140725359178857 140725359178857 140725359181770 0 /proc/28716/statm: 28282 363 304 221 0 87 0 [pid=28718] ppid=28716 vsize=28769356 memory=486640 CPUtime=10.6 cores=0-7 /proc/28718/stat : 28718 (java) S 28716 28716 28528 0 -1 1077944320 33467 0 0 0 1007 53 0 0 20 0 28 0 418683656 29459820544 121660 33554432000 4194304 4196468 140736691661744 140736691644288 139790487318263 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 /proc/28718/statm: 7192339 121660 3515 1 0 7153441 0 [pid=28718/tid=28719] ppid=28716 vsize=28769356 memory=1452 CPUtime=1.75 cores=0-7 /proc/28718/task/28719/stat : 28719 (java) S 28716 28716 28528 0 -1 1077944384 10363 0 0 0 169 6 0 0 20 0 28 0 418683656 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790491559040 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28720] ppid=28716 vsize=28769356 memory=434560 CPUtime=0.06 cores=0-7 /proc/28718/task/28720/stat : 28720 (java) S 28716 28716 28528 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790039030160 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28721] ppid=28716 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7 /proc/28718/task/28721/stat : 28721 (java) S 28716 28716 28528 0 -1 1077944384 202 0 0 0 4 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790037977360 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28722] ppid=28716 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7 /proc/28718/task/28722/stat : 28722 (java) S 28716 28716 28528 0 -1 1077944384 97 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790036925072 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28723] ppid=28716 vsize=28769356 memory=4580 CPUtime=0.07 cores=0-7 /proc/28718/task/28723/stat : 28723 (java) S 28716 28716 28528 0 -1 1077944384 144 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790035872272 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28724] ppid=28716 vsize=28769356 memory=1452 CPUtime=0.07 cores=0-7 /proc/28718/task/28724/stat : 28724 (java) S 28716 28716 28528 0 -1 1077944384 136 0 0 0 3 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790034819984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28725] ppid=28716 vsize=28769356 memory=327852 CPUtime=0.08 cores=0-7 /proc/28718/task/28725/stat : 28725 (java) S 28716 28716 28528 0 -1 1077944384 107 0 0 0 4 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790033767184 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28726] ppid=28716 vsize=28769356 memory=6944656592455097440 CPUtime=0.06 cores=0-7 /proc/28718/task/28726/stat : 28726 (java) S 28716 28716 28528 0 -1 1077944384 144 0 0 0 3 3 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790032714896 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28727] ppid=28716 vsize=28769356 memory=6656426216303648864 CPUtime=0.09 cores=0-7 /proc/28718/task/28727/stat : 28727 (java) S 28716 28716 28528 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 28 0 418683657 29459820544 121660 33554432000 4194304 4196468 140736691661744 139790031662096 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28728] ppid=28716 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/28718/task/28728/stat : 28728 (java) S 28716 28716 28528 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 28 0 418683659 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789872035952 139790487329410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28729] ppid=28716 vsize=28769356 memory=140432981963073 CPUtime=0 cores=0-7 /proc/28718/task/28729/stat : 28729 (java) S 28716 28716 28528 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418683659 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789870981984 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28730] ppid=28716 vsize=28769356 memory=7163932239365498984 CPUtime=0 cores=0-7 /proc/28718/task/28730/stat : 28730 (java) S 28716 28716 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418683659 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789869929600 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28731] ppid=28716 vsize=28769356 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/28718/task/28731/stat : 28731 (java) S 28716 28716 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789868877904 139790487336859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28732] ppid=28716 vsize=28769356 memory=7158589699733613136 CPUtime=1.51 cores=0-7 /proc/28718/task/28732/stat : 28732 (java) R 28716 28716 28528 0 -1 4202560 3958 0 0 0 150 1 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789867811088 139790468839115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28733] ppid=28716 vsize=28769356 memory=301741373374332954 CPUtime=1.53 cores=0-7 /proc/28718/task/28733/stat : 28733 (java) R 28716 28716 28528 0 -1 4202560 3174 0 0 0 153 0 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789866759760 139790466562155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28734] ppid=28716 vsize=28769356 memory=0 CPUtime=1.55 cores=0-7 /proc/28718/task/28734/stat : 28734 (java) R 28716 28716 28528 0 -1 4202560 3311 0 0 0 155 0 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789865712080 139790466556704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28735] ppid=28716 vsize=28769356 memory=7378978013520620393 CPUtime=0.95 cores=0-7 /proc/28718/task/28735/stat : 28735 (java) S 28716 28716 28528 0 -1 1077944384 3739 0 0 0 94 1 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789864667888 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28736] ppid=28716 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/28718/task/28736/stat : 28736 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683662 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789863614816 139790487328469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 [pid=28718/tid=28737] ppid=28716 vsize=28769356 memory=1 CPUtime=0 cores=0-7 /proc/28718/task/28737/stat : 28737 (java) S 28716 28716 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418683663 29459820544 121660 33554432000 4194304 4196468 140736691661744 139789862562096 139790487329410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39129088 140736691663850 140736691664022 140736691664022 140736691666895 0 Current children cumulated CPU time: 10.6 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 488092 KiB Child status: 0 Real time (s): 2.54144 CPU time (s): 10.7497 CPU user time (s): 10.2068 CPU system time (s): 0.542939 CPU usage (%): 422.978 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 488092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.2068 system time used= 0.542939 maximum resident set size= 489996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34078 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6454 involuntary context switches= 110 # summary of solver processes directly reported to runsolver: # pid: 28716 # total CPU time (s): 10.7497 # total CPU user time (s): 10.2068 # total CPU system time (s): 0.542939 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043551 second user time and 0.074949 second system time The end
Begin job on node116 at 2019-09-14 04:16:19 IDJOB=4394410 IDBENCH=126829 IDSOLVER=2843 FILE ID=node116/4394410-1568427420 RUNJOBID= node116-1568427322-28555 PBS_JOBID= 21702297 Free space on /tmp= 61244 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-20-1.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-4394410-1568427420/watcher-4394410-1568427420 -o /tmp/evaluation-result-4394410-1568427420/solver-4394410-1568427420 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1595165093 HOME/instance-4394410-1568427420.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e6e5223db5de59749ca81141a6ec4e70 RANDOM SEED=1595165093 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29832536 kB MemAvailable: 31855128 kB Buffers: 148584 kB Cached: 2159916 kB SwapCached: 46660 kB Active: 930956 kB Inactive: 1428584 kB Active(anon): 3956 kB Inactive(anon): 87864 kB Active(file): 927000 kB Inactive(file): 1340720 kB Unevictable: 109332 kB Mlocked: 109332 kB SwapTotal: 67108860 kB SwapFree: 66961108 kB Dirty: 25976 kB Writeback: 0 kB AnonPages: 125192 kB Mapped: 43792 kB Shmem: 32000 kB Slab: 169812 kB SReclaimable: 141412 kB SUnreclaim: 28400 kB KernelStack: 3712 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 497636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61216 MiB End job on node116 at 2019-09-14 04:16:22