Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 26 | 12.9964 | 2.19879 |
Name | StillLife/StillLife-m1-s1/ StillLife-05-09.xml |
MD5SUM | 9e49e3aba7f2112bed6c24391b9353d8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 3.84833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 110 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":45},{"size":9,"count":45}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":45},{"degree":7,"count":4},{"degree":8,"count":20},{"degree":10,"count":21}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":45},{"arity":3,"count":20},{"arity":4,"count":4},{"arity":6,"count":20},{"arity":9,"count":21}] |
Number of extensional constraints | 65 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":65},{"type":"sum","count":45}] |
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-4394385-1568418987.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394385-1568418987.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.30/0.69 c solve instance... 1.70/0.74 o 0 1.70/0.75 o 4 1.70/0.77 o 5 1.70/0.79 o 6 2.20/0.81 o 8 2.20/0.81 o 9 2.20/0.81 o 10 2.20/0.82 o 15 2.20/0.82 o 16 2.20/0.83 o 18 2.20/0.85 o 23 2.93/0.90 o 24 2.93/0.92 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (23/25) 2.93/0.92 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2.93/0.92 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2.93/0.92 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2.93/0.92 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2.93/0.92 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2.93/0.92 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (23/25) 2.93/0.92 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 2.93/0.92 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 2.93/0.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 2.93/0.92 at org.chocosolver.solver.Solver.repair(Solver.java:443) 2.93/0.92 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 2.93/0.92 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2.93/0.92 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2.93/0.92 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2.93/0.92 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2.93/0.92 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2.93/0.92 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2.93/0.92 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2.93/0.92 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2.93/0.92 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2.93/0.92 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2.93/0.92 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2.93/0.92 o 25 6.83/1.40 o 26 12.41/2.18 s OPTIMUM FOUND 12.41/2.18 v <instantiation> 12.41/2.18 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] </list> 12.41/2.18 v <values>1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 2 4 3 2 4 2 3 4 2 2 3 5 3 6 3 5 3 2 4 4 5 2 6 2 5 4 4 2 3 5 3 6 3 5 3 2 2 4 3 2 4 2 3 4 2 </values> 12.41/2.18 v </instantiation>
OK 26
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 (15178 MiB free) memory of node 1: 16384 MiB (15482 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394385-1568418987/watcher-4394385-1568418987 -o /tmp/evaluation-result-4394385-1568418987/solver-4394385-1568418987 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568413634-3245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1262790113 HOME/instance-4394385-1568418987.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=4245, runsolver pid=4242 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 7.34 7.96 6.91 3/212 4266 /proc/meminfo: memFree=31380704/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28227388 memory=28780 CPUtime=0.12 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 418157131 28904845312 7195 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7056847 7195 3119 1 0 7019032 0 [pid=4247/tid=4248] ppid=4245 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) R 4245 4245 3218 0 -1 4202560 3599 0 0 0 8 0 0 0 20 0 20 0 418157132 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423975604672 140423955416421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28227388 memory=140425095366272 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4252] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4252/stat : 4252 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423519652496 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4253] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4253/stat : 4253 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423518599952 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4254] ppid=4245 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4254/stat : 4254 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423517547408 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4255] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4255/stat : 4255 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423516494864 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4256] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 7195 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157134 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418157134 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422685016992 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418157135 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) S 4245 4245 3218 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422681860592 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) S 4245 4245 3218 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422094645872 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) R 4245 4245 3218 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422093593328 140423957351625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) R 4245 4245 3218 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422092540784 140423951694573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 7195 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30236 KiB [startup+0.210608 s]* /proc/loadavg: 7.34 7.96 6.91 3/212 4266 /proc/meminfo: memFree=31368008/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28227388 memory=41304 CPUtime=0.34 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 9538 0 0 0 31 3 0 0 20 0 20 0 418157131 28904845312 10326 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7056847 10326 3312 1 0 7019032 0 [pid=4247/tid=4248] ppid=4245 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) R 4245 4245 3218 0 -1 4202560 6640 0 0 0 17 2 0 0 20 0 20 0 418157132 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423975611248 140423955453308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28227388 memory=140425095375919 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4252] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4252/stat : 4252 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423519652496 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4253] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4253/stat : 4253 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423518599952 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4254] ppid=4245 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4254/stat : 4254 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423517547408 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4255] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4255/stat : 4255 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423516494864 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4256] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28904845312 10326 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418157134 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418157134 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422685016992 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418157135 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) S 4245 4245 3218 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422681860592 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) S 4245 4245 3218 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422094645872 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) S 4245 4245 3218 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422093593328 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) S 4245 4245 3218 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422092540784 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28904845312 10326 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42760 KiB [startup+0.310464 s]* /proc/loadavg: 7.34 7.96 6.91 3/212 4266 /proc/meminfo: memFree=31360860/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28231644 memory=50088 CPUtime=0.53 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 10929 0 0 0 49 4 0 0 20 0 20 0 418157131 28909203456 12522 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7057911 12522 3357 1 0 7019032 0 [pid=4247/tid=4248] ppid=4245 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) R 4245 4245 3218 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 20 0 418157132 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423975608120 140423955683305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4252] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4252/stat : 4252 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423519652496 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4253] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4253/stat : 4253 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423518599952 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4254] ppid=4245 vsize=28231644 memory=140424962468527 CPUtime=0 cores=0-7 /proc/4247/task/4254/stat : 4254 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423517547408 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4255] ppid=4245 vsize=28231644 memory=140424962470832 CPUtime=0 cores=0-7 /proc/4247/task/4255/stat : 4255 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423516494864 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4256] ppid=4245 vsize=28231644 memory=140424962473136 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157133 28909203456 12587 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418157134 28909203456 12587 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28231644 memory=280849924960144 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418157134 28909203456 12587 33554432000 4194304 4196468 140727535465200 140422685016992 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28231644 memory=280849924957840 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418157135 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28231644 memory=280849924964752 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28231644 memory=280849924906032 CPUtime=0.02 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) S 4245 4245 3218 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422681860592 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28231644 memory=280849924978576 CPUtime=0.02 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) S 4245 4245 3218 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422094645872 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28231644 memory=280849924985488 CPUtime=0.03 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) R 4245 4245 3218 0 -1 4202560 194 0 0 0 3 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422093574344 140423952893643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28231644 memory=280849924983184 CPUtime=0.12 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) S 4245 4245 3218 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422092540784 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418157137 28909203456 12593 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51544 KiB [startup+0.700976 s] /proc/loadavg: 7.34 7.96 6.91 5/212 4266 /proc/meminfo: memFree=31347772/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28233768 memory=89940 CPUtime=1.7 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 16235 0 0 0 164 6 0 0 20 0 20 0 418157131 28911378432 22485 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7058442 22485 3455 1 0 7019544 0 [pid=4247/tid=4248] ppid=4245 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) R 4245 4245 3218 0 -1 4202560 9316 0 0 0 63 4 0 0 20 0 20 0 418157132 28911378432 22485 33554432000 4194304 4196468 140727535465200 140423975595296 140423955416421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28233768 memory=140424962679664 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28911378432 22485 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418157132 28911378432 22485 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28233768 memory=784 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418157133 28911378432 22485 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 ################ # More data... # ################ [pid=4247/tid=4256] ppid=4245 vsize=28768328 memory=7373357310148634216 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54111 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28768328 memory=280849925523968 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28768328 memory=280849925544608 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422685017056 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418157135 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28768328 memory=0 CPUtime=0.87 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) R 4245 4245 3218 0 -1 4202560 2329 0 0 0 87 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422681845584 140423957388480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28768328 memory=0 CPUtime=0.87 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) R 4245 4245 3218 0 -1 4202560 1990 0 0 0 87 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422094627024 140423954871656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) R 4245 4245 3218 0 -1 4202560 2162 0 0 0 97 1 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422093574344 140423954869033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28768328 memory=0 CPUtime=0.78 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) R 4245 4245 3218 0 -1 1077944384 3185 0 0 0 78 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422092540784 140423971383938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54111 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 8.87 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 217900 KiB [startup+2.00103 s]* /proc/loadavg: 7.34 7.96 6.91 13/220 4387 /proc/meminfo: memFree=31193692/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28768328 memory=217196 CPUtime=11.61 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 24255 0 0 0 1148 13 0 0 20 0 28 0 418157131 29458767872 54299 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7192082 54299 3494 1 0 7153184 0 [pid=4247/tid=4248] ppid=4245 vsize=28768328 memory=8317482817917895235 CPUtime=0.7 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) S 4245 4245 3218 0 -1 1077944384 9454 0 0 0 66 4 0 0 20 0 28 0 418157132 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423975613568 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28768328 memory=3545494215166473272 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418157132 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28768328 memory=280850057893248 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 418157132 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28768328 memory=140424962524687 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4252] ppid=4245 vsize=28768328 memory=140424962527607 CPUtime=0 cores=0-7 /proc/4247/task/4252/stat : 4252 (java) S 4245 4245 3218 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423519652496 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4253] ppid=4245 vsize=28768328 memory=140424962529913 CPUtime=0 cores=0-7 /proc/4247/task/4253/stat : 4253 (java) S 4245 4245 3218 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423518599952 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4254] ppid=4245 vsize=28768328 memory=140424962520039 CPUtime=0 cores=0-7 /proc/4247/task/4254/stat : 4254 (java) S 4245 4245 3218 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423517547408 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4255] ppid=4245 vsize=28768328 memory=280849925076880 CPUtime=0 cores=0-7 /proc/4247/task/4255/stat : 4255 (java) S 4245 4245 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423516494864 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4256] ppid=4245 vsize=28768328 memory=280849925083792 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54299 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422685017056 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28768328 memory=25524 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418157135 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28768328 memory=7668616777951832681 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28768328 memory=4638778398332698720 CPUtime=1.07 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) R 4245 4245 3218 0 -1 4202560 2358 0 0 0 107 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422681850320 140423954873104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28768328 memory=-8253362762724046199 CPUtime=1.13 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) R 4245 4245 3218 0 -1 4202560 2021 0 0 0 113 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422094632144 140423971394138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28768328 memory=6944656591801717918 CPUtime=1.25 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) R 4245 4245 3218 0 -1 1077944384 3344 0 0 0 124 1 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422093584976 140423971382997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28768328 memory=6944656425123094137 CPUtime=0.81 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) R 4245 4245 3218 0 -1 4202560 3223 0 0 0 81 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422092540784 140423971394138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28768328 memory=3472328296227680304 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28768328 memory=3472328296227418159 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4379] ppid=4245 vsize=28768328 memory=3472323898181169199 CPUtime=0.48 cores=0-7 /proc/4247/task/4379/stat : 4379 (java) R 4245 4245 3218 0 -1 4202560 18 0 0 0 48 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140421769280368 140423578579132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4380] ppid=4245 vsize=28768328 memory=6944656592455359580 CPUtime=0.29 cores=0-7 /proc/4247/task/4380/stat : 4380 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140421768229080 140423576360524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4381] ppid=4245 vsize=28768328 memory=-7303279828959712342 CPUtime=0.42 cores=0-7 /proc/4247/task/4381/stat : 4381 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 42 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422080171600 140423577936798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4382] ppid=4245 vsize=28768328 memory=7373357310148634216 CPUtime=0.48 cores=0-7 /proc/4247/task/4382/stat : 4382 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140421766124304 140423971394138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4383] ppid=4245 vsize=28768328 memory=7373357310148634216 CPUtime=0.56 cores=0-7 /proc/4247/task/4383/stat : 4383 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 56 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422081227368 140423576419776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4384] ppid=4245 vsize=28768328 memory=7373357310148634216 CPUtime=0.5 cores=0-7 /proc/4247/task/4384/stat : 4384 (java) R 4245 4245 3218 0 -1 4202560 18 0 0 0 50 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422079119848 140423575332772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4385] ppid=4245 vsize=28768328 memory=0 CPUtime=0.3 cores=0-7 /proc/4247/task/4385/stat : 4385 (java) R 4245 4245 3218 0 -1 4202560 20 0 0 0 30 0 0 0 20 0 28 0 418157272 29458767872 54299 33554432000 4194304 4196468 140727535465200 140422078065920 140423575085824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4386] ppid=4245 vsize=28768328 memory=0 CPUtime=0.29 cores=0-7 /proc/4247/task/4386/stat : 4386 (java) R 4245 4245 3218 0 -1 4202560 18 0 0 0 29 0 0 0 20 0 28 0 418157273 29458767872 54299 33554432000 4194304 4196468 140727535465200 140421767175728 140423576083481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 11.61 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 218652 KiB [startup+2.11069 s] /proc/loadavg: 7.34 7.96 6.91 13/220 4387 /proc/meminfo: memFree=31193692/32770624 swapFree=66936872/67108860 [pid=4245] ppid=4242 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4245/stat : 4245 (xcsp3-exec) S 4242 4245 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418157131 115843072 364 33554432000 4194304 5098028 140734188910080 140734188908184 140338488423036 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17276928 140734188917621 140734188917865 140734188917865 140734188920778 0 /proc/4245/statm: 28282 364 305 221 0 87 0 [pid=4247] ppid=4245 vsize=28768328 memory=217592 CPUtime=12.41 cores=0-7 /proc/4247/stat : 4247 (java) S 4245 4245 3218 0 -1 1077944320 24352 0 0 0 1228 13 0 0 20 0 28 0 418157131 29458767872 54398 33554432000 4194304 4196468 140727535465200 140727535447744 140423971372791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 /proc/4247/statm: 7192082 54398 3494 1 0 7153184 0 [pid=4247/tid=4248] ppid=4245 vsize=28768328 memory=280849925405376 CPUtime=0.7 cores=0-7 /proc/4247/task/4248/stat : 4248 (java) S 4245 4245 3218 0 -1 1077944384 9454 0 0 0 66 4 0 0 20 0 28 0 418157132 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423975613568 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4249] ppid=4245 vsize=28768328 memory=6944658791478618170 CPUtime=0 cores=0-7 /proc/4247/task/4249/stat : 4249 (java) S 4245 4245 3218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 418157132 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423891224848 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4250] ppid=4245 vsize=28768328 memory=7684433386921362195 CPUtime=0 cores=0-7 /proc/4247/task/4250/stat : 4250 (java) S 4245 4245 3218 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 418157132 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423890172304 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4251] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4251/stat : 4251 (java) S 4245 4245 3218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423520705040 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4252] ppid=4245 vsize=28768328 memory=7086257236244457316 CPUtime=0 cores=0-7 /proc/4247/task/4252/stat : 4252 (java) S 4245 4245 3218 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423519652496 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4253] ppid=4245 vsize=28768328 memory=5792262853193912400 CPUtime=0 cores=0-7 /proc/4247/task/4253/stat : 4253 (java) S 4245 4245 3218 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423518599952 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4254] ppid=4245 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/4247/task/4254/stat : 4254 (java) S 4245 4245 3218 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423517547408 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4255] ppid=4245 vsize=28768328 memory=218028 CPUtime=0 cores=0-7 /proc/4247/task/4255/stat : 4255 (java) S 4245 4245 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423516494864 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4256] ppid=4245 vsize=28768328 memory=1900674 CPUtime=0 cores=0-7 /proc/4247/task/4256/stat : 4256 (java) S 4245 4245 3218 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418157133 29458767872 54398 33554432000 4194304 4196468 140727535465200 140423515442320 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4257] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4257/stat : 4257 (java) S 4245 4245 3218 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422686070768 140423971383938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4258] ppid=4245 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/4247/task/4258/stat : 4258 (java) S 4245 4245 3218 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418157134 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422685017056 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4259] ppid=4245 vsize=28768328 memory=6011017306210461799 CPUtime=0 cores=0-7 /proc/4247/task/4259/stat : 4259 (java) S 4245 4245 3218 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 418157135 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422683964400 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4260] ppid=4245 vsize=28768328 memory=7373355128221034088 CPUtime=0 cores=0-7 /proc/4247/task/4260/stat : 4260 (java) S 4245 4245 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422682912976 140423971391387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4261] ppid=4245 vsize=28768328 memory=6011017306210461799 CPUtime=1.13 cores=0-7 /proc/4247/task/4261/stat : 4261 (java) R 4245 4245 3218 0 -1 4202560 2366 0 0 0 113 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422681850872 140423954858855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4262] ppid=4245 vsize=28768328 memory=6011017306210461799 CPUtime=1.19 cores=0-7 /proc/4247/task/4262/stat : 4262 (java) R 4245 4245 3218 0 -1 4202560 2029 0 0 0 119 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422094632400 140423952897644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4263] ppid=4245 vsize=28768328 memory=6944613755361064352 CPUtime=1.33 cores=0-7 /proc/4247/task/4263/stat : 4263 (java) R 4245 4245 3218 0 -1 4202560 3356 0 0 0 132 1 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422093584864 140423952072317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4264] ppid=4245 vsize=28768328 memory=0 CPUtime=0.84 cores=0-7 /proc/4247/task/4264/stat : 4264 (java) R 4245 4245 3218 0 -1 1077944384 3287 0 0 0 84 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422092540784 140423971383938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4265] ppid=4245 vsize=28768328 memory=140425095373889 CPUtime=0 cores=0-7 /proc/4247/task/4265/stat : 4265 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422091487456 140423971382997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4266] ppid=4245 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4247/task/4266/stat : 4266 (java) S 4245 4245 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418157137 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422090434992 140423971383938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4379] ppid=4245 vsize=28768328 memory=0 CPUtime=0.53 cores=0-7 /proc/4247/task/4379/stat : 4379 (java) R 4245 4245 3218 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140421769280736 140423578721394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4380] ppid=4245 vsize=28768328 memory=0 CPUtime=0.39 cores=0-7 /proc/4247/task/4380/stat : 4380 (java) R 4245 4245 3218 0 -1 4202560 18 0 0 0 39 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140421768229464 140423578720931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4381] ppid=4245 vsize=28768328 memory=0 CPUtime=0.52 cores=0-7 /proc/4247/task/4381/stat : 4381 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 52 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422080171760 140423578853607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4382] ppid=4245 vsize=28768328 memory=288230574492221466 CPUtime=0.54 cores=0-7 /proc/4247/task/4382/stat : 4382 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 54 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140421766124376 140423577209241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4383] ppid=4245 vsize=28768328 memory=288230621803970871 CPUtime=0.64 cores=0-7 /proc/4247/task/4383/stat : 4383 (java) R 4245 4245 3218 0 -1 4202560 17 0 0 0 64 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422081227280 140423571019563 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4384] ppid=4245 vsize=28768328 memory=14981057220970927 CPUtime=0.59 cores=0-7 /proc/4247/task/4384/stat : 4384 (java) R 4245 4245 3218 0 -1 4202560 20 0 0 0 59 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422079120472 140423577665091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4385] ppid=4245 vsize=28768328 memory=0 CPUtime=0.35 cores=0-7 /proc/4247/task/4385/stat : 4385 (java) R 4245 4245 3218 0 -1 4202560 21 0 0 0 35 0 0 0 20 0 28 0 418157272 29458767872 54398 33554432000 4194304 4196468 140727535465200 140422078066904 140423575333163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 [pid=4247/tid=4386] ppid=4245 vsize=28768328 memory=0 CPUtime=0.33 cores=0-7 /proc/4247/task/4386/stat : 4386 (java) R 4245 4245 3218 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 28 0 418157273 29458767872 54398 33554432000 4194304 4196468 140727535465200 140421767176536 140423576489779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26464256 140727535469546 140727535469718 140727535469718 140727535472591 0 Current children cumulated CPU time: 12.41 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 219048 KiB Child status: 0 Real time (s): 2.19879 CPU time (s): 12.9964 CPU user time (s): 12.852 CPU system time (s): 0.144377 CPU usage (%): 591.069 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 219484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.852 system time used= 0.144377 maximum resident set size= 219380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24967 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4566 involuntary context switches= 459 # summary of solver processes directly reported to runsolver: # pid: 4245 # total CPU time (s): 12.9964 # total CPU user time (s): 12.852 # total CPU system time (s): 0.144377 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.04119 second user time and 0.067907 second system time The end
Begin job on node105 at 2019-09-14 00:54:53 IDJOB=4394385 IDBENCH=115965 IDSOLVER=2843 FILE ID=node105/4394385-1568418987 RUNJOBID= node105-1568413634-3245 PBS_JOBID= 21702270 Free space on /tmp= 60864 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-09.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394385-1568418987/watcher-4394385-1568418987 -o /tmp/evaluation-result-4394385-1568418987/solver-4394385-1568418987 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568413634-3245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1262790113 HOME/instance-4394385-1568418987.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9e49e3aba7f2112bed6c24391b9353d8 RANDOM SEED=1262790113 node105.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.00 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.00 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.00 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.00 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: 31397164 kB MemAvailable: 31857920 kB Buffers: 175508 kB Cached: 579616 kB SwapCached: 68016 kB Active: 401748 kB Inactive: 425600 kB Active(anon): 11916 kB Inactive(anon): 93576 kB Active(file): 389832 kB Inactive(file): 332024 kB Unevictable: 107584 kB Mlocked: 107584 kB SwapTotal: 67108860 kB SwapFree: 66936872 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 113452 kB Mapped: 37228 kB Shmem: 24520 kB Slab: 137564 kB SReclaimable: 109468 kB SUnreclaim: 28096 kB KernelStack: 3600 kB PageTables: 5860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489928 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60836 MiB End job on node105 at 2019-09-14 00:54:55